From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2071) id C7B5338654A3; Fri, 10 Feb 2023 19:29:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C7B5338654A3 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1676057398; bh=j+xiX2QBMpzbgp2r4mRI7ZEaV0QQXGtq7S17cNnKSD0=; h=From:To:Subject:Date:From; b=mwgkTREOuYeA3jPvziFR9Qgq/mQbO/ZqVjtpwhzy9nKTW/cAZEDlv+FtQtNugZ+Tx D5X25hmF7kH+JIplJy8/sLM7BRPp9VTciLXylpt5pK00toETBtNCN6QVNvn8zX5w9m fD2yNs9XflViAKcDlmBDTlG3yVC9g0Xxyls3R0Uc= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Harald Anlauf To: gcc-cvs@gcc.gnu.org Subject: [gcc r11-10515] Fortran: error recovery on invalid array section [PR108609] X-Act-Checkin: gcc X-Git-Author: Harald Anlauf X-Git-Refname: refs/heads/releases/gcc-11 X-Git-Oldrev: c01a495d96f7e9e07b16f62c3476c5242d66aeeb X-Git-Newrev: f4efceac1741c03bc3c86f95e4bcd8918ec8ebe6 Message-Id: <20230210192958.C7B5338654A3@sourceware.org> Date: Fri, 10 Feb 2023 19:29:58 +0000 (GMT) List-Id: https://gcc.gnu.org/g:f4efceac1741c03bc3c86f95e4bcd8918ec8ebe6 commit r11-10515-gf4efceac1741c03bc3c86f95e4bcd8918ec8ebe6 Author: Harald Anlauf Date: Wed Feb 1 21:01:32 2023 +0100 Fortran: error recovery on invalid array section [PR108609] The testcase for PR108527 uncovered a latent issue with invalid array sections that resulted in different paths being taken on different architectures. Detect the invalid array declaration for a clean recovery. gcc/fortran/ChangeLog: PR fortran/108609 * expr.c (find_array_section): Add check to prevent interpreting an mpz non-integer constant as an integer. gcc/testsuite/ChangeLog: PR fortran/108609 * gfortran.dg/pr108527.f90: Adjust test pattern. (cherry picked from commit 88a2a09dd4529107e7ef7a6e7ce43acf96457173) Diff: --- gcc/fortran/expr.c | 6 +++++- gcc/testsuite/gfortran.dg/pr108527.f90 | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c index d76922b77f9..0860df907c5 100644 --- a/gcc/fortran/expr.c +++ b/gcc/fortran/expr.c @@ -1549,7 +1549,11 @@ find_array_section (gfc_expr *expr, gfc_ref *ref) lower = ref->u.ar.as->lower[d]; upper = ref->u.ar.as->upper[d]; - if (!lower || !upper) + if (!lower || !upper + || lower->expr_type != EXPR_CONSTANT + || upper->expr_type != EXPR_CONSTANT + || lower->ts.type != BT_INTEGER + || upper->ts.type != BT_INTEGER) { t = false; goto cleanup; diff --git a/gcc/testsuite/gfortran.dg/pr108527.f90 b/gcc/testsuite/gfortran.dg/pr108527.f90 index c97ba3111cb..804514810ac 100644 --- a/gcc/testsuite/gfortran.dg/pr108527.f90 +++ b/gcc/testsuite/gfortran.dg/pr108527.f90 @@ -4,7 +4,7 @@ program p integer, parameter :: a((2.)) = [4,8] ! { dg-error "must be of INTEGER type" } - integer(a(1:1)) :: b ! { dg-error "out of bounds" } + integer(a(1:1)) :: b ! { dg-error "Unclassifiable statement" } end ! { dg-prune-output "Parameter array" }