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