[Bug c/114727] New: ICE with c23 with aligned attribute and .-g

[Bug c/114727] New: ICE with c23 with aligned attribute and .-g

[muecker at gwdg dot de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

            Bug ID: 114727
           Summary: ICE with c23 with aligned attribute and .-g
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: muecker at gwdg dot de
  Target Milestone: ---

The following ICEs with -std=c23, -g and checking:

#define Y [[gnu::aligned(128)]]
extern struct Y foo { int x; } x; 
struct foo { int x; };


We should probably reject redefinition by having
the following in tagged_types_tu_compatible_p.

if (TYPE_USER_ALIGN (t1) != TYPE_USER_ALIGN (t2))
     data->different_types_p = true;

[Bug c/114727] ICE with c23 with aligned attribute and .-g

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-04-15
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

[Bug c/114727] ICE with c23 with aligned attribute and .-g

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Possibly type verification should be triggered from rest_of_type_compilation
rather than from (only) gen_type_die_with_usage.