@hirojin@dev.glitch.social Have you read "Towards Optimization-Safe Systems"? Their static analysis found hundreds of real bugs in common packages caused by compiler optimizing safety-critical checks into nops: https://people.csail.mit.edu/nickolai/papers/wang-stack.pdf