On 05/06/2016 12:56 PM, Richard Biener wrote:
> Hmmm. But this means debug stmt remapping calls
> remap_dependence_clique which may end up bumping
> cfun->last_clique and thus may change code generation.
>
> So what debug stmts contain MEM_REFs? If you put an assert
> processing_debug_stmt == 0 in
> remap_dependence_clique I'd like to see a testcase that triggers it.
>
> Richard.
Ok, I've placed the suggested assert which is triggered for following debug
statement:
(gdb) p debug_gimple_stmt(stmt)
# DEBUG D#21 => a_1(D)->dim[0].ubound
(gdb) p debug_tree(*tp)
<mem_ref 0x7ffff66c1b40
type <record_type 0x7ffff6a642a0 array1_unknown type_1 BLK
size <integer_cst 0x7ffff6a46180 constant 384>
unit size <integer_cst 0x7ffff6a23c90 constant 48>
align 64 symtab -160828560 alias set -1 canonical type 0x7ffff6a4f000
fields <field_decl 0x7ffff6a47980 data type <pointer_type
0x7ffff68a7348>
unsigned DI file
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/actual_array_constructor_1.f90
line 21 col 0
size <integer_cst 0x7ffff6886bd0 constant 64>
unit size <integer_cst 0x7ffff6886be8 constant 8>
align 64 offset_align 128
offset <integer_cst 0x7ffff6886c00 constant 0>
bit offset <integer_cst 0x7ffff6886c48 constant 0> context
<record_type 0x7ffff6a4f498 array_descriptor1> chain <field_decl 0x7ffff6a47a18
offset>>
pointer_to_this <pointer_type 0x7ffff6a64540> reference_to_this
<reference_type 0x7ffff6a645e8> chain <type_decl 0x7ffff6a511c8 D.3431>>
arg 0 <ssa_name 0x7ffff66b41f8
type <reference_type 0x7ffff6a64690 type <record_type 0x7ffff6a642a0
array1_unknown>
public unsigned restrict DI size <integer_cst 0x7ffff6886bd0 64>
unit size <integer_cst 0x7ffff6886be8 8>
align 64 symtab 0 alias set -1 canonical type 0x7ffff6a53150>
var <parm_decl 0x7ffff6696800 a>def_stmt GIMPLE_NOP
version 1>
arg 1 <integer_cst 0x7ffff6a7a438 type <reference_type 0x7ffff6a64690>
constant 0>>
for the following test-case:
gfortran
/home/marxin/Programming/gcc/gcc/testsuite/gfortran.dg/actual_array_constructor_1.f90
-O3 -g
Martin
