0000311: switch and case expressions must be integer - Frama-C Bug Tracking System

Frama-C Bug Tracking System

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.

Relationships

child of

closed

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

Copyright © 2000 - 2020 MantisBT Team