Compiler analysis