Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001576Frama-CKernelpublic2013-11-28 13:422013-11-28 13:47
ReporterJochen 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Fluorine-20130601 
Target VersionFixed in Version 
Summary0001576: declaration of variable of type void accepted
DescriptionRunning "frama-c -wp void.c" on the attached program doesn't report any error message, although declaring i to have type void doesn't make sense. Vice versa, when "i" is deleted, or when "void i" is deleted, the kernel complains about a syntax error. Therefore, the only possibility to implement a logical constant is to declare "void i" as its parameter.
TagsNo tags attached.
Attached Filesc file icon void.c [^] (40 bytes) 2013-11-28 13:42 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-11-28 13:42 Jochen New Issue
2013-11-28 13:42 Jochen File Added: void.c
2013-11-28 13:47 yakobowski Status new => assigned
2013-11-28 13:47 yakobowski Assigned To => virgile


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker