re PR fortran/30273 ([4.1 only] gfc_todo: Not Implemented: Unable to determine rank of expression)

2006-12-21  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/30273
	* dependency.c (gfc_check_dependency): There is no dependency
	with EXPR_NULL so always return 0.

2006-12-21  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/30273
	* gfortran.dg/dependency_19.f90: New test.

From-SVN: r120117

gcc/fortran/ChangeLog

 2006-12-21  Paul Thomas  <pault@gcc.gnu.org>
 
+	PR fortran/30273
+	* dependency.c (gfc_check_dependency): There is no dependency
+	with EXPR_NULL so always return 0.
+
+2006-12-21  Paul Thomas  <pault@gcc.gnu.org>
+
 	PR fortran/30202
 	* trans-array.c (gfc_conv_function_call): Use parmse.expr for
 	the nullifying of intent(out) arguments rather than the backend

gcc/fortran/dependency.c

@@ -694,6 +694,7 @@ gfc_check_dependency (gfc_expr * expr1, gfc_expr * expr2, bool identical)
       return 0;
 
     case EXPR_CONSTANT:
+    case EXPR_NULL:
       return 0;
 
     case EXPR_ARRAY:

gcc/testsuite/ChangeLog

 2006-12-21  Paul Thomas  <pault@gcc.gnu.org>
 
+	PR fortran/30273
+	* gfortran.dg/dependency_19.f90: New test.
+
+2006-12-21  Paul Thomas  <pault@gcc.gnu.org>
+
 	PR fortran/30202
 	* gfortran.dg/alloc_comp_basics_3.f90: New test.
 

gcc/testsuite/gfortran.dg/dependency_19.f90

+! { dg-do compile }
+! Tests the fix for PR30273, in which the pointer assignment was
+! wrongly determined to have dependence because NULL() was not
+! recognised by the analysis.
+!
+! Contributed by Harald Anlauf <anlauf@gmx.de>
+!
+module gfcbug49
+  implicit none
+
+  type spot_t
+     integer, pointer     :: vm(:,:,:)
+  end type spot_t
+
+  type rc_t
+    integer               :: n
+    type(spot_t), pointer :: spots(:) => NULL()
+  end type rc_t  
+
+contains
+
+  subroutine construct (rc, n)
+    type(rc_t), intent(out) :: rc
+    integer   , intent(in)  :: n
+    integer :: k
+    rc% n = n
+    allocate (rc% spots (n))
+    forall (k=1:n)
+       rc% spots (k)% vm => NULL() ! gfortran didn't swallow this
+    end forall
+  end subroutine construct
+
+end module gfcbug49
+! { dg-final { cleanup-modules "gfcbug49" } }