--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] From function definition to function declaration and back



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