| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001576 | Frama-C | Kernel | public | 2013-11-28 13:42 | 2013-11-28 13:47 |
|
| Reporter | Jochen | |
| Assigned To | virgile | |
| Priority | normal | Severity | feature | Reproducibility | always |
| Status | assigned | Resolution | open | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Fluorine-20130601 | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0001576: declaration of variable of type void accepted |
| Description | Running "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. |
| Tags | No tags attached. |
|
| Attached Files |  void.c [^] (40 bytes) 2013-11-28 13:42 [Show Content] [Hide Content]
//@ logic integer myZero(void i) = 0;
|
|
Relationships 
Relationships