0000812: Cil does not correctly handle ACSL annotations with nested comments when called with -pp-annot - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000812

Frama-C

Kernel > ACSL implementation

public

2011-05-03 22:01

2011-10-10 14:14

Reporter

yakobowski

Assigned To

virgile

Priority

low

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C Carbon-20110201

Target Version

Fixed in Version

Frama-C Nitrogen-20111001

Summary

0000812: Cil does not correctly handle ACSL annotations with nested comments when called with -pp-annot

Description

Calling frama-c with -pp-annot on the two codes below results in a crash (first code), or a not so clear message (second code).

--- Code 1 ----

/*@ assigns \nothing;
// Bla */
void main() {
}

--- Code 2 ----

/*@ assigns \nothing;
// Bla */
void main() {
}

/* */

Tags

No tags attached.

Relationships

duplicate of

closed

Comments parsing not always work

Notes
(0001849) virgile (developer) 2011-05-06 16:36	fixed in rev 13329

Issue History
Date Modified	Username	Field	Change
2011-05-03 22:01	yakobowski	New Issue
2011-05-03 22:02	yakobowski	Status	new => assigned
2011-05-03 22:02	yakobowski	Assigned To	=> virgile
2011-05-03 22:23	virgile	Relationship added	duplicate of 0000691
2011-05-03 22:24	virgile	Category	Kernel => Kernel > ACSL implementation
2011-05-06 16:36	virgile	Note Added: 0001849
2011-05-06 16:36	virgile	Status	assigned => resolved
2011-05-06 16:36	virgile	Fixed in Version	=> Frama-C GIT, precise the release id
2011-05-06 16:36	virgile	Resolution	open => fixed
2011-10-10 14:13	signoles	Fixed in Version	Frama-C GIT, precise the release id => Frama-C Nitrogen-20111001
2011-10-10 14:14	signoles	Status	resolved => closed

Copyright © 2000 - 2018 MantisBT Team