Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible [pdf]