[wyager]

"If the branch condition is not volatile, compilers will usually lift it"

Usually in any program with well-defined semantics (e.g. not using janky multithreaded mutability), this will be true