--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on July 2011 ---
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