[Fortran] Fix elemental diagnostic for polymorphic dummies

Submitted by Tobias Burnus on Jan. 26, 2012, 11:52 p.m.

Details

Message ID 4F21E732.6070109@net-b.de
State New
Headers show

Commit Message

Tobias Burnus Jan. 26, 2012, 11:52 p.m.
Dominique found out that there is no diagnostic for polymorphic arrays. 
This patch adds it.

 From the F2008 standard:

"C1289 All dummy arguments of an elemental procedure shall be scalar 
noncoarray dummy data objects and shall not have the POINTER or 
ALLOCATABLE attribute."

"An elemental subroutine has only scalar dummy arguments, but may have 
array actual arguments. In a reference to an elemental subroutine, 
either all actual arguments shall be scalar, or all actual arguments 
corresponding to INTENT (OUT) and INTENT (INOUT) dummy arguments shall 
be arrays of the same shape and the remaining actual arguments shall be 
conformable with them."


Build and currently regtesting on x86-64-linux.
OK for the trunk?

Tobias

Comments

Paul Richard Thomas Jan. 27, 2012, 12:24 p.m.
This is 'obvious'  - OK for trunk.

Thanks

Paul

On Fri, Jan 27, 2012 at 12:52 AM, Tobias Burnus <burnus@net-b.de> wrote:
> Dominique found out that there is no diagnostic for polymorphic arrays. This
> patch adds it.
>
> From the F2008 standard:
>
> "C1289 All dummy arguments of an elemental procedure shall be scalar
> noncoarray dummy data objects and shall not have the POINTER or ALLOCATABLE
> attribute."
>
> "An elemental subroutine has only scalar dummy arguments, but may have array
> actual arguments. In a reference to an elemental subroutine, either all
> actual arguments shall be scalar, or all actual arguments corresponding to
> INTENT (OUT) and INTENT (INOUT) dummy arguments shall be arrays of the same
> shape and the remaining actual arguments shall be conformable with them."
>
>
> Build and currently regtesting on x86-64-linux.
> OK for the trunk?
>
> Tobias

Patch hide | download patch | download mbox

2012-01-27  Tobias Burnus  <burnus@net-b.de>

	* resolve.c (resolve_formal_arglist): Fix elemental
	constraint checks for polymorphic dummies.

2012-01-27  Tobias Burnus  <burnus@net-b.de>

	* gfortran.dg/elemental_args_check_5.f90: New.


Index: gcc/fortran/resolve.c
===================================================================
--- gcc/fortran/resolve.c	(Revision 183575)
+++ gcc/fortran/resolve.c	(Arbeitskopie)
@@ -374,21 +374,26 @@  resolve_formal_arglist (gfc_symbol *proc)
       if (gfc_elemental (proc))
 	{
 	  /* F08:C1289.  */
-	  if (sym->attr.codimension)
+	  if (sym->attr.codimension
+	      || (sym->ts.type == BT_CLASS && CLASS_DATA (sym)
+		  && CLASS_DATA (sym)->attr.codimension))
 	    {
 	      gfc_error ("Coarray dummy argument '%s' at %L to elemental "
 			 "procedure", sym->name, &sym->declared_at);
 	      continue;
 	    }
 
-	  if (sym->as != NULL)
+	  if (sym->as || (sym->ts.type == BT_CLASS && CLASS_DATA (sym)
+			  && CLASS_DATA (sym)->as))
 	    {
 	      gfc_error ("Argument '%s' of elemental procedure at %L must "
 			 "be scalar", sym->name, &sym->declared_at);
 	      continue;
 	    }
 
-	  if (sym->attr.allocatable)
+	  if (sym->attr.allocatable
+	      || (sym->ts.type == BT_CLASS && CLASS_DATA (sym)
+		  && CLASS_DATA (sym)->attr.allocatable))
 	    {
 	      gfc_error ("Argument '%s' of elemental procedure at %L cannot "
 			 "have the ALLOCATABLE attribute", sym->name,
Index: gcc/testsuite/gfortran.dg/elemental_args_check_5.f90
===================================================================
--- gcc/testsuite/gfortran.dg/elemental_args_check_5.f90	(Revision 0)
+++ gcc/testsuite/gfortran.dg/elemental_args_check_5.f90	(Arbeitskopie)
@@ -0,0 +1,30 @@ 
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+!
+!
+  type t
+  end type t
+  type t2
+  end type t2
+contains
+elemental subroutine foo0(v) ! OK
+  class(t), intent(in) :: v
+end subroutine
+
+elemental subroutine foo1(w) ! { dg-error "Argument 'w' of elemental procedure at .1. cannot have the ALLOCATABLE attribute" }
+  class(t), allocatable, intent(in) :: w
+end subroutine
+
+elemental subroutine foo2(x) ! { dg-error "Argument 'x' of elemental procedure at .1. cannot have the POINTER attribute" }
+  class(t), pointer, intent(in) :: x
+end subroutine
+
+elemental subroutine foo3(y) ! { dg-error "Coarray dummy argument 'y' at .1. to elemental procedure" }
+  class(t2), intent(in) :: y[*]
+end subroutine
+
+elemental subroutine foo4(z) ! { dg-error "Argument 'z' of elemental procedure at .1. must be scalar" }
+  class(t), intent(in) :: z(:)
+end subroutine
+
+end