From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2071) id F3B9B3858D33; Wed, 1 Feb 2023 20:13:15 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F3B9B3858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675282396; bh=P+YVmt/jivcgePx/lCbOfHcDSW2F+VFcds7tMOaTJyc=; h=From:To:Subject:Date:From; b=ucfBbqffpC8AbPDKCs5B8bP9eC92PAIfsegg5WkUgpLAAPaDjp++eZU5j1xyYycTO lUd2lEQ73nIME/QHB01fYRUAHR7wIO71o1YqKMBDyZHuo7thjsY4BIW1LpOTzFymXB 8E69Xa1CtFdVAe5UgRv0P2FQEYUuPKF7DnjpQUmY= 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 r13-5636] Fortran: error recovery on invalid array section [PR108609] X-Act-Checkin: gcc X-Git-Author: Harald Anlauf X-Git-Refname: refs/heads/master X-Git-Oldrev: a2c848c92c3f13c2dd9bd92d22beb44c1ff848b4 X-Git-Newrev: 88a2a09dd4529107e7ef7a6e7ce43acf96457173 Message-Id: <20230201201315.F3B9B3858D33@sourceware.org> Date: Wed, 1 Feb 2023 20:13:15 +0000 (GMT) List-Id: https://gcc.gnu.org/g:88a2a09dd4529107e7ef7a6e7ce43acf96457173 commit r13-5636-g88a2a09dd4529107e7ef7a6e7ce43acf96457173 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.cc (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. Diff: --- gcc/fortran/expr.cc | 6 +++++- gcc/testsuite/gfortran.dg/pr108527.f90 | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/fortran/expr.cc b/gcc/fortran/expr.cc index 3036b1be60f..c295721b9d6 100644 --- a/gcc/fortran/expr.cc +++ b/gcc/fortran/expr.cc @@ -1552,7 +1552,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" }