0000630: bad location with tmp CIL variable - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000630

Frama-C

Kernel

public

2010-11-19 11:47

2011-02-09 14:37

Reporter

muriel

Assigned To

virgile

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-20110201

Summary

0000630: bad location with tmp CIL variable

Description

Here is an example : int tmpVarCilInCondMultiple(char c) { if(ap_tolower(c) && ap_isspace(c)) return 1; else return 0; } And the resulting transformed code : int tmpVarCilInCondMultiple(char c__tmpVarCilInCondMultiple ) { int tmp__tmpVarCilInCondMultiple ; int tmp_0__tmpVarCilInCondMultiple ; tmp__tmpVarCilInCondMultiple = ap_tolower(c__tmpVarCilInCondMultiple); if (tmp__tmpVarCilInCondMultiple) { tmp_0__tmpVarCilInCondMultiple = ap_isspace(c__tmpVarCilInCondMultiple); if (tmp_0__tmpVarCilInCondMultiple) {/* ... */ } else {/* ... */ } } else {/* ... */ }; /* ... */ } where locations of the if statement was lost (locUnknown), because of the This is very embarassing for PathCrawler.

Tags

No tags attached.

Attached Files

Relationships

Notes
(0001340) monate (reporter) 2010-12-21 10:04	I cannot reproduce your issue: could you check that the bug is still there? Using frama-gui, I can see that the if statements are properly located on line 3.

(0001364) monate (reporter) 2011-01-04 18:59	fixed in SVN 11167 and probably since 11080.

Issue History
Date Modified	Username	Field	Change
2010-11-19 11:47	muriel	New Issue
2010-11-19 22:21	signoles	Status	new => assigned
2010-11-19 22:21	signoles	Assigned To	=> virgile
2010-12-21 10:04	monate	Note Added: 0001340
2010-12-21 10:05	monate	Status	assigned => feedback
2011-01-04 18:59	monate	Note Added: 0001364
2011-01-04 18:59	monate	Status	feedback => resolved
2011-01-04 18:59	monate	Fixed in Version	=> Frama-C GIT, precise the release id
2011-01-04 18:59	monate	Resolution	open => fixed
2011-02-09 14:36	signoles	Status	resolved => closed
2011-02-09 14:37	signoles	Fixed in Version	Frama-C GIT, precise the release id => Frama-C Carbon-20110201