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