3 ms·
Strict aliasing isn't the root problem here, because Rust, which doesn't have C-style strict aliasing, would similarly exhibit the same theoretical miscompilati
by kibwen 2y ago
Strict aliasing isn't the root problem here, because Rust, which doesn't have C-style strict aliasing, would similarly exhibit the same theoretical miscompilation in the absence of provenance.
- grandempire 2y agostrict aliasing is an example of questionable optimizations from hard to verify assumptions.