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

2024-07-13 Thread uecker at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

uecker at gcc dot gnu.org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #8 from uecker at gcc dot gnu.org ---
Fixed on trunk.

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

2024-07-09 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

--- Comment #7 from GCC Commits  ---
The master branch has been updated by Martin Uecker :

https://gcc.gnu.org/g:7825c07bbaf503c47ecedd87e3d64be003b24f2c

commit r15-1929-g7825c07bbaf503c47ecedd87e3d64be003b24f2c
Author: Martin Uecker 
Date:   Sat Jun 29 15:53:43 2024 +0200

c: Fix ICE for redeclaration of structs with different alignment [PR114727]

For redeclarations of struct in C23, if one has an alignment attribute
that makes the alignment different, we later get an ICE in verify_types.
This patches disallows such redeclarations by declaring such types to
be different.

PR c/114727

gcc/c/
* c-typeck.cc (tagged_types_tu_compatible): Add test.

gcc/testsuite/
* gcc.dg/pr114727.c: New test.

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

2024-06-29 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

--- Comment #6 from Sam James  ---
Ah, great, thank you!

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

2024-06-29 Thread uecker at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

--- Comment #5 from uecker at gcc dot gnu.org ---

(In reply to Sam James from comment #3)
> (In reply to Richard Biener from comment #2)
> > Possibly type verification should be triggered from rest_of_type_compilation
> > rather than from (only) gen_type_die_with_usage.
> 
> Yeah, it's a shame to have these occasional issues where they only show up
> with -g. I don't routinely build everything with -g so I may well miss
> things. (Maybe   I should start.)

Note that I recently added some FE checking code which should catch some subset
of problems earlier.

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

2024-06-29 Thread uecker at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

uecker at gcc dot gnu.org changed:

   What|Removed |Added

 CC||uecker at gcc dot gnu.org

--- Comment #4 from uecker at gcc dot gnu.org ---
PATCH: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/656021.html

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

2024-06-29 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

Sam James  changed:

   What|Removed |Added

 CC||sjames at gcc dot gnu.org

--- Comment #3 from Sam James  ---
(In reply to Richard Biener from comment #2)
> Possibly type verification should be triggered from rest_of_type_compilation
> rather than from (only) gen_type_die_with_usage.

Yeah, it's a shame to have these occasional issues where they only show up with
-g. I don't routinely build everything with -g so I may well miss things.
(Maybe   I should start.)

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

2024-04-16 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

--- Comment #2 from Richard Biener  ---
Possibly type verification should be triggered from rest_of_type_compilation
rather than from (only) gen_type_die_with_usage.

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

2024-04-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114727

Andrew Pinski  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  ---
Confirmed.