OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR debug/47283 (ICE in refs_may_alias_p_1, at tree-ssa-alias.c) 

PR debug/47283
	* cfgexpand.c (expand_debug_expr) <case MEM_REF>: If MEM_REF
	first operand is not is_gimple_mem_ref_addr, try to fold it.
	If the operand still isn't is_gimple_mem_ref_addr, clear
	MEM_EXPR on op0.

From-SVN: r170654
This commit is contained in:
Jakub Jelinek 2011-03-03 17:06:33 +01:00 committed by Jakub Jelinek
parent 4b1a5c0ded
commit 71f3a3f517
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2011-03-03 Jakub Jelinek <jakub@redhat.com>
PR debug/47283
* cfgexpand.c (expand_debug_expr) <case MEM_REF>: If MEM_REF
first operand is not is_gimple_mem_ref_addr, try to fold it.
If the operand still isn't is_gimple_mem_ref_addr, clear
MEM_EXPR on op0.
2011-03-03 Richard Guenther <rguenther@suse.de>
PR middle-end/47283

12
gcc/cfgexpand.c
View File

@ -2578,6 +2578,15 @@ expand_debug_expr (tree exp)
}
case MEM_REF:
if (!is_gimple_mem_ref_addr (TREE_OPERAND (exp, 0)))
{
tree newexp = fold_binary (MEM_REF, TREE_TYPE (exp),
TREE_OPERAND (exp, 0),
TREE_OPERAND (exp, 1));
if (newexp)
return expand_debug_expr (newexp);
}
/* FALLTHROUGH */
case INDIRECT_REF:
op0 = expand_debug_expr (TREE_OPERAND (exp, 0));
if (!op0)
@ -2611,6 +2620,9 @@ expand_debug_expr (tree exp)
op0 = gen_rtx_MEM (mode, op0);
set_mem_attributes (op0, exp, 0);
if (TREE_CODE (exp) == MEM_REF
&& !is_gimple_mem_ref_addr (TREE_OPERAND (exp, 0)))
set_mem_expr (op0, NULL_TREE);
set_mem_addr_space (op0, as);
return op0;