--- layout: fc_discuss_archives title: Message 15 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?



Le 12/07/2011 10:38, haihao shen a ?crit :
> However, for a file with only function declaration on implementation, we could
> not get the function list from the globals. So, how to alleviate this problem?

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.

Hope this helps,
-- 
Anne.