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: gs...@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
