[Bug middle-end/45297] [4.6 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1210 with -Os -fgraphite-identity

[spop at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45297

--- Comment #11 from Sebastian Pop <spop at gcc dot gnu.org> 2010-12-01 
20:15:29 UTC ---
In this code:

<bb 3>:
  q_5 = &MEM[(void *)q_1 + 4294967288B];

<bb 4>:
  # q_1 = PHI <q_3(2), q_5(3)>
  if (q_1 != p_2(D))
    goto <bb 3>;
  else
    goto <bb 5>;

scev analysis is able to determine that q1 = {q_3, +, -8}_1 and in the
same time, scev fails to analyze q5.  And that triggers a rewrite of
q_5 out of SSA making the scev analysis of q1 impossible.