Frama-C Bug Tracking System - Frama-C
View Issue Details
0000723Frama-CGraphical User Interfacepublic2011-02-15 17:022014-02-12 16:59
pascal 
signoles 
normalmajoralways
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Nitrogen-20111001 
0000723: r11920: Analyses -> Show callgraph requires a main function
Launch the GUI on a C file without a main():
bin/viewer.opt tests/idct/idct.c

Select Analyses -> Show callgraph

Result:
[kernel] preprocessing with "gcc -C -E -I. tests/idct/idct.c"
[cg] beginning analysis
[gui] user error: cannot find entry point `main'.
                  Please use option `-main' for specifying a valid entry point.

Considering that the syntactic callgraph is most useful to find which function is the entry point, this is annoying.
No tags attached.
Issue History
2011-02-15 17:02pascalNew Issue
2011-02-15 17:02pascalStatusnew => assigned
2011-02-15 17:02pascalAssigned To => monate
2011-02-15 18:29signolesAssigned Tomonate => signoles
2011-02-18 10:33signolesRelationship addedrelated to 0000587
2011-02-18 11:21svnCheckin
2011-02-18 11:21svnStatusassigned => resolved
2011-02-18 11:21svnResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed
2014-02-12 16:59signolesNote Added: 0004831
2014-02-12 16:59signolesStatusclosed => resolved

Notes
(0004831)
signoles   
2014-02-12 16:59   
Fix committed to stable/neon branch.