Compiler aided debugging