[Bug fortran/71935] New: ICE is_c_interoperable(): gfc_simplify_expr failed

[gerhard.steinmetz.fortran@t-online.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71935

            Bug ID: 71935
           Summary: ICE is_c_interoperable(): gfc_simplify_expr failed
           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: ---

With an out of bounds error :   (no ICE with 4.8.3)


$ cat z1.f90
program p
   use iso_c_binding
   character(len=1, kind=c_char), parameter :: z(2) = 'z'
   print *, sizeof(z(3))
   print *, c_sizeof(z(3))
end


$ cat z2.f90
program p
   use iso_c_binding
   character(len=1), parameter :: z(2) = 'z'
   print *, sizeof(z(3))
   print *, c_sizeof(z(3))
end



$ gfortran-7-20160717 z1.f90
z1.f90:4:21:

    print *, sizeof(z(3))
                     1
Warning: Array reference at (1) is out of bounds (3 > 2) in dimension 1
z1.f90:5:23:

    print *, c_sizeof(z(3))
                       1
Warning: Array reference at (1) is out of bounds (3 > 2) in dimension 1
z1.f90:5:23:

    print *, c_sizeof(z(3))
                       1
Error: Index in dimension 1 is out of bounds at (1)
f951: internal compiler error: is_c_interoperable(): gfc_simplify_expr failed
0x684721 gfc_internal_error(char const*, ...)
        ../../gcc/fortran/error.c:1312
0x65e848 is_c_interoperable
        ../../gcc/fortran/check.c:4282
0x663846 gfc_check_c_sizeof(gfc_expr*)
        ../../gcc/fortran/check.c:4329
0x695624 check_specific
        ../../gcc/fortran/intrinsic.c:4274
0x69ea04 gfc_intrinsic_func_interface(gfc_expr*, int)
        ../../gcc/fortran/intrinsic.c:4489
0x6e42c6 resolve_unknown_f
        ../../gcc/fortran/resolve.c:2718
0x6e42c6 resolve_function
        ../../gcc/fortran/resolve.c:3020
0x6e42c6 gfc_resolve_expr(gfc_expr*)
        ../../gcc/fortran/resolve.c:6353
0x6e8ef1 gfc_resolve_code(gfc_code*, gfc_namespace*)
        ../../gcc/fortran/resolve.c:10469
0x6e8c4b gfc_resolve_blocks(gfc_code*, gfc_namespace*)
        ../../gcc/fortran/resolve.c:9520
0x6e8ffe gfc_resolve_code(gfc_code*, gfc_namespace*)
        ../../gcc/fortran/resolve.c:10459
0x6eb6d2 resolve_codes
        ../../gcc/fortran/resolve.c:15667
0x6eb7c1 gfc_resolve(gfc_namespace*)
        ../../gcc/fortran/resolve.c:15701
0x6d6aea resolve_all_program_units
        ../../gcc/fortran/parse.c:5855
0x6d6aea gfc_parse_file()
        ../../gcc/fortran/parse.c:6107
0x719192 gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:198