------- Comment #5 from rguenth at gcc dot gnu dot org 2010-01-03 12:06 ------- Subject: Bug 42438
Author: rguenth Date: Sun Jan 3 12:06:02 2010 New Revision: 155584 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155584 Log: 2010-01-03 Richard Guenther <rguent...@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. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-27.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-pre.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42438
