4 ms·
The compiler declares them UB because very useful transformations would change the semantics of races. Races are ok with specially marked variables!
by wbl 2mo ago
The compiler declares them UB because very useful transformations would change the semantics of races. Races are ok with specially marked variables!
- eqvinox 2mo agoThat'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.