[Bug fortran/36754] New: Compile-time bound-checking for allocatable arrays with known bonds

["burnus at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The following bounds problem is not detected with gfortran at compile time (it
is at run time):

integer,allocatable :: a(:)
integer :: b(1)
allocate(a(12))
b = a(1:12)
end

Expected: The same output as NAG f95 has:
  Error: a.f90, line 4: Different vector lengths (1 and 12)


-- 
           Summary: Compile-time bound-checking for allocatable arrays with
                    known bonds
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org
OtherBugsDependingO 27766
             nThis:


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