0000311: switch and case expressions must be integer

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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 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

Relationships

child of

0000199

closed

cmarche

Jessie internal error

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2009-11-02 15:50	virgile	New Issue
2009-11-02 15:50	virgile	Status	new => assigned
2009-11-02 15:50	virgile	Assigned To	=> virgile
2009-11-02 15:50	virgile	Relationship added	child of 0000199
2009-11-04 10:02	svn	Checkin
2009-11-04 10:02	svn	Status	assigned => resolved
2009-11-04 10:02	svn	Resolution	open => fixed
2010-04-13 15:30	signoles	Status	resolved => new
2010-04-13 15:31	signoles	Status	new => closed
2010-04-13 15:33	signoles	Fixed in Version	=> Frama-C Boron