Hi, Gabriel I find some building error about your code snippet: > method vfunc = function > | GFun _ -> DoChildren > | _ -> SkipChildren
The attached files are my code and my input file. The bug still occurs. Best! Ting From: Gabriel Kerneis Date: 2013-07-26 15:23 To: tsuletgo CC: cil-users Subject: Re: [CIL users] A problem about 'queueInstr' 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
myfail.ml
Description: Binary data
myfile.c
Description: Binary data
------------------------------------------------------------------------------ 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
