Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000291Frama-CPlug-in > jessiepublic2009-10-20 10:352009-10-20 10:50
ReporterSylvain Boulme 
Assigned Tocmarche 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in Version 
Summary0000291: Unbound variable raised by why in presence of an unsafe cast
DescriptionIn presence of an unsafe cast (that breaks the hypothesis of non-alias between pointers of distinct types), "frama-c -jessie" crashes with the error below instead of a more friendly error message:

 File "why/septype0.why", line 617, characters 44-65:
 Unbound variable bitvector_alloc_table
TagsNo tags attached.
Attached Filesc file icon septype0.c [^] (493 bytes) 2009-10-20 10:35 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-10-20 10:35 Sylvain Boulme New Issue
2009-10-20 10:35 Sylvain Boulme File Added: septype0.c
2009-10-20 10:50 signoles Status new => assigned
2009-10-20 10:50 signoles Assigned To => cmarche


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker