From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12333 invoked by alias); 17 Aug 2010 18:21:42 -0000 Received: (qmail 12286 invoked by uid 48); 17 Aug 2010 18:21:31 -0000 Date: Tue, 17 Aug 2010 18:21:00 -0000 Message-ID: <20100817182131.12285.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug fortran/29785] Fortran 2003: POINTER Rank Remapping In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "mikael at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2010-08/txt/msg01423.txt.bz2 ------- Comment #8 from mikael at gcc dot gnu dot org 2010-08-17 18:21 ------- (In reply to comment #7) > Tobias (and all): Do you think we should check for "the size of data-target > shall not be less than the size of data-pointer-object" at runtime when > -fcheck=bounds is given? > Yes. The existing bounds-check code checks that we don't access an array beyond what its descriptor permits. We have to check that we don't create a descriptor that has bounds beyond the array limits, thus by-passing the bounds-check code. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29785