Pointers Are Complicated III, or: Pointer-integer casts exposed

In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to...

Related Keywords

Michael Sammler , ,Pointers Are Complicated ,Strict Provenance ,Undefined Behavior ,Abstract Machine ,Stacked Borrows ,