Frama-C Bug Tracking System - Frama-C
View Issue Details
0001273Frama-CKernelpublic2012-09-01 15:172012-09-19 17:16
Reporteryakobowski 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Nitrogen-20111001 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001273: Parser does not complain about superfluous }
DescriptionFrama-C's parser accepts the following program, and drops the main function entirely.

void foo() {
}
} // Bug

void main() {
}
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2012-09-01 15:17yakobowskiNew Issue
2012-09-01 15:17yakobowskiStatusnew => assigned
2012-09-01 15:17yakobowskiAssigned To => virgile
2012-09-03 17:44svn
2012-09-03 17:44svnStatusassigned => resolved
2012-09-03 17:44svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed