View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
ID | Project | Category | View Status | Date Submitted | Last Update |
0000311 | Frama-C | Kernel | public | 2009-11-02 15:50 | 2010-04-13 15:33 |
|
Reporter | virgile | |
Assigned To | virgile | |
Priority | normal | Severity | minor | Reproducibility | always |
Status | closed | Resolution | fixed | |
Platform | | OS | | OS Version | |
Product Version | Frama-C GIT, precise the release id | |
Target Version | | Fixed in Version | Frama-C Boron-20100401 | |
|
Summary | 0000311: switch and case expressions must be integer |
Description | following code is happily parsed by frama-c (who at least casts the "a" in the switch to int). It should fails with a type error
- on the switch
- on the case (parameter must be an integer constant according to norm)
float v;
static void fun(void)
{
switch ("a")
{
case "a":
if (v > fabs(1))
{
}
break;
}
} |
Tags | No tags attached. |
|
Attached Files | |
|