From: Paul Thomas <pault@gcc.gnu.org>
Date: Fri, 25 May 2007 06:34:10 +0000 (+0000)
Subject: re PR fortran/32047 (ICE (segfault) for pure function without argument)
X-Git-Tag: releases/gcc-4.3.0~4918
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=36032710357e5af5f3743c46c29c457e2b04ed05;p=thirdparty%2Fgcc.git

re PR fortran/32047 (ICE (segfault) for pure function without argument)

2007-05-25  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/32047
	* trans-expr.c (gfc_apply_interface_mapping_to_expr): Change
	order in logic under EXPR_FUNCTION to handle functions with
	no arguments.

2007-05-25  Paul Thomas  <pault@gcc.gnu.org>

	PR fortran/32047
	* gfortran.dg/result_in_spec_2.f90: New test.

From-SVN: r125057
---

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f0275efa9940..7ceb0ee1d81d 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2007-05-25  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/32047
+	* trans-expr.c (gfc_apply_interface_mapping_to_expr): Change
+	order in logic under EXPR_FUNCTION to handle functions with
+	no arguments.
+
 2007-05-23  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
 	PR fortran/31716
diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c
index 527a44b9f3c5..e621a6a2699c 100644
--- a/gcc/fortran/trans-expr.c
+++ b/gcc/fortran/trans-expr.c
@@ -1653,12 +1653,12 @@ gfc_apply_interface_mapping_to_expr (gfc_interface_mapping * mapping,
       break;
 
     case EXPR_FUNCTION:
-      if (expr->value.function.actual->expr->expr_type == EXPR_VARIABLE
-	    && gfc_apply_interface_mapping_to_expr (mapping,
-			expr->value.function.actual->expr)
-	    && expr->value.function.esym == NULL
+      if (expr->value.function.esym == NULL
 	    && expr->value.function.isym != NULL
-	    && expr->value.function.isym->generic_id == GFC_ISYM_LEN)
+	    && expr->value.function.isym->generic_id == GFC_ISYM_LEN
+	    && expr->value.function.actual->expr->expr_type == EXPR_VARIABLE
+	    && gfc_apply_interface_mapping_to_expr (mapping,
+			expr->value.function.actual->expr))
 	{
 	  gfc_expr *new_expr;
 	  new_expr = gfc_copy_expr (expr->value.function.actual->expr->ts.cl->length);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3997e2dd1371..47f40dff2bff 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-05-25  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/32047
+	* gfortran.dg/result_in_spec_2.f90: New test.
+
 2007-05-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
 	* gcc.dg/torture/builtin-math-4.c: Fix dg-xfail-if.
diff --git a/gcc/testsuite/gfortran.dg/result_in_spec_2.f90 b/gcc/testsuite/gfortran.dg/result_in_spec_2.f90
new file mode 100644
index 000000000000..cffa2300c20d
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/result_in_spec_2.f90
@@ -0,0 +1,31 @@
+! { dg-do run }
+! Tests the fix for PR32047, in which the null agument
+! function for the character length would cause an ICE.
+!
+! Contributed by Tobias Burnus <burnus@gcc.gnu.org >
+!
+module test1
+  implicit none
+contains
+  character(f()) function test2() result(r)
+    interface
+      pure function f()
+        integer f
+      end function f
+    end interface
+    r = '123'
+  end function test2
+end module test1
+
+pure function f()
+  integer :: f
+  f = 3
+end function f
+
+program test
+  use test1
+  implicit none
+  if(len (test2()) /= 3) call abort ()
+  if(test2() /= '123') call abort ()
+end program test
+! { dg-final { cleanup-modules "test1" } }