[Bug fortran/106945] New: [10/11/12/13 Regression] ICE: 'verify_gimple' failed

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

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

            Bug ID: 106945
           Summary: [10/11/12/13 Regression] ICE: 'verify_gimple' failed
           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 with r7, using option -fcoarray=single or -fcoarray=lib :
(gcc configured with --enable-checking=yes)


$ cat z1.f90
module m
   type t
      class(*), allocatable :: a[:]
   end type
end


$ gfortran-13-20220911 -c z1.f90 -ftrapv -fcheck=all -fcoarray=lib
z1.f90:5:3:

    5 | end
      |   ^
Error: mismatching comparison operand types
integer(kind=8)
unsigned long
if (_10 != 1) goto <D.4519>; else goto <D.4520>;
z1.f90:5:3: internal compiler error: 'verify_gimple' failed
0xf8e34d verify_gimple_in_seq(gimple*)
        ../../gcc/tree-cfg.cc:5221
0xc07671 gimplify_body(tree_node*, bool)
        ../../gcc/gimplify.cc:16605
0xc07915 gimplify_function_tree(tree_node*)
        ../../gcc/gimplify.cc:16721
0xa20787 cgraph_node::analyze()
        ../../gcc/cgraphunit.cc:676
0xa23a66 analyze_functions
        ../../gcc/cgraphunit.cc:1240
0xa24c0d symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.cc:2500