PR middle-end/42617
* emit-rtl.c (set_mem_attributes_minus_bitpos): Do not
discard plain indirect references.
* fold-const.c (operand_equal_p): Guard against NULL_TREE
type.
* tree.c (tree_nop_conversion): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158045
138bc75d-0d04-0410-961f-
82ee72b054a4
+2010-04-07 Richard Guenther <rguenther@suse.de>
+
+ PR middle-end/42617
+ * emit-rtl.c (set_mem_attributes_minus_bitpos): Do not
+ discard plain indirect references.
+ * fold-const.c (operand_equal_p): Guard against NULL_TREE
+ type.
+ * tree.c (tree_nop_conversion): Likewise.
+
2010-04-07 Dodji Seketeli <dodji@redhat.com>
PR debug/43628
/* ??? Any reason the field size would be different than
the size we got from the type? */
}
+
else if (flag_argument_noalias > 1
&& (INDIRECT_REF_P (t2))
&& TREE_CODE (TREE_OPERAND (t2, 0)) == PARM_DECL)
expr = t2;
offset = NULL;
}
+
+ /* If this is an indirect reference, record it. */
+ else if (TREE_CODE (t) == INDIRECT_REF
+ || TREE_CODE (t) == MISALIGNED_INDIRECT_REF)
+ {
+ expr = t;
+ offset = const0_rtx;
+ apply_bitpos = bitpos;
+ }
}
/* If this is a Fortran indirect argument reference, record the
offset = NULL;
}
+ /* If this is an indirect reference, record it. */
+ else if (TREE_CODE (t) == INDIRECT_REF
+ || TREE_CODE (t) == MISALIGNED_INDIRECT_REF)
+ {
+ expr = t;
+ offset = const0_rtx;
+ apply_bitpos = bitpos;
+ }
+
if (!align_computed && !INDIRECT_REF_P (t))
{
unsigned int obj_align
|| TREE_TYPE (arg1) == error_mark_node)
return 0;
+ /* Similar, if either does not have a type (like a released SSA name),
+ they aren't equal. */
+ if (!TREE_TYPE (arg0) || !TREE_TYPE (arg1))
+ return 0;
+
/* Check equality of integer constants before bailing out due to
precision differences. */
if (TREE_CODE (arg0) == INTEGER_CST && TREE_CODE (arg1) == INTEGER_CST)
outer_type = TREE_TYPE (exp);
inner_type = TREE_TYPE (TREE_OPERAND (exp, 0));
+ if (!inner_type)
+ return false;
+
/* Use precision rather then machine mode when we can, which gives
the correct answer even for submode (bit-field) types. */
if ((INTEGRAL_TYPE_P (outer_type)