How hard would it be to make experiments with LLVM the unordered ordering for this? I am not sure about how this is formally modeled, but it might actually be the "no-undef-on-read-write-races" that we need.
1 Like