0000720: Incorrect handling of nearly-empty switch clauses with -simplify-cfg - Frama-C Bug Tracking System

Frama-C Bug Tracking System

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

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000720

Frama-C

Kernel

public

2011-02-13 17:26

2014-02-12 16:59

Reporter

yakobowski

Assigned To

virgile

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C Carbon-20110201

Target Version

Fixed in Version

Frama-C Nitrogen-20111001

Summary

0000720: Incorrect handling of nearly-empty switch clauses with -simplify-cfg

Description

Frama-c chokes on the following code with option -simplify-cfg

void main()
{
  switch(0) {
  case 0:
    break;
  }
}

This can be seen either by starting the value analysis, or with -check.

Tags

No tags attached.

Relationships

Notes
(0004827) 2014-02-12 16:59	Fix committed to stable/neon branch.

Issue History
Date Modified	Username	Field	Change
2011-02-13 17:26	yakobowski	New Issue
2011-02-13 20:16	signoles	Status	new => assigned
2011-02-13 20:16	signoles	Assigned To	=> virgile
2011-03-02 19:55	svn	Checkin
2011-03-02 19:55	svn	Status	assigned => resolved
2011-03-02 19:55	svn	Resolution	open => fixed
2011-10-10 14:13	signoles	Fixed in Version	=> Frama-C Nitrogen-20111001
2011-10-10 14:14	signoles	Status	resolved => closed
2014-02-12 16:59		Note Added: 0004827
2014-02-12 16:59		Status	closed => resolved

Copyright © 2000 - 2017 MantisBT Team