re PR fortran/39946 (PROCEDURE statements: interface with RESULT variable)

2009-04-28  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/39946
	* resolve.c (resolve_symbol): Correctly copy the interface of a
	PROCEDURE statement if the interface involves a RESULT variable.


2009-04-28  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/39946
	* gfortran.dg/proc_ptr_16.f90: New.

From-SVN: r146905

gcc/fortran/ChangeLog

 2009-04-28  Janus Weil  <janus@gcc.gnu.org>
 
+	PR fortran/39946
+	* resolve.c (resolve_symbol): Correctly copy the interface of a
+	PROCEDURE statement if the interface involves a RESULT variable.
+
+2009-04-28  Janus Weil  <janus@gcc.gnu.org>
+
 	PR fortran/39930
 	PR fortran/39931
 	* expr.c (gfc_check_pointer_assign): Correctly detect if the left hand

gcc/fortran/resolve.c

@@ -9244,6 +9244,9 @@ resolve_symbol (gfc_symbol *sym)
 	  if (ifc->attr.intrinsic)
 	    resolve_intrinsic (ifc, &ifc->declared_at);
 
+	  if (ifc->result)
+	    sym->ts = ifc->result->ts;
+	  else   
 	    sym->ts = ifc->ts;
 	  sym->ts.interface = ifc;
 	  sym->attr.function = ifc->attr.function;

gcc/testsuite/ChangeLog

+2009-04-28  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/39946
+	* gfortran.dg/proc_ptr_16.f90: New.
+
 2009-04-28  Steve Ellcey  <sje@cup.hp.com>
 
 	* testsuite/gcc.target/ia64/sync-1.c: Check for cmpxchg8 only if

gcc/testsuite/gfortran.dg/proc_ptr_16.f90

+! { dg-do compile }
+!
+! PR 39946: PROCEDURE statements: interface with RESULT variable
+!
+! Original test case by Juergen Reuter <reuter@physik.uni-freiburg.de>
+! Modified by Janus Weil <janus@gcc.gnu.org>
+
+  procedure(prc_is_allowed), pointer :: fptr
+
+  interface
+     function prc_is_allowed (flv, hel, col) result (is_allowed)
+       logical :: is_allowed
+       integer, intent(in) :: flv, hel, col
+     end function prc_is_allowed
+  end interface
+
+  fptr => prc_is_allowed
+
+end
+