https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71706
Bug ID: 71706
Summary: [7 Regression] ICE on using sync images with
integer(kind<>4), with -fcoarray=lib -fcheck=bounds
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: gerhard.steinmetz.fort...@t-online.de
Target Milestone: ---
Together with -fcheck=bounds or -fcheck=all :
$ cat z1.f90
program p
integer :: me = 1
sync images (me)
end
$ gfortran-7-20160626 -fcoarray=lib -fcheck=all -c z1.f90
# (as usual, configured with --enable-checking=yes)
$ gfortran-7-20160626 -fcoarray=lib -fcheck=all -fdefault-integer-8 -c z1.f90
z1.f90:1:0:
program p
Error: mismatching comparison operand types
integer(kind=4)
integer(kind=8)
_4 = _2 < me.3_3;
z1.f90:1:0: internal compiler error: verify_gimple failed
0xc45a8d verify_gimple_in_seq(gimple*)
../../gcc/tree-cfg.c:4879
0x9ae132 gimplify_body(tree_node*, bool)
../../gcc/gimplify.c:11685
0x9ae4c6 gimplify_function_tree(tree_node*)
../../gcc/gimplify.c:11773
0x834037 cgraph_node::analyze()
../../gcc/cgraphunit.c:625
0x8373c3 analyze_functions
../../gcc/cgraphunit.c:1086
0x8380a8 symbol_table::finalize_compilation_unit()
../../gcc/cgraphunit.c:2543
