We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fb33d54 commit c2e97b9Copy full SHA for c2e97b9
src/main.ml
@@ -59,12 +59,8 @@ let parseOneFile (fname: string) : C.file =
59
if !Cilutil.printStages then ignore (E.log "Parsing %s\n" fname);
60
let cil = F.parse fname () in
61
62
- if (not (Feature.enabled "epicenter")) then (
63
- (* sm: remove unused temps to cut down on gcc warnings *)
64
- (* (Stats.time "usedVar" RmUnused.removeUnused cil); *)
65
- (* (trace "sm" (dprintf "removing unused temporaries\n")); *)
66
- (RmUnused.removeUnused cil)
67
- );
+ (* remove unused temps and globals to cut down on gcc warnings *)
+ RmUnused.removeUnused cil;
68
cil
69
70
let processOneFile (cil: C.file) =
0 commit comments