* tree-predcom.c (determine_offset): Check that both references have
the same type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125298
138bc75d-0d04-0410-961f-
82ee72b054a4
2007-06-03 Zdenek Dvorak <dvorakz@suse.cz>
+ PR tree-optimization/32194
+ * tree-predcom.c (determine_offset): Check that both references have
+ the same type.
+
+2007-06-03 Zdenek Dvorak <dvorakz@suse.cz>
+
* cfgloopmanip.c (remove_path, loopify, duplicate_loop_to_header_edge):
Change dom_bbs to vector. Add argument to iterate_fix_dominators call.
* loop-unroll.c (unroll_loop_runtime_iterations): Ditto.
double_int *off)
{
aff_tree diff, baseb, step;
+ tree typea, typeb;
+
+ /* Check that both the references access the location in the same type. */
+ typea = TREE_TYPE (DR_REF (a));
+ typeb = TREE_TYPE (DR_REF (b));
+ if (!tree_ssa_useless_type_conversion_1 (typeb, typea))
+ return false;
/* Check whether the base address and the step of both references is the
same. */