Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #380

Closed
Open
Created Jan 13, 2017 by mantis-gitlab-migration@mantis-gitlab-migration

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.

Attachments

  • fatal_error
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking