Frama-C Bug Tracking System - Frama-C
View Issue Details
0000812Frama-CKernel > ACSL implementationpublic2011-05-03 22:012011-10-10 14:14
yakobowski 
virgile 
lowcrashalways
closedfixed 
Frama-C Carbon-20110201 
Frama-C Nitrogen-20111001 
0000812: Cil does not correctly handle ACSL annotations with nested comments when called with -pp-annot
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() {
}

/* */
No tags attached.
duplicate of 0000691closed virgile Comments parsing not always work 
Issue History
2011-05-03 22:01yakobowskiNew Issue
2011-05-03 22:02yakobowskiStatusnew => assigned
2011-05-03 22:02yakobowskiAssigned To => virgile
2011-05-03 22:23virgileRelationship addedduplicate of 0000691
2011-05-03 22:24virgileCategoryKernel => Kernel > ACSL implementation
2011-05-06 16:36virgileNote Added: 0001849
2011-05-06 16:36virgileStatusassigned => resolved
2011-05-06 16:36virgileFixed in Version => Frama-C GIT, precise the release id
2011-05-06 16:36virgileResolutionopen => fixed
2011-10-10 14:13signolesFixed in VersionFrama-C GIT, precise the release id => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed

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