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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2026-11-09
                 CC|                            |uecker at gcc dot gnu.org
           Keywords|                            |needs-stdcheck
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

  size = size_diffop (DECL_FIELD_OFFSET (field),
                      DECL_FIELD_OFFSET (repr));

doesn't compute zero for two same trees that are

(sizetype) TARGET_EXPR <D.2971, VIEW_CONVERT_EXPR<int>(__atomic_load_4 ((const
volatile void *) &x, 5))> * 4

I'm not sure its sound to put __atomic_laod_4 in the DECL_FIELD_OFFSET
value.  Maybe it's not sound to have an atomic specify a type?

Reply via email to