https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97360
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |WAITING
--- Comment #6 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
It looks like the type of acc7 is __vector_quad, but the type of
TYPE_{MIN,MAX}_VALUE is something entirely different:
(gdb) ptg name
acc7_7(D)
(gdb) p name.typed.type
$20 = <integer_type 0x7ffff0e02d20 __vector_quad>
(gdb) p debug_generic_stmt ($18.type_non_common.maxval.typed.type)
uint512_t
And surprisingly, these types are incompatible with each other:
(gdb) p types_compatible_p ($18.type_non_common.maxval.typed.type,
name.typed.type)
$26 = false
How can the end points of a type be (a) of a different type than the type
itself (b) incompatible with the type itself.
Is this a peculiarity of these quad types, or is this a target bug?
