OSDN Git Service

2010-01-03 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 3 Jan 2010 12:06:02 +0000 (12:06 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 3 Jan 2010 12:06:02 +0000 (12:06 +0000)
commit0460ab004320102e072dfc2eeb53b8c17884ed6f
tree8f11d3b8b2484e1c9007163fc1ed652b69f33061
parentbc81536043d429bbde717457e469f8890e757b16
2010-01-03  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/42438
* tree-ssa-pre.c (struct bb_bitmap_sets): Add
contains_may_not_return_call flag.
(BB_MAY_NOTRETURN): New.
(valid_in_sets): Trapping nary operations are not valid
in blocks that may not return.
(insert_into_preds_of_block): Remove check for trapping
expressions.
(compute_avail): Compute also BB_MAY_NOTRETURN.

* gcc.dg/tree-ssa/ssa-pre-27.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@155584 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-27.c [new file with mode: 0644]
gcc/tree-ssa-pre.c