[CIL users] changing name of functions

2009-12-16 Thread ThanhVu (Vu) Nguyen
Hi, I am playing with CIL and create a test Visitor below that change the names of statments of form foo(arg1,arg2);to foo_new(arg1,arg2) .The visitor below supposes to do that but its is quite ugly (I am also new to Ocaml) and probably is incorrect (it seems to work ok though).

Re: [CIL users] CIL label name conflict

2009-12-16 Thread Gabriel Kerneis
On Tue, Dec 15, 2009 at 09:26:24PM -0500, Elnatan Reisner wrote: > I tested this out on a few small examples that triggered the bug; if > anyone wants to see those examples, let me know. It would be nice if you could include them in the test suite. Regards, -- Gabriel Kerneis --