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