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