Frama-C Bug Tracking System - Frama-C
View Issue Details
0001265Frama-CPlug-in > jessiepublic2012-08-08 19:562013-03-27 09:44
boris 
virgile 
normalminoralways
closedfixed 
Frama-C Nitrogen-20111001 
Frama-C Oxygen-20120901 
0001265: Function with name shift produces error
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
No tags attached.
Issue History
2012-08-08 19:56borisNew Issue
2012-08-08 19:56borisStatusnew => assigned
2012-08-08 19:56borisAssigned To => cmarche
2012-08-10 13:05virgileAssigned Tocmarche => virgile
2012-08-10 13:05virgileStatusassigned => resolved
2012-08-10 13:05virgileResolutionopen => fixed
2012-08-20 14:41cmarcheNote Added: 0003402
2013-03-27 09:43signolesNote Added: 0003779
2013-03-27 09:44signolesFixed in Version => Frama-C Oxygen-20120901
2013-03-27 09:44signolesStatusresolved => closed

Notes
(0003402)
cmarche   
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.
(0003779)
signoles   
2013-03-27 09:43   
Fixed in Frama-C Oxygen + Why 2.32.