------- Comment #3 from rguenth at gcc dot gnu dot org 2005-12-18 17:43 ------- We're hitting the assert at
#1 0x0856ac47 in handle_ptr_arith (lhsc=0x8868880, expr=0x401942d0) at tree-ssa-structalias.c:3188 gcc_assert (first_vi_for_offset (temp, rhsoffset) != NULL); with temp being the array of size 32 and rhsoffset being 32. We're taking the address of a[1] which is valid. We should just ignore this here and continue. I will prepare and test a patch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25481