[PATCH, Fortran] fix EQUIVALENCE in MODULE issues

[PATCH, Fortran] fix EQUIVALENCE in MODULE issues

[Steve Kargl]

[-- Attachment #1: Type: text/plain, Size: 1390 bytes --]

The attach patch fixes two issues with EQUIVALENCE statements
in modules.

The first issue was fixed by Russell Whitesides where an
EQUIVALENCE statement that is USEs associated into multiple
modules will appear multiple times in a new module if the
previous modules are USEd by the new module.  Russell's
patch checks for duplicates and tosses extra instances.
His original patch is found here:

https://gcc.gnu.org/ml/fortran/2015-05/msg00073.html

A testcase is available in PR fortran/60780.  That testcase
may be unsuitable for the testsuite.

The second issue involves nearly 9 year code (r113465), which
tries to eliminate unused equivalence-objects from an
equivalence-set if the user USEs an ONLY clause (see PR
fortran/66377).  According to Dominique this issue goes back
to at least 4.3.1. 

I have built trunk and regression tested the attached patch.
There are no regression caused by the patch.  OK to commit?

PS: pault, the old code was written by you.


2015-06-03  Russell Whitesides  <russelldub@gmail.com>
	    Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/40958
	PR fortran/60780
	PR fortran/66377
	* module.c (load_equiv): Add check for loading duplicate EQUIVALENCEs
	from different modules.  Eliminate the pruning of unused
	equivalence-objects


2015-06-03  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/66377
	gfortran.dg/equiv_9.f90: New test.

-- 
Steve

[-- Attachment #2: equiv.diff --]
[-- Type: text/x-diff, Size: 2023 bytes --]

Index: fortran/module.c
===================================================================
--- fortran/module.c	(revision 224098)
+++ fortran/module.c	(working copy)
@@ -4479,8 +4479,8 @@ load_commons (void)
 static void
 load_equiv (void)
 {
-  gfc_equiv *head, *tail, *end, *eq;
-  bool unused;
+  gfc_equiv *head, *tail, *end, *equiv;
+  bool unused, duplicate;
 
   mio_lparen ();
   in_load_equiv = true;
@@ -4507,23 +4507,19 @@ load_equiv (void)
 	mio_expr (&tail->expr);
       }
 
-    /* Unused equivalence members have a unique name.  In addition, it
-       must be checked that the symbols are from the same module.  */
-    unused = true;
-    for (eq = head; eq; eq = eq->eq)
+    /* Check for duplicate equivalences being loaded from different modules */
+    duplicate = false;
+    for (equiv = gfc_current_ns->equiv; equiv; equiv = equiv->next)
       {
-	if (eq->expr->symtree->n.sym->module
-	      && head->expr->symtree->n.sym->module
-	      && strcmp (head->expr->symtree->n.sym->module,
-			 eq->expr->symtree->n.sym->module) == 0
-	      && !check_unique_name (eq->expr->symtree->name))
+        if (equiv->module && head->module
+	      && strcmp (equiv->module, head->module) == 0)
 	  {
-	    unused = false;
+	    duplicate = true;
 	    break;
 	  }
       }
 
-    if (unused)
+    if (duplicate)
       {
 	for (eq = head; eq; eq = head)
 	  {
Index: testsuite/gfortran.dg/equiv_9.f90
===================================================================
--- testsuite/gfortran.dg/equiv_9.f90	(revision 0)
+++ testsuite/gfortran.dg/equiv_9.f90	(working copy)
@@ -0,0 +1,22 @@
+! { dg-do run }
+! PR fortran/66377
+!
+module constant
+  integer x1, x2, x3
+  integer x(3)
+  equivalence (x(1),x1), (x2,x(2)), (x3,x(3))
+end module
+
+program test
+  use constant
+  implicit none 
+  x = (/1, 2, 3/)
+  call another()
+end program
+
+subroutine another()
+   use constant, only : x2
+   implicit none
+   if (x2 /= 2) call abort
+end subroutine
+! { dg-final { cleanup-modules "constant" } }

Re: [PATCH, Fortran] fix EQUIVALENCE in MODULE issues

[FX]

> 2015-06-03  Russell Whitesides  <russelldub@gmail.com>
>        Steven G. Kargl  <kargl@gcc.gnu.org>
> 
>    PR fortran/40958
>    PR fortran/60780
>    PR fortran/66377
>    * module.c (load_equiv): Add check for loading duplicate EQUIVALENCEs
>    from different modules.  Eliminate the pruning of unused
>    equivalence-objects
> 
> 
> 2015-06-03  Steven G. Kargl  <kargl@gcc.gnu.org>
> 
>    PR fortran/66377
>    gfortran.dg/equiv_9.f90: New test.


OK. I agree the other test case is not suitable for the testsuite.

FX

Re: [PATCH, Fortran] fix EQUIVALENCE in MODULE issues

[Paul Richard Thomas]

Hi Steve,

The patch did last from gcc-4.2, apparently without anybody detecting
a problem :-)

Anyway, the patch looks good to me too.  Thanks for getting to it so fast, FX.

Cheers

Paul

On 4 June 2015 at 10:24, FX <fxcoudert@gmail.com> wrote:
>
>> 2015-06-03  Russell Whitesides  <russelldub@gmail.com>
>>        Steven G. Kargl  <kargl@gcc.gnu.org>
>>
>>    PR fortran/40958
>>    PR fortran/60780
>>    PR fortran/66377
>>    * module.c (load_equiv): Add check for loading duplicate EQUIVALENCEs
>>    from different modules.  Eliminate the pruning of unused
>>    equivalence-objects
>>
>>
>> 2015-06-03  Steven G. Kargl  <kargl@gcc.gnu.org>
>>
>>    PR fortran/66377
>>    gfortran.dg/equiv_9.f90: New test.
>
>
> OK. I agree the other test case is not suitable for the testsuite.
>
> FX



-- 
Outside of a dog, a book is a man's best friend. Inside of a dog it's
too dark to read.

Groucho Marx