Frama-C Bug Tracking System - Frama-C
View Issue Details
0000311Frama-CKernelpublic2009-11-02 15:502010-04-13 15:33
Assigned Tovirgile 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000311: switch and case expressions must be integer
Descriptionfollowing 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))
TagsNo tags attached.
child of 0000199closed cmarche Jessie internal error 
Attached Files

There are no notes attached to this issue.

Issue History
2009-11-02 15:50virgileNew Issue
2009-11-02 15:50virgileStatusnew => assigned
2009-11-02 15:50virgileAssigned To => virgile
2009-11-02 15:50virgileRelationship addedchild of 0000199
2009-11-04 10:02svn
2009-11-04 10:02svnStatusassigned => resolved
2009-11-04 10:02svnResolutionopen => fixed
2010-04-13 15:30signolesStatusresolved => new
2010-04-13 15:31signolesStatusnew => closed
2010-04-13 15:33signolesFixed in Version => Frama-C Boron