[Bug tree-optimization/23320] [4.1 Regression] ICE in in base_addr_differ_p, at tree-data-ref.c:430

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-08-10 22:23 -------
Ira, this is because your assert's don't match the conditions that will cause it
to return:

We early exit if we have 
  if (DR_BASE_OBJECT (dra) && DR_BASE_OBJECT (drb))

The assert a little later however, tests:   
    gcc_assert (!DR_BASE_OBJECT (dra) && !DR_BASE_OBJECT (drb));

I note the comment:

  /* Compare base objects first if possible. If DR_BASE_OBJECT is NULL, it means
     that the data-ref is of INDIRECT_REF, and alias analysis will be applied to
     reveal the dependence.  */

You probably then should be testing
if (DR_TYPE (dra) == ARRAY_TYPE && DR_TYPE (drb) == ARRAY_TYPE)

not base object nullness.




-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |irar at il dot ibm dot com


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