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
