0f261156_The_CompCert_verified_compiler__Pass
[Source & target] Linear to Linear [Compiler code] CleanupLabels [Correctness proof] CleanupLabelsproof [Pass] 
Removal of unreferenced labels
The CompCert verified compiler
Pass