[Terr_]

So basically compilers, and optimizations inside CPUs, will keep aggressively optimizing code to create the the vulnerability.

Perhaps this indicates a missing concept in our compilation and execution of code, metadata that demands a section is not optimized.

[colonial]

At least on the compiler level, LLVM already offers a "black box" intrinsic that nudges the optimizer to be maximally pessimistic about whatever it wraps.

It doesn't carry any security guarantees (Rust's documentation on their wrapper for it explicitly strikes out "cryptographic or security" purposes) but one could imagine a similar intrinsic with stronger abilities.