re PR fortran/90297 (gcc/fortran/resolve.c: 2 * possibly redundant code ?)

2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/90297
	* match.c (gfc_match_equivalence): Check that EQUIVALENCE is followed
	by '('.

2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/90297
	* gfortran.dg/equiv_10.f90: New test.

From-SVN: r274031

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index fd55ca7..c0d69ff 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/90297
+       * match.c (gfc_match_equivalence): Check that EQUIVALENCE is followed
+       by '('.
+
 2019-07-30  Steven G. Kargl  <kargl@gcc.gnu.org>
 
        PR fortran/91296

diff --git a/gcc/fortran/match.c b/gcc/fortran/match.c
index 0f3b213..5377e93 100644 (file)
--- a/gcc/fortran/match.c
+++ b/gcc/fortran/match.c
@@ -5552,6 +5552,15 @@ gfc_match_equivalence (void)
   gfc_common_head *common_head = NULL;
   bool common_flag;
   int cnt;
+  char c;
+
+  /* EQUIVALENCE has been matched.  After gobbling any possible whitespace,
+     the next character needs to be '('.  Check that here, and return
+     MATCH_NO for a variable of the form equivalencej.  */
+  gfc_gobble_whitespace ();
+  c = gfc_peek_ascii_char ();
+  if (c != '(')
+    return MATCH_NO;
 
   tail = NULL;
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 147d8f8..6a3c870 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-02  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/90297
+       * gfortran.dg/equiv_10.f90: New test.
+
 2019-08-02  Marek Polacek  <polacek@redhat.com>
 
        PR c++/56428

diff --git a/gcc/testsuite/gfortran.dg/equiv_10.f90 b/gcc/testsuite/gfortran.dg/equiv_10.f90
new file mode 100644 (file)
index 0000000..2d6d5c3
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/equiv_10.f90
@@ -0,0 +1,15 @@
+! { dg-do compile }
+! PR fortran/90986
+module mymod
+  type :: mytyp
+    integer :: i
+  end type mytyp
+contains
+  subroutine mysub
+    implicit none
+    type(mytyp) :: a
+    integer :: equivalencei,equivalencej
+    equivalencei = a%i
+    equivalencej = a%j  ! { dg-error "is not a member of the" }
+  end subroutine mysub
+end module mymod