[Bug fortran/106856] New: [12/13 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.cc:1977

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

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

            Bug ID: 106856
           Summary: [12/13 Regression] ICE in gfc_conv_expr_present, at
                    fortran/trans-expr.cc:1977
           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 20211010 and 20211017, with option -fcheck=all :


$ cat z1.f90
program p
   class(*), allocatable :: x, y
   y = 'abc'
   call s1(x, y)
contains
   subroutine s1(x, y)
      class(*) :: x, y
   end
   subroutine s2(x, y)
      class(*), allocatable :: x, y
      optional :: x
   end
end


$ gfortran-13-20220904 -c z1.f90 -fcheck=all
z1.f90:4:16:

    4 |    call s1(x, y)
      |                1
internal compiler error: in gfc_conv_expr_present, at
fortran/trans-expr.cc:1977
0x894a80 gfc_conv_expr_present(gfc_symbol*, bool)
        ../../gcc/fortran/trans-expr.cc:1977
0x8a2b86 gfc_conv_procedure_call(gfc_se*, gfc_symbol*, gfc_actual_arglist*,
gfc_expr*, vec<tree_node*, va_gc, vl_embed>*)
        ../../gcc/fortran/trans-expr.cc:7192
0x8e1130 gfc_trans_call(gfc_code*, bool, tree_node*, tree_node*, bool)
        ../../gcc/fortran/trans-stmt.cc:422
0x867f18 trans_code
        ../../gcc/fortran/trans.cc:2018
0x8910ae gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.cc:7654
0x81353e translate_all_program_units
        ../../gcc/fortran/parse.cc:6670
0x81353e gfc_parse_file()
        ../../gcc/fortran/parse.cc:6976
0x860b1f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.cc:229