bad location with tmp CIL variable
ID0000630: This issue was created automatically from Mantis Issue 630. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000630 | Frama-C | Kernel | public | 2010-11-19 | 2011-02-09 |
| Reporter | muriel | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20110201 |
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.