http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58146
Bug ID: 58146
Summary: Array slice bounds checking
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: tkoenig at gcc dot gnu.org
The following doesn't trigger an error at compile time,
neither does it do so with -fcheck=all at runtime:
ig25@linux-fd1f:/tmp> cat diff.f90
program main
implicit none
integer :: n
real, dimension(10) :: a
n = 0
call random_number(a)
if (any(a(n+1:n+4) > [1.0, 2.0, 3.0])) print *,"Hello!"
end program main
ig25@linux-fd1f:/tmp> gfortran -fcheck=all diff.f90
ig25@linux-fd1f:/tmp> ./a.out
ig25@linux-fd1f:/tmp>
