[Bug fortran/87737] New: ICE tree check: expected ssa_name, have addr_expr in remap_gimple_op_r, at tree-inline.c:923

[gscfq@t-online.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87737

            Bug ID: 87737
           Summary: ICE tree check: expected ssa_name, have addr_expr in
                    remap_gimple_op_r, at tree-inline.c:923
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Affects version 9 at -O[123], but not at -O[0gs].
Versions 5 to 8 are only affected at -O3 or -Ofast.


$ cat z1.f90
program p
   interface
      function f()
         character(:), allocatable :: f
      end
   end interface
   character(1) :: g
   print *, f()
   print *, g()
end

function f()
   character(:), allocatable :: f
   character(1) :: g
   f = 'f'
   return
entry g()
   g = 'g'
end


$ gfortran-9-20181021 -c z1.f90 -Os
$
$ gfortran-9-20181021 -c z1.f90 -O2
during GIMPLE pass: ccp
z1.f90:1:0:

    1 | program p
      |
internal compiler error: Segmentation fault
0xb1c86f crash_signal
        ../../gcc/toplev.c:325
0x86c2d9 get_inner_reference(tree_node*, poly_int_pod<1u, long>*,
poly_int_pod<1u, long>*, tree_node**, machine_mode*, int*, int*, int*)
        ../../gcc/expr.c:7147
0x8a9c35 fold_comparison
        ../../gcc/fold-const.c:8524
0x89deb8 fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
        ../../gcc/fold-const.c:10608
0xbee77c ccp_fold
        ../../gcc/tree-ssa-ccp.c:1246
0xbee77c evaluate_stmt
        ../../gcc/tree-ssa-ccp.c:1785
0xbf05de visit_cond_stmt
        ../../gcc/tree-ssa-ccp.c:2381
0xbf05de ccp_propagate::visit_stmt(gimple*, edge_def**, tree_node**)
        ../../gcc/tree-ssa-ccp.c:2439
0xc64fb3 ssa_propagation_engine::simulate_stmt(gimple*)
        ../../gcc/tree-ssa-propagate.c:230
0xc6522a ssa_propagation_engine::simulate_block(basic_block_def*)
        ../../gcc/tree-ssa-propagate.c:337
0xc66022 ssa_propagation_engine::ssa_propagate()
        ../../gcc/tree-ssa-propagate.c:800
0xbe8be7 do_ssa_ccp
        ../../gcc/tree-ssa-ccp.c:2471
0xbe8be7 execute
        ../../gcc/tree-ssa-ccp.c:2515