--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on January 2012 ---
On 19/01/2012 13:51, Damien Karkinsky wrote: > Dear Virgile, > > It is the corresponding GVarDecl that I need. In what situations would > it not exist for a given GFun? > You'll find a GVarDecl only if there is an explicit prototype somewhere. If you give directly the definition, you have only a GFun. Besides, I don't see what information the GVarDecl would give you that you don't have with the corresponding kernel_function, except the location, as the varinfo refers to the loc of the definition. Best regards, -- E tutto per oggi, a la prossima volta Virgile