0000452: "Body of function main falls-through" warning could be improved

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000452

Frama-C

Kernel

public

2010-04-13 11:45

2014-02-12 16:55

Reporter

yakobowski

Assigned To

virgile

Priority

normal

Severity

feature

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 Carbon-20101201-beta1

Summary

0000452: "Body of function main falls-through" warning could be improved

Description

In the following code (seen in the wild...), the 'break' after 'return 0' causes frama-C to think that the switch sometimes does not return a value. int main (int foo, char** args) { switch(foo) { case 1: return 0; break; default: return 1; } }

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2010-04-13 11:45	yakobowski	New Issue
2010-04-13 11:46	signoles	Status	new => assigned
2010-04-13 11:46	signoles	Assigned To	=> virgile
2010-05-31 15:11	svn	Checkin
2010-05-31 15:12	virgile	Status	assigned => resolved
2010-05-31 15:12	virgile	Resolution	open => fixed
2010-12-10 15:45	signoles	Fixed in Version	=> Frama-C Carbon-20101201-beta1
2010-12-17 19:36	signoles	Status	resolved => closed