Fatal error while browsing callgraph.
ID0002271: This issue was created automatically from Mantis Issue 2271. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002271 | Frama-C | Graphical User Interface | public | 2017-01-13 | 2017-01-16 |
| Reporter | Max P. | Assigned To | signoles | Resolution | won't fix |
| Priority | normal | Severity | crash | Reproducibility | random |
| Platform | Cygwin | OS | Windows 7 | OS Version | x64 SP1 |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | - |
Description :
After the first callgraph opening the warning is generated: (frama-c-gui.exe:8512): Pango-WARNING **: couldn't load font "Times-Roman Not-Rotated 14", falling back to "Sans Not-Rotated 14", expect ugly output.
And really the callgraph looks unacceptable. It is impossible to see anything on it in "global view" mode. In "tree view" mode items are croped in a certain scale. In addition to this when switching in "tree view" lots of the same warnings occurs: (frama-c-gui.exe:8480): GLib-GObject-WARNING **: value "-1.#IND00" of type 'gdouble' is invalid or out of range for property 'size-points' of type 'gdouble'
Sometimes these warnings becomes too much and it ends with a fatal error (the screenshot is attached). Last time it happened after the changing of "depth forward".
Additional Information :
After closing of the error window Frama-C closed and in Сygwin terminal it was printed follows: This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information.
Steps To Reproduce :
In GUI select "Show callgraph". Change view mode on "tree view". Rotate the mouse wheel to zoom, change depth, etc.
