PR tree-optimization/32194

	* 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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2214ddf..39dd070 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 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.

diff --git a/gcc/tree-predcom.c b/gcc/tree-predcom.c
index b5c8292..15fcafe 100644 (file)
--- a/gcc/tree-predcom.c
+++ b/gcc/tree-predcom.c
@@ -628,6 +628,13 @@ determine_offset (struct data_reference *a, struct data_reference *b,
                  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.  */