From 875c29a245150b6d023b8b0eb7f0ba224df082d0 Mon Sep 17 00:00:00 2001 From: Mark Eggleston Date: Thu, 1 Oct 2020 11:14:09 +0100 Subject: [PATCH] Fortran : ICE in gfc_validate_kind PR96099 Only check for kind if the type supports kind. 2020-10-12 Mark Eggleston gcc/fortran/ChangeLog: PR fortran/96099 * decl.c (gfc_match_implicit): Check for numeric and logical types. 2020-10-12 Mark Eggleston gcc/testsuite/ChangeLog: PR fortran/96099 * gfortran.dg/pr96099_1.f90: New test. * gfortran.dg/pr96099_2.f90: New test. --- gcc/fortran/decl.c | 2 +- gcc/testsuite/gfortran.dg/pr96099_1.f90 | 8 ++++++++ gcc/testsuite/gfortran.dg/pr96099_2.f90 | 9 +++++++++ 3 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gfortran.dg/pr96099_1.f90 create mode 100644 gcc/testsuite/gfortran.dg/pr96099_2.f90 diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c index 326e6f5..bddf69c 100644 --- a/gcc/fortran/decl.c +++ b/gcc/fortran/decl.c @@ -4835,7 +4835,7 @@ gfc_match_implicit (void) /* Last chance -- check (). */ if (ts.type == BT_CHARACTER) m = gfc_match_char_spec (&ts); - else if (ts.type != BT_DERIVED) + else if (gfc_numeric_ts(&ts) || ts.type == BT_LOGICAL) { m = gfc_match_kind_spec (&ts, false); if (m == MATCH_NO) diff --git a/gcc/testsuite/gfortran.dg/pr96099_1.f90 b/gcc/testsuite/gfortran.dg/pr96099_1.f90 new file mode 100644 index 0000000..9754bd3 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr96099_1.f90 @@ -0,0 +1,8 @@ +! { dg-do compile } + +program pr96099_1 + implicit class(t) (1) ! { dg-error "Syntax error in IMPLICIT" } + type t + end type +end + diff --git a/gcc/testsuite/gfortran.dg/pr96099_2.f90 b/gcc/testsuite/gfortran.dg/pr96099_2.f90 new file mode 100644 index 0000000..3136d2e --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr96099_2.f90 @@ -0,0 +1,9 @@ +! { dg-do compile } + +program pr96099_2 + integer n1 + parameter (n1 = 1) + implicit class(t) (n1) ! { dg-error "Syntax error in IMPLICIT" } + type t + end type +end -- 2.7.4