> I mean stores for which there is no load. Stores for which there are no load can still be observable in concurrent scenarios. That's why I specified stores t

> I mean stores for which there is no load. Stores for which there are no load can still be observable in concurrent scenarios. That's why I specified stores to locals with no load because those are not observable. > That sounds stupid. Sounds totally reasonable to me in scenarios where you need the output of the compiler to be very predictable.