0000882: Cil generates incorrect switch (with missing cases) - 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

0000882

Frama-C

Kernel

public

2011-07-06 23:11

2014-02-12 16:59

Reporter

yakobowski

Assigned To

yakobowski

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

0000882: Cil generates incorrect switch (with missing cases)

Description

frama-c -check crashes on the following code. This is a regression from Boron.

void main () {
  int r;
  switch(1) {
  case 2:
    r = (int) f(1);
    break;
  default:
    break;
  }
}

Tags

No tags attached.

Relationships

Notes
(0002019) yakobowski (manager) 2011-07-07 00:26	The bug is in the removal of trivial UnspecifiedSequence in Cabs2Cil. The code uses a Cil_datatype.Stmt.Hashtbl, but in Cabs2Cil all sid seem to be -1. I will use an association list instead, but there are obvious efficiency concerns. Also, I'm not sure (==) is correct at this stage. Virgile, it seems you wrote the original code, can you check the patch?

(0004767) yakobowski (manager) 2014-02-12 16:59	Fix committed to stable/neon branch.

Issue History
Date Modified	Username	Field	Change
2011-07-06 23:11	yakobowski	New Issue
2011-07-07 00:26	yakobowski	Note Added: 0002019
2011-07-07 00:26	yakobowski	Assigned To	=> virgile
2011-07-07 00:26	yakobowski	Status	new => resolved
2011-07-07 00:34	svn	Checkin
2011-07-07 00:34	svn	Resolution	open => fixed
2011-09-07 17:00	signoles	Relationship added	related to 0000912
2011-09-07 18:26	yakobowski	Relationship deleted	related to 0000912
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	yakobowski	Note Added: 0004767
2014-02-12 16:59	yakobowski	Assigned To	virgile => yakobowski
2014-02-12 16:59	yakobowski	Status	closed => resolved

Copyright © 2000 - 2017 MantisBT Team