0f261156_The_CompCert_verified_compiler__Pass
[Source & target] Csharpminor to Cminor [Compiler code] Cminorgen [Correctness proof] Cminorgenproof [Pass] 
Stack allocation of local variables whose address is taken; simplification of switch statements
The CompCert verified compiler
Pass