4 ms·
Certain C optimizations are difficult to implement due to pointers. But that doesn't make pointers themselves complicated. Most of the C community agrees that
by grandempire 2y ago
Certain C optimizations are difficult to implement due to pointers. But that doesn't make pointers themselves complicated.
Most of the C community agrees that strict aliasing assumptions are more trouble than they are worth.
- kibwen 2y agoStrict 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.
- deleted 2y ago[deleted]