0000529: slicing produces uncompilable program when formal used as a local variable

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000529

Frama-C

Plug-in > sparecode

public

2010-07-06 12:37

2010-12-17 19:36

Reporter

pascal

Assigned To

Anne

Priority

normal

Severity

major

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Frama-C Boron-20100401

Target Version

Fixed in Version

Frama-C Carbon-20101201-beta1

Summary

0000529: slicing produces uncompilable program when formal used as a local variable

Description

Alu: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.

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

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