question on verify_ssa failure due to ccp in dom3 (PR30784)

[Richard Guenther]

On 14 Mar 2007 07:22:10 -0700, Ian Lance Taylor <iant@google.com> wrote:
> Dorit Nuzman <DORIT@il.ibm.com> writes:
>
> >       D.2103_79 = BIT_FIELD_REF <{2, 2}, 64, 0>;
> >
> >
> > ...which causes he following ICE:
> > "
> >    bug.c:8: error: invalid reference prefix
> >    {2, 2}
> >    bug.c:8: internal compiler error: verify_stmts failed
> > "
>
> Maybe fold-const.c needs to recognize this case?  Actually it seems
> like it already does.  Why didn't it get folded by
> substitute_and_fold?

Dom doesn't use the propagator engine but relies on
fold_stmt_in_place.  That one
eventually calls fold() on the rhs, either that didn't work out or
set_rhs rejected the
folding result.  I leave the resolution as an excercise for the reader ;)

Richard.