re PR middle-end/44890 (Hitting gcc_assert in build2_stat with pr30388.c testsuite test case)

2010-07-09  Richard Guenther  <rguenther@suse.de>

	PR middle-end/44890
	* tree-ssa-address.c (create_mem_ref_raw): Only build a MEM_REF
	if base is a pointer.
	* tree-cfg.c (verify_expr): Update MEM_REF checking.

From-SVN: r162005
This commit is contained in:
Richard Guenther 2010-07-09 18:32:29 +00:00 committed by Richard Biener
parent c8aa02cc70
commit 38a178dd99
3 changed files with 11 additions and 2 deletions

View File

@ -1,3 +1,10 @@
2010-07-09 Richard Guenther <rguenther@suse.de>
PR middle-end/44890
* tree-ssa-address.c (create_mem_ref_raw): Only build a MEM_REF
if base is a pointer.
* tree-cfg.c (verify_expr): Update MEM_REF checking.
2010-07-08 Michael Meissner <meissner@linux.vnet.ibm.com>
PR target/44877

View File

@ -2610,7 +2610,8 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
case MEM_REF:
x = TREE_OPERAND (t, 0);
if (!is_gimple_mem_ref_addr (x))
if (!POINTER_TYPE_P (TREE_TYPE (x))
|| !is_gimple_mem_ref_addr (x))
{
error ("Invalid first operand of MEM_REF.");
return x;

View File

@ -352,7 +352,8 @@ create_mem_ref_raw (tree type, tree alias_ptr_type, struct mem_address *addr)
/* If possible use a plain MEM_REF instead of a TARGET_MEM_REF. */
if (alias_ptr_type
&& !addr->index
&& !addr->step)
&& !addr->step
&& (!addr->base || POINTER_TYPE_P (TREE_TYPE (addr->base))))
{
tree base, offset;
gcc_assert (!addr->symbol ^ !addr->base);