0001692: Wrong localisation of not yet supported constructs

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001692

Frama-C

Plug-in > E-ACSL

public

2014-03-13 15:44

2014-09-15 17:20

Reporter

signoles

Assigned To

signoles

Priority

normal

Severity

tweak

Reproducibility

always

Status

closed

Resolution

fixed

Platform

AMD 64

Linux

OS Version

Ubuntu

Product Version

Frama-C Neon-20140301

Target Version

Fixed in Version

Frama-C Neon-20140301

Summary

0001692: Wrong localisation of not yet supported constructs

Description

===== 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.

Additional Information

Reported by P.-L. Garoche on Frama-C discuss.

Tags

No tags attached.

Attached Files

Relationships

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

Issue History
Date Modified	Username	Field	Change
2014-03-13 15:44	signoles	New Issue
2014-03-13 15:44	signoles	Status	new => assigned
2014-03-13 15:44	signoles	Assigned To	=> signoles
2014-03-13 15:44	signoles	Status	assigned => confirmed
2014-03-26 18:46	signoles	Status	confirmed => resolved
2014-03-26 18:46	signoles	Resolution	open => fixed
2014-09-15 17:20	signoles	Fixed in Version	=> Frama-C Neon-20140301
2014-09-15 17:20	signoles	Note Added: 0005464
2014-09-15 17:20	signoles	Status	resolved => closed