From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1848 invoked by alias); 24 Feb 2009 09:56:17 -0000 Received: (qmail 1776 invoked by uid 48); 24 Feb 2009 09:56:07 -0000 Date: Tue, 24 Feb 2009 09:56:00 -0000 Subject: [Bug fortran/39286] New: Missing out-of-bounds diagnostic X-Bugzilla-Reason: CC Message-ID: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "burnus 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: 2009-02/txt/msg02078.txt.bz2 Found in the thread at http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/792d5c732cc84ddf Post: http://groups.google.com/group/comp.lang.fortran/msg/025a878dd2d9f8e0 I have not checked whether this is indeed an issue. --------------- [...] > At line 25 of file jahed_1.f90 > Fortran runtime error: Array bound mismatch for dimension 1 of array > 'v3' I wonder if GFortran is misrepresenting the error. The error message suggests that GFortran is inferring the size of the assignee from the LHS of the assignment statement on Line-9, rather than from the RHS expression on the same line. The former has dimension 1:5, the latter has 1:6. MRC, Sec. 3.11 says "..if the expression includes a reference to the array variable or to a part of it, the expression is interpreted as being fully evaluated before the assignment commences". The extent of the expression is 6; the extent of the lvalue is 5. Following Oliver Hardy's advice, "let's really make it dirty", I added to the RHS the term + (/(i+2,i=0,n)/) and added i to the declaration of integers on Line-3. After this change, GFortran gave this spurious message at compile time err.f90:9: warning: 'i' may be used uninitialized in this function and, despite the bounds-check being on, gave no error during execution. -- Summary: Missing out-of-bounds diagnostic Product: gcc Version: 4.4.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 OtherBugsDependingO 27766 nThis: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39286