2021-01-25 08:29 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000529Frama-CPlug-in > sparecodepublic2010-12-17 19:36
Reporterpascal 
Assigned ToAnne 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000529: slicing produces uncompilable program when formal used as a local variable
DescriptionAlu:day_2 pascal$ cat s.c
main(int x, int y, int z){
  int A, B;
  A = x;
  y = A;
  B = y;
  return B;
}

Alu:day_2 pascal$ frama-c -sparecode-analysis s.c
...
/* Generated by Frama-C */
int main(int x )
{
  int A ;
  int B ;
  A = x;
  y = A;
  B = y;
  return (B);
}

The generated program misses a declaration for y.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2010-07-06 12:37 pascal New Issue
2010-07-06 12:37 pascal Status new => assigned
2010-07-06 12:37 pascal Assigned To => Anne
2010-07-06 16:26 signoles Category Plug-in > slicing => Plug-in > sparecode
2010-07-06 16:53 Anne Status assigned => resolved
2010-07-06 16:53 Anne Resolution open => fixed
2010-12-10 15:45 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36 signoles Status resolved => closed
+Issue History