Oops, I didn't clean the code before sending it. It should have been: > class myVisitor = object(self) > inherit nopCilVisitor > > method vfunc = function > | GFun _ -> DoChildren > | _ -> SkipChildren > > method vstmt st = > let df_fun = Cil.emptyFunction "df_stmt_monitor" in > let df_monitor_call = Call(None,Lval(Var df_fun.svar,NoOffset), > [Cil.integer !function_id; Cil.integer st.sid], !currentLoc) in > self#queueInstr [df_monitor_call]; > DoChildren > > end;; > > visitCilFileSameGlobals (new myVisitor) file
Sorry, -- Gabriel ------------------------------------------------------------------------------ See everything from the browser to the database with AppDynamics Get end-to-end visibility with application monitoring from AppDynamics Isolate bottlenecks and diagnose root cause in seconds. Start your free trial of AppDynamics Pro today! http://pubads.g.doubleclick.net/gampad/clk?id=48808831&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
