This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/34005] [4.3 Regression] ICE: verify_ssa failed (expected an SSA_NAME object)
- From: "rakdver at kam dot mff dot cuni dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Nov 2007 16:03:55 -0000
- Subject: [Bug tree-optimization/34005] [4.3 Regression] ICE: verify_ssa failed (expected an SSA_NAME object)
- References: <bug-34005-12387@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #9 from rakdver at kam dot mff dot cuni dot cz 2007-11-27 16:03 -------
Subject: Re: [4.3 Regression] ICE: verify_ssa failed (expected an SSA_NAME
object)
> > I think the problems only appeared if allow_rhs_cond_expr was enabled
> > for the gimplification pass (when called from the loop optimizer,
> > the expressions passed to gimplifier do not have any side effects,
> > so you would not detect any problem even if you removed the
> > TREE_SIDE_EFFECTS check).
>
> Even then, what failure was it? gimplify_pure_cond_expr gimplifies all the
> 3 arguments anyway, so if they have side-effects, they just end up being
> evaluated into temporaries which are then used in the COND_EXPR.
however, you would get side effects of both branches evaluated that
way. In particular, you get into problems for constructions like
p == NULL ? 0 : *p
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34005