https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115034
--- Comment #2 from XChy <xxs_chy at outlook dot com> --- (In reply to Andrew Pinski from comment #1) > Note there is some memory model requirements here that I always forget if > this can happen or not. Hmm. Could you please provide some documents about the memory model of GCC or specific constraints about C language? The semantics of IR in the LLVM issue look good to me, since the store is non-volatile and non-atomic. But I'm not sure how it would be after lifting to C.
