From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-187829-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 23982 invoked by alias); 2 Jun 2006 14:08:20 -0000
Received: (qmail 23869 invoked by uid 48); 2 Jun 2006 14:08:12 -0000
Date: Fri, 02 Jun 2006 14:08:00 -0000
Subject: [Bug fortran/27874]  New: Bad interaction between bounds checking, forall and derived types
X-Bugzilla-Reason: CC
Message-ID: <bug-27874-10259@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "fxcoudert at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2006-06/txt/msg00114.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

$ cat forall_3.f90 
  type t
    integer :: p(1)
  end type
  type (t), dimension (1) :: v
  integer i

  forall (i=1:1,.false.)
    v(i)%p = v(i+1)%p
  end forall
end
$ gfortran forall_3.f90 -fbounds-check && ./a.out 
Fortran runtime error: Array reference out of bounds


-- 
           Summary: Bad interaction between bounds checking, forall and
                    derived types
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-checking
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fxcoudert at gcc dot gnu dot org
OtherBugsDependingO 27766
             nThis:


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