aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/fortran/ChangeLog9
-rw-r--r--gcc/fortran/primary.c24
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gfortran.dg/pr93580.f9013
4 files changed, 49 insertions, 2 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index a2f45d2..302af3a 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,12 @@
+2020-02-18 Steven G. Kargl <kargl@gcc.gnu.org>
+ Mark Eggleston <markeggleston@gcc.gnu.org>
+
+ PR fortran/93580
+ * primary.c (gfc_match_varspec): If the symbol following %
+ is re or im and the primary expression type is not BT_COMPLEX
+ issue an error. If the symbol is len and the primary
+ expression type is not BT_CHARACTER is an error.
+
2020-02-10 Andrew Benson <abensonca@gmail.com>
PR fortran/83113
diff --git a/gcc/fortran/primary.c b/gcc/fortran/primary.c
index bd50827..d738984 100644
--- a/gcc/fortran/primary.c
+++ b/gcc/fortran/primary.c
@@ -2241,8 +2241,28 @@ gfc_match_varspec (gfc_expr *primary, int equiv_flag, bool sub_flag,
if (inquiry)
sym = NULL;
- if (sep == '%' && primary->ts.type != BT_UNKNOWN)
- intrinsic = true;
+ if (sep == '%')
+ {
+ if (tmp)
+ {
+ if ((tmp->u.i == INQUIRY_RE || tmp->u.i == INQUIRY_IM)
+ && primary->ts.type != BT_COMPLEX)
+ {
+ gfc_error ("The RE or IM part_ref at %C must be "
+ "applied to a COMPLEX expression");
+ return MATCH_ERROR;
+ }
+ else if (tmp->u.i == INQUIRY_LEN
+ && primary->ts.type != BT_CHARACTER)
+ {
+ gfc_error ("The LEN part_ref at %C must be applied "
+ "to a CHARACTER expression");
+ return MATCH_ERROR;
+ }
+ }
+ if (primary->ts.type != BT_UNKNOWN)
+ intrinsic = true;
+ }
}
else
inquiry = false;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8f2c5b0..1c7f879 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2020-02-20 Mark Eggleston <markeggleston@gcc.gnu.org>
+
+ PR fortran/93580
+ * gfortran.dg/dg/pr93580.f90: New test.
+
2020-02-18 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/93780
diff --git a/gcc/testsuite/gfortran.dg/pr93580.f90 b/gcc/testsuite/gfortran.dg/pr93580.f90
new file mode 100644
index 0000000..4feaa11
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr93580.f90
@@ -0,0 +1,13 @@
+! { dg-do compile }
+! PR fortran/93580
+
+program p
+ integer, parameter :: n = 4
+ complex(n%re) :: x ! { dg-error "The RE or IM part_ref at" }
+ complex(n%im) :: y ! { dg-error "The RE or IM part_ref at" }
+ complex(n%len) :: z ! { dg-error "The LEN part_ref at" }
+ character(n%im) :: a ! { dg-error "The RE or IM part_ref at" }
+ character(n%re) :: b ! { dg-error "The RE or IM part_ref at" }
+ character(n%len) :: c ! { dg-error "The LEN part_ref at" }
+end
+