View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001265 | Frama-C | Plug-in > jessie | public | 2012-08-08 19:56 | 2013-03-27 09:44 | ||||
Reporter | boris | ||||||||
Assigned To | virgile | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Nitrogen-20111001 | ||||||||
Target Version | Fixed in Version | Frama-C Oxygen-20120901 | |||||||
Summary | 0001265: Function with name shift produces error | ||||||||
Description | The function void shift() {} gives rise to the the message File "why/car.why", line 282, characters 10-15: Clash with previous constant shift make: *** [car.stat] Error 1 [jessie] user error: Jessie subprocess failed: make -f car.makefile gui Renaming shift() avoids the problem. why version 2.31, command line: frama-c -jessie -jessie-atp=gui -pp-annot | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
cmarche (developer) 2012-08-20 14:41 |
To Virgile: thanks for the fix. Although, it would have been better to fix it in the Nitrogen branch. I've done it. |
signoles (manager) 2013-03-27 09:43 |
Fixed in Frama-C Oxygen + Why 2.32. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2012-08-08 19:56 | boris | New Issue | |
2012-08-08 19:56 | boris | Status | new => assigned |
2012-08-08 19:56 | boris | Assigned To | => cmarche |
2012-08-10 13:05 | virgile | Assigned To | cmarche => virgile |
2012-08-10 13:05 | virgile | Status | assigned => resolved |
2012-08-10 13:05 | virgile | Resolution | open => fixed |
2012-08-20 14:41 | cmarche | Note Added: 0003402 | |
2013-03-27 09:43 | signoles | Note Added: 0003779 | |
2013-03-27 09:44 | signoles | Fixed in Version | => Frama-C Oxygen-20120901 |
2013-03-27 09:44 | signoles | Status | resolved => closed |