Bug in partial evaluation/constant folding

Brought to you by: idgay, kerneis, mattharren, necula

#102 Bug in partial evaluation/constant folding

Milestone: Bug

Status: open-accepted

Owner: nobody

Labels: Extensions (11)

Priority: 4

Updated: 2011-09-22

Created: 2008-11-13

Creator: Alberto Griggio

Private: No

There is a bug in the partial evaluation/constant folding transformation.
In the attached example, the "if" is simplified to the "else" branch, instead of the "then" branch

CIL version 1.3.6, with the following command line:
cilly.asm.exe --domakeCFG --dopartial --noPrintLn --partial_no_global_const

If you comment out line 13 (global = 0 in main), then the "if" is not simplified at all (so the program is still correct...)

Discussion

Alberto Griggio - 2008-11-13

tiny.c

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

David Gay - 2009-04-16

labels: 738441 --> Extensions

priority: 5 --> 4
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gabriel Kerneis - 2011-09-22

status: open --> open-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gabriel Kerneis - 2011-09-22

Test case added in the regression suite (bug confirmed).

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Bug in partial evaluation/constant folding

Group

Searches

Help

#102 Bug in partial evaluation/constant folding

Discussion