--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on January 2012 ---
Hello, On 19/01/2012 12:46, Damien Karkinsky wrote: > I have a simple question. How do I get the function declaration knowing > the Cil_types.varinfo of a function definition? > I'm not too sure of what you want. Do you need access to the corresponding GVarDecl (that may not exist), in which case nothing is done (but a small visitor applied to the current AST should do the trick), or to the underlying kernel_function, in which case Globals.Function.get is exactly what you need (and then you have access to the functions of Kernel_function to retrieve more specific information). > Thank you > Kind Regards > Damien > > PS. I have also noticed a couple of places in the doc which confuse the > terms function definition with function declaration. Unfortunately, Cil_types.fundec is the type for function definitions. This does not really clarify the situation. Best regards, -- E tutto per oggi, a la prossima volta Virgile