------- 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
