Taming Undefined Behavior in LLVM https://blog.regehr.org/archives/1496 (exploring a model for undef behaviour that is comprehensible and amenable to opt)