[Bug fortran/71706] New: [7 Regression] ICE on using sync images with integer(kind<>4), with -fcoarray=lib -fcheck=bounds

["gerhard dot steinmetz dot fortran at t-online dot de" <gcc-bugzilla at gcc dot gnu dot org>]

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.fortran@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