This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/42438] [4.4/4.5 Regression] Fix for PR38819 is too conservative
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 3 Jan 2010 12:06:15 -0000
- Subject: [Bug tree-optimization/42438] [4.4/4.5 Regression] Fix for PR38819 is too conservative
- References: <bug-42438-10053@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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 <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.
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