Strange dot callgraphs
ID0000989: This issue was created automatically from Mantis Issue 989. Further discussion may take place here.
|ID0000989||Frama-C||Plug-in > callgraph||public||2011-10-19||2018-11-30|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Product Version||-||Target Version||-||Fixed in Version||Frama-C Oxygen-20120901|
First of all, the callgraph shown in the GUI is not the same than the one generated with the [-cg] option. In the GUI, some of the functions are not displayed at all (g1 and g2 in the enclosed example).
Moreover, in both graphs (from the GUI and the command line), there is an edge between [g] and [nxt] even if [g] doesn't directly call [nxt]...