OSDN Git Service

fortran/
authorburnus <burnus@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 Dec 2006 11:16:12 +0000 (11:16 +0000)
committerburnus <burnus@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 Dec 2006 11:16:12 +0000 (11:16 +0000)
2006-12-04  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/29916
    * resolve.c (resolve_symbol): Allow host-associated variables
      in the specification expression of an array-valued function.
    * expr.c (check_restricted): Accept host-associated dummy
      array indices.

testsuite/
2006-12-04  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/29916
    * gfortran.dg/host_dummy_index_1.f90: Added additional test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@119489 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/fortran/ChangeLog
gcc/fortran/expr.c
gcc/fortran/resolve.c
gcc/testsuite/ChangeLog
gcc/testsuite/gfortran.dg/host_dummy_index_1.f90

index d17b047..5dad677 100644 (file)
@@ -1,3 +1,11 @@
+2006-12-04  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/29916
+       * resolve.c (resolve_symbol): Allow host-associated variables
+         the specification expression of an array-valued function.
+       * expr.c (check_restricted): Accept host-associated dummy
+         array indices.
+
 2006-12-03  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/29642
index 304d7c1..16e89f8 100644 (file)
@@ -2047,14 +2047,15 @@ check_restricted (gfc_expr * e)
 
       /* gfc_is_formal_arg broadcasts that a formal argument list is being processed
         in resolve.c(resolve_formal_arglist).  This is done so that host associated
-        dummy array indices are accepted (PR23446).  */
+        dummy array indices are accepted (PR23446). This mechanism also does the
+        same for the specification expressions of array-valued functions.  */
       if (sym->attr.in_common
          || sym->attr.use_assoc
          || sym->attr.dummy
          || sym->ns != gfc_current_ns
          || (sym->ns->proc_name != NULL
              && sym->ns->proc_name->attr.flavor == FL_MODULE)
-         || gfc_is_formal_arg ())
+         || (gfc_is_formal_arg () && (sym->ns == gfc_current_ns)))
        {
          t = SUCCESS;
          break;
index d682b22..75a6ca3 100644 (file)
@@ -6043,8 +6043,17 @@ resolve_symbol (gfc_symbol * sym)
      on COMMON blocks.  */
 
   check_constant = sym->attr.in_common && !sym->attr.pointer;
+
+  /* Set the formal_arg_flag so that check_conflict will not throw
+     an error for host associated variables in the specification
+     expression for an array_valued function.  */
+  if (sym->attr.function && sym->as)
+    formal_arg_flag = 1;
+
   gfc_resolve_array_spec (sym->as, check_constant);
 
+  formal_arg_flag = 0;
+
   /* Resolve formal namespaces.  */
 
   if (formal_ns_flag && sym != NULL && sym->formal_ns != NULL)
index fadccd7..219c66b 100644 (file)
@@ -1,3 +1,8 @@
+2006-12-04  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/29916
+       * gfortran.dg/host_dummy_index_1.f90: Added additional test.
+
 2006-12-04  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/29965
index cc045ff..62080f9 100644 (file)
@@ -1,8 +1,10 @@
 ! { dg-do run }
 ! Tests the fix for PR23446. Based on PR example.
-!
 ! Contributed by Paul Thomas  <pault@gcc.gnu.org>
 !
+! Tests furthermore the fix for PR fortran/29916.
+! Test contributed by Marco Restelli <mrestelli@gmail.com>
+!
 PROGRAM TST
   INTEGER IMAX
   INTEGER :: A(4) = 1
@@ -12,6 +14,7 @@ PROGRAM TST
   CALL T(A)
   CALL U(A)
   if ( ALL(A.ne.(/2,2,3,4/))) CALL ABORT ()
+  if ( ALL(F().ne.(/2.0,2.0/))) CALL ABORT()
 
 CONTAINS
   SUBROUTINE S(A)
@@ -26,4 +29,8 @@ CONTAINS
     INTEGER A(2,IMAX)
     A(2,2) = 4
   END SUBROUTINE U
+  FUNCTION F()
+    real :: F(IMAX)
+    F = 2.0
+  END FUNCTION F
 ENDPROGRAM TST