diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-03-03 17:06:33 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-03-03 17:06:33 +0100 |
| commit | 71f3a3f5171d29dc3625fa7556c5732aa6b26241 (patch) | |
| tree | c3601aa48d9068674838a86d0409cbf0d3eb7859 /gcc | |
| parent | 4b1a5c0ded00e987f78929d4189ce12792d57fcc (diff) | |
| download | gcc-71f3a3f5171d29dc3625fa7556c5732aa6b26241.zip gcc-71f3a3f5171d29dc3625fa7556c5732aa6b26241.tar.gz gcc-71f3a3f5171d29dc3625fa7556c5732aa6b26241.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/cfgexpand.c | 12 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e40f40e..5d524d5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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 diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index ecfd1a5..059c5b2 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -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; |