View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | 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 | ||||||
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 |
|
![]() |
|
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. |
monate (reporter) 2011-01-04 18:59 |
fixed in SVN 11167 and probably since 11080. |
![]() |
|||
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 |