[Bug c++/26677] New: valid-expr.h:65:20: error: type/value mismatch

[Bug c++/26677] New: valid-expr.h:65:20: error: type/value mismatch

[vvinayag at arm dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

            Bug ID: 26677
           Summary: valid-expr.h:65:20: error: type/value mismatch
           Product: gdb
           Version: HEAD
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
          Assignee: unassigned at sourceware dot org
          Reporter: vvinayag at arm dot com
  Target Milestone: ---

Relevant to patch [1], I am seeing error: type/value mismatch from
valid-expr.h:65:20 when building GDB with:
Build: aarch64-none-linux-gnu
Host: aarch64-none-linux-gnu
Target: aarch64-none-linux-gnu


In file included from
binutils-gdb--gdb/gdb/unittests/offset-type-selftests.c:24:0:
/binutils-gdb--gdb/gdb/unittests/offset-type-selftests.c: In substitution of
'template<class Expected, template<class ...> class Op, class ... Args> using
is_detected_exact = std::is_same<Expected, typename
gdb::detection_detail::detector<gdb::nonesuch, void, Op, Args ...>::type> [with
Expected = selftests::offset_type::off_A&; Op =
selftests::offset_type::check_valid_expr75::archetype; Args =
{selftests::offset_type::off_A, selftests::offset_type::off_B}]':

/binutils-gdb--gdb/gdb/unittests/offset-type-selftests.c:75:1:   required from
here
/binutils-gdb--gdb/gdb/../gdbsupport/valid-expr.h:65:20: error: type/value
mismatch at argument 2 in template parameter list for 'template<class Expected,
template<class ...> class Op, class ... Args> using is_detected_exact =
std::is_same<Expected, typename gdb::detection_detail::detector<gdb::nonesuch,
void, Op, Args ...>::type>'
    archetype, TYPES>::value == VALID,   \
                    ^
/binutils-gdb--gdb/gdb/../gdbsupport/valid-expr.h:79:3: note: in expansion of
macro 'CHECK_VALID_EXPR_INT'
   CHECK_VALID_EXPR_INT (ESC_PARENS(typename T1, typename T2),  \
   ^~~~~~~~~~~~~~~~~~~~
/binutils-gdb--gdb/gdb/unittests/offset-type-selftests.c:42:3: note: in
expansion of macro 'CHECK_VALID_EXPR_2'
   CHECK_VALID_EXPR_2 (off_A, off_B, VALID, EXPR_TYPE, EXPR)
   ^~~~~~~~~~~~~~~~~~


I observe this error when building on an aarch64-none-linux-gnu machine,
running ubuntu 14.04.5.
The compiler it is using is aarch64-none-linux-gnu-gcc version 6.4.1.


[1]
https://sourceware.org/git/?p=binutils-gdb.git;a=commit;h=1945192cb9a6184fb805d514ce4ca1bc8999b587


Regards,
Vasee

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug c++/26677] valid-expr.h:65:20: error: type/value mismatch

[vvinayag at arm dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

vvinayag at arm dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |aarch64-none-linux-gnu
               Host|                            |aarch64-none-linux-gnu
              Build|                            |aarch64-none-linux-gnu

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug c++/26677] valid-expr.h:65:20: error: type/value mismatch

[vvinayag at arm dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

vvinayag at arm dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |palves at sourceware dot org

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug c++/26677] valid-expr.h:65:20: error: type/value mismatch

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tromey at sourceware dot org

--- Comment #1 from Tom Tromey <tromey at sourceware dot org> ---
I can't readily test that compiler or host.
How did you run 'configure'?  Did you pass any arguments to 'make'?
I'm wondering if there's some environmental thing affecting your build.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug build/26677] valid-expr.h:65:20: error: type/value mismatch

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |build

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug build/26677] valid-expr.h:65:20: error: type/value mismatch

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-04-15
             Status|UNCONFIRMED                 |WAITING
     Ever confirmed|0                           |1

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug build/26677] valid-expr.h:65:20: error: type/value mismatch

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=26677

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |WORKSFORME
             Status|WAITING                     |RESOLVED

--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
No response.

-- 
You are receiving this mail because:
You are on the CC list for the bug.