Hi,
On Thu, Oct 29, 2009 at 3:20 AM, Gabriel Kerneis wrote:
> Hi,
>
> On Wed, Oct 28, 2009 at 03:43:54PM -0400, Divya Muthukumaran wrote:
> > I am encountering a strange behavior with Frontc.parse. I have an Ocaml
> > program to analyze some C code that uses CIL as a library. The very first
> > t
Hi Alberto,
The function's return type and parameter types are encoded as part of
the type of variable vi, just look in vi.vtype. You should get back a
TFun, which includes the return type, the parameter types, a flag to say
if the function is a varargs function, and the attributes of the
function
Hi, I wrote a piace of code like this:
class testVisitor = object(self)
inherit nopCilVisitor
method vinst (i:instr) =
match i with
| Call ( ret,Lval(Var vi,NoOffset),args,l) -> begin
Printf.printf "-> %s" vi.vname
end; DoChildren
end
let feature
Hi,
On Wed, Oct 28, 2009 at 03:43:54PM -0400, Divya Muthukumaran wrote:
> I am encountering a strange behavior with Frontc.parse. I have an Ocaml
> program to analyze some C code that uses CIL as a library. The very first
> thing I do in the program is to call Frontc.parse on the .i file. But for
