Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002207Frama-CPlug-in > wppublic2016-02-03 15:452016-02-03 21:30
Assigned Tocorrenson 
Platformx86_64OSLinux MintOS Version17.3
Product VersionFrama-C Magnesium 
Target VersionFixed in Version 
Summary0002207: WP crashes with \pointer_comparable
DescriptionSee also issue 0002206: When instead of only -val Frama-C is called with -val -wp, the WP plug-in crashes, seemingly because of the pointer_comparable generated by Value.
Steps To ReproduceRun Frama-C on attached file: frama-c -val -wp main.c
TagsNo tags attached.
Attached Filesc file icon main.c [^] (1,303 bytes) 2016-02-03 15:45 [Show Content]

- Relationships
related to 0002206closedyakobowski Frama-C (Value plug-in) generates nonsensical \pointer_comparable for non-pointer struct field 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2016-02-03 15:45 jochenam New Issue
2016-02-03 15:45 jochenam Status new => assigned
2016-02-03 15:45 jochenam Assigned To => correnson
2016-02-03 15:45 jochenam File Added: main.c
2016-02-03 21:30 yakobowski Relationship added related to 0002206

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker