------- 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