[Bug fortran/35095] New: DATA with implied-do: Improve bounds checking

[burnus at gcc dot gnu dot org]

This is a follow-up from PR 32315.

The following accesses valid data, but the array bounds are wrong:

program chkdata
    character(len=20), dimension(4,4) :: string
    data ( string(i,1),i=1,5) / 'A', 'B', 'C', 'D', 'E' /
end program chkdata

Since PR 32315 all invalid memory accesses are detected, but here the problem
is that  string(5,1) is invalid (upper bound is 4) while the memory accessed it
part of string (i.e. "string(1,2)").

Expected:
- gfortran rejects this with -std=f95 or at least warns
- The error message should include the bound [e.g. "(5 > 4)"]
  and the dimension ("in dimension 1").

NAG has:
Error: a.f90, line 3: First subscript (5) is greater than upper bound (4) for
array STRING

gfortran has:
Error: Data element above array upper bound at (1)


-- 
           Summary: DATA with implied-do: Improve bounds checking
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35095