923e4770_The_CompCertTSO_compiler__Pass
[Source & target] Csharpminor to Cstacked [Compiler code] (none) [Correctness proof] Cstackedproofsimdef Cstackedproofunbuffer Cstackedproofalloc Cstackedprooffree Cstackedprooftau Cstackedproof [Pass] 
Stack allocation of local variables whose address is taken
The CompCertTSO compiler
Pass