On Tue, Jun 28, 2011 at 10:36 PM, Eric Botcazou <ebotca...@adacore.com> wrote: > Hi, > > the attached testcase triggers an ICE when compiled at -O or above, on all the > open branches. This is a regression introduced with the tuplification. The > problem is that 2 ARRAY_RANGE_REFs are recognized as equivalent, although they > don't have the same number of elements. This is so because their type isn't > taken into account by the hash equality function as it simply isn't recorded > in initialize_hash_element (GIMPLE_SINGLE_RHS case). Now in all the other > cases it is recorded so this very likely is an oversight. > > Tested on x86_64-suse-linux, OK for all branches?
Oops. This would also make two MEM-REFs equivalent which access different amount of memory. Ok. Thanks, Richard. > > 2011-06-28 Eric Botcazou <ebotca...@adacore.com> > > * tree-ssa-dom.c (initialize_hash_element): Fix oversight. > > > 2011-06-28 Eric Botcazou <ebotca...@adacore.com> > > * gnat.dg/opt17.ad[sb]: New test. > > > -- > Eric Botcazou >
