Frama-C Bug Tracking System - Frama-C
View Issue Details
0001692Frama-CPlug-in > E-ACSLpublic2014-03-13 15:442014-09-15 17:20
signoles 
signoles 
normaltweakalways
closedfixed 
AMD 64LinuxUbuntu
Frama-C Neon-20140301 
Frama-C Neon-20140301 
0001692: Wrong localisation of not yet supported constructs
===== t.c ===== int main(void) { //@ assert 2 >> 2 == 0; return 1; } =========== $ frama-c -e-acsl t.c t.c:1:[e-acsl] warning: E-ACSL construct `left/right shift' is not yet supported. Ignoring annotation. The warning should be located at line 2, not at line 1.
Reported by P.-L. Garoche on Frama-C discuss.
No tags attached.
Issue History
2014-03-13 15:44signolesNew Issue
2014-03-13 15:44signolesStatusnew => assigned
2014-03-13 15:44signolesAssigned To => signoles
2014-03-13 15:44signolesStatusassigned => confirmed
2014-03-26 18:46signolesStatusconfirmed => resolved
2014-03-26 18:46signolesResolutionopen => fixed
2014-09-15 17:20signolesFixed in Version => Frama-C Neon-20140301
2014-09-15 17:20signolesNote Added: 0005464
2014-09-15 17:20signolesStatusresolved => closed

Notes
(0005464)
signoles   
2014-09-15 17:20   
Fixed in E-ACSL v0.4.1.