Undefined Behavior 1 Decompiler Construction: Chapter 6 IR Semantics Edge Cases, Undefined Behavior, and Special Handling May 27, 2026