https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71706
--- Comment #1 from Gerhard Steinmetz <gerhard.steinmetz.fort...@t-online.de> --- $ cat z2.f90 program p sync images (1_1) sync images (1_2) sync images (1_4) sync images (1_8) sync images (1_16) end $ gfortran-7-20160626 -fcoarray=single -fcheck=all -c z2.f90 $ gfortran-7-20160626 -fcoarray=lib -fcheck=all -c z2.f90 z2.f90:1:0: program p Error: mismatching comparison operand types integer(kind=4) integer(kind=1) if (_2 <= 0) goto <D.3460>; else goto <D.3461>; z2.f90:1:0: Error: mismatching comparison operand types integer(kind=4) integer(kind=2) if (_4 <= 0) goto <D.3463>; else goto <D.3464>; z2.f90:1:0: Error: mismatching comparison operand types integer(kind=4) integer(kind=8) if (_8 <= 0) goto <D.3469>; else goto <D.3470>; z2.f90:1:0: Error: mismatching comparison operand types integer(kind=4) integer(kind=16) if (_10 <= 0) goto <D.3472>; else goto <D.3473>; z2.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