Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000723Frama-CGraphical User Interfacepublic2011-02-15 17:022014-02-12 16:59
Reporterpascal 
Assigned Tosignoles 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Nitrogen-20111001 
Summary0000723: r11920: Analyses -> Show callgraph requires a main function
DescriptionLaunch 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0004831)
signoles (manager)
2014-02-12 16:59

Fix committed to stable/neon branch.

- Issue History
Date Modified Username Field Change
2011-02-15 17:02 pascal New Issue
2011-02-15 17:02 pascal Status new => assigned
2011-02-15 17:02 pascal Assigned To => monate
2011-02-15 18:29 signoles Assigned To monate => signoles
2011-02-18 10:33 signoles Relationship added related to 0000587
2011-02-18 11:21 svn Checkin
2011-02-18 11:21 svn Status assigned => resolved
2011-02-18 11:21 svn Resolution open => fixed
2011-10-10 14:13 signoles Fixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14 signoles Status resolved => closed
2014-02-12 16:59 signoles Note Added: 0004831
2014-02-12 16:59 signoles Status closed => resolved


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker