Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000178Frama-CPlug-in > jessiepublic2009-07-09 11:542009-07-09 18:11
Reporterderepas 
Assigned Tocmarche 
PrioritynormalSeverityminorReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090601-beta1 
Target VersionFixed in Version 
Summary0000178: type error in generated why file
DescriptionLet us consider the following program 'simple.c': void g(int * j, int *k) { int tmp= *j; *j=*k; *k=tmp; } void f(int * vector, int size) { int i=0; if (i
TagsNo tags attached.
Attached Files

- Relationships
related to 0000370closedcmarche pragma JessieIntegerModel 

-  Notes
(0000243)
virgile (developer)
2009-07-09 18:11

it seems like an integer_of_int32 conversion is missing when translating arguments of ranges of integers.

- Issue History
Date Modified Username Field Change
2009-07-09 11:54 derepas New Issue
2009-07-09 18:11 virgile Note Added: 0000243
2009-07-09 18:11 virgile Assigned To => cmarche
2009-07-09 18:11 virgile Status new => confirmed
2010-01-14 08:41 signoles Relationship added related to 0000370


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker