--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to get the function list from AST?



On Tue, Jul 12, 2011 at 11:24 AM, Anne Pacalet <anne.pacalet at inria.fr> wrote:
> I think that the functions that are only declared, and not used,
> are not in the AST. You should try either to add a call to the function,
> or to add a body to it.

More precisely, functions that
- are only declared
AND
- do not have an ACSL specification
AND
- are not called or referenced
are completely removed at parsing time.

Functions only declared but that have an ACSL specification are
retained, whether they are called/referenced. However, they do not
appear as a GFun in the list of globals, as this constructor is only
used for defined functions: GFun takes a fundec as argument. Instead,
declared functions appear as GVarDecl. Make sure to check that the
type of the varinfo is a function type, as non-function variables only
declared also appear GVarDecl.

Hope this helps,

-- 
Boris