diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 3f6e3be42ab464f4a5defdb3af8f85cef50d1b08..3d7e009bb92ee5f37452a6062b8b789a71862f9d 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,11 @@
+2012-09-17  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/54285
+	* expr.c (gfc_check_pointer_assign): Correctly handle procedure pointers
+	as function results.
+	* primary.c (gfc_match_varspec): Allow to call a PPC with proc-ptr
+	result.
+
 2012-09-17  Tobias Burnus  <burnus@net-b.de>
 
 	PR fortran/54603
diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index dced05dfb463572cbc51b18d4de002d46baef8aa..4bba438c25e051f323fa2ef1641e11c415604605 100644
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -3513,8 +3513,16 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue)
       comp = gfc_get_proc_ptr_comp (rvalue);
       if (comp)
 	{
-	  s2 = comp->ts.interface;
-	  name = comp->name;
+	  if (rvalue->expr_type == EXPR_FUNCTION)
+	    {
+	      s2 = comp->ts.interface->result;
+	      name = comp->ts.interface->result->name;
+	    }
+	  else
+	    {
+	      s2 = comp->ts.interface;
+	      name = comp->name;
+	    }
 	}
       else if (rvalue->expr_type == EXPR_FUNCTION)
 	{
diff --git a/gcc/fortran/primary.c b/gcc/fortran/primary.c
index cadc20c27b76eda3ba7a81035c2f86aa3e36010b..f362f75426aa85ccab90a5d58de1f009e7447516 100644
--- a/gcc/fortran/primary.c
+++ b/gcc/fortran/primary.c
@@ -2004,8 +2004,7 @@ gfc_match_varspec (gfc_expr *primary, int equiv_flag, bool sub_flag,
 
       primary->ts = component->ts;
 
-      if (component->attr.proc_pointer && ppc_arg
-	  && !gfc_matching_procptr_assignment)
+      if (component->attr.proc_pointer && ppc_arg)
 	{
 	  /* Procedure pointer component call: Look for argument list.  */
 	  m = gfc_match_actual_arglist (sub_flag,
@@ -2014,7 +2013,7 @@ gfc_match_varspec (gfc_expr *primary, int equiv_flag, bool sub_flag,
 	    return MATCH_ERROR;
 
 	  if (m == MATCH_NO && !gfc_matching_ptr_assignment
-	      && !matching_actual_arglist)
+	      && !gfc_matching_procptr_assignment && !matching_actual_arglist)
 	    {
 	      gfc_error ("Procedure pointer component '%s' requires an "
 			 "argument list at %C", component->name);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index eb1f595fe55aa7fdface8b54449766da06af7873..2cbdb5a4b6dac683ec04fbbbdd4e218c73fabbfd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-17  Janus Weil  <janus@gcc.gnu.org>
+
+	PR fortran/54285
+	* gfortran.dg/proc_ptr_result_7.f90: New.
+
 2012-09-17  Tobias Burnus  <burnus@net-b.de>
 
 	PR fortran/54603
diff --git a/gcc/testsuite/gfortran.dg/proc_ptr_result_7.f90 b/gcc/testsuite/gfortran.dg/proc_ptr_result_7.f90
new file mode 100644
index 0000000000000000000000000000000000000000..1d810c6b5fad14c170eaded102bb71740be3853f
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/proc_ptr_result_7.f90
@@ -0,0 +1,27 @@
+! { dg-do run }
+!
+! PR 54285: [F03] Calling a PPC with proc-ptr result
+!
+! Contributed by Janus Weil <janus@gcc.gnu.org>
+
+type :: t
+  procedure(a), pointer, nopass :: p
+end type
+
+type(t) :: x
+procedure(iabs), pointer :: pp
+
+x%p => a
+
+pp => x%p()
+
+if (pp(-3) /= 3) call abort
+
+contains
+
+  function a() result (b)
+    procedure(iabs), pointer :: b
+    b => iabs
+  end function
+
+end