Tag
compiler-semantics
- Aug 1, 2025 Undefined Behaviour as a Compiler Permission Why the optimiser treats undefined behaviour as a promise about what never happens, and how that promise lets it delete checks, fold comparisons, and reorder loads. systems programming
- Aug 19, 2024 Pointer Provenance and the Cost of Integer Round-Trips A pointer carries more than an address, and converting it to an integer and back can discard the derivation the optimiser needs to justify its transformations. systems programming
- May 21, 2024 Inline Assembly Constraints and What a Clobber List Does Not Say A compiler knows nothing about the instructions inside an assembly block, so every register, flag, and memory effect has to be declared, and an undeclared effect is silently miscompiled. systems programming