alt Hacker NewsThe compiler declares them UB because very useful transformations would change the semantics of races. Races are ok with specially marked variables!
The compiler declares them UB because very useful transformations would change the semantics of races. Races are ok with specially marked variables!
That's not the point of my argument. The compiler declaring things UB needs to be addressed by telling the compiler to not be silly, not by forcing every single access to be on the byte level. And especially not if those are SeqCst atomics.