[Bug fortran/107679] New: [13 Regression] ICE in maybe_register_def, at tree-into-ssa.cc:1914

["gscfq@t-online.de" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 107679
           Summary: [13 Regression] ICE in maybe_register_def, at
                    tree-into-ssa.cc:1914
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20220918 and 20220925, at -O1+ :
(gcc configured with --enable-checking=yes)


$ cat z1.f90
subroutine s1(x)
   integer, intent(out) :: x
end
subroutine s2(z)
   integer, value :: z
   call s1(z)
end


$ cat z2.f90
subroutine s1(x)
   integer, intent(out) :: x
   x = 3
end
subroutine s2(z)
   integer, value :: z
   call s1(z)
end


$ gfortran-13-20221106 -c z1.f90 -O2
during GIMPLE pass: ccp
z1.f90:7:3:

    7 | end
      |   ^
internal compiler error: in maybe_register_def, at tree-into-ssa.cc:1914
0xffb188 maybe_register_def
        ../../gcc/tree-into-ssa.cc:1914
0xffb188 rewrite_update_stmt
        ../../gcc/tree-into-ssa.cc:2063
0xffb188 rewrite_update_dom_walker::before_dom_children(basic_block_def*)
        ../../gcc/tree-into-ssa.cc:2236
0x1cce2a7 dom_walker::walk(basic_block_def*)
        ../../gcc/domwalk.cc:311
0xff80e9 rewrite_blocks
        ../../gcc/tree-into-ssa.cc:2296
0xfff24e update_ssa(unsigned int)
        ../../gcc/tree-into-ssa.cc:3581
0x11f022e execute_update_addresses_taken()
        ../../gcc/tree-ssa.cc:2177
0xe47700 execute_function_todo
        ../../gcc/passes.cc:2066
0xe480b2 execute_todo
        ../../gcc/passes.cc:2145