re PR fortran/47377 (internal compiler error: in fold_convert_loc, at fold-const...

2011-01-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/47377
        * expr.c (gfc_check_pointer_assign): Reject expr data-targets
        without pointer attribute.

2011-01-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/47377
        * gfortran.dg/pointer_target_4.f90: New.

From-SVN: r169079

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 8bf90a95b045b244b79b00df6ab1912b69347a6b..7ea96036e7fc7d6cac7b99192c6b0f8cc49242e1 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2011-01-21  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/47377
+       * expr.c (gfc_check_pointer_assign): Reject expr data-targets
+       without pointer attribute.
+
 2011-01-18  Janus Weil  <janus@gcc.gnu.org>
 
        PR fortran/47240

diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index 3f1141a0e0b618e4758ef8906232b2249b98038a..bcc23fc325a1e14caefdc906b5bd9e66ea22cbe8 100644 (file)
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -3507,6 +3507,15 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue)
     lvalue->symtree->n.sym->attr.subref_array_pointer = 1;
 
   attr = gfc_expr_attr (rvalue);
+
+  if (rvalue->expr_type == EXPR_FUNCTION && !attr.pointer)
+    {
+      gfc_error ("Target expression in pointer assignment "
+                "at %L must deliver a pointer result",
+                &rvalue->where);
+      return FAILURE;
+    }
+
   if (!attr.target && !attr.pointer)
     {
       gfc_error ("Pointer assignment target is neither TARGET "

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 45f8ef1b37264e346b1741c7b1c4c9a843cba6e9..cc4efe70f9e468295a46935f2cf0ab685f547498 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-01-21  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/47377
+       * gfortran.dg/pointer_target_4.f90: New.
+
 2011-01-20  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        PR target/47251

diff --git a/gcc/testsuite/gfortran.dg/pointer_target_4.f90 b/gcc/testsuite/gfortran.dg/pointer_target_4.f90
new file mode 100644 (file)
index 0000000..cda3453
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pointer_target_4.f90
@@ -0,0 +1,15 @@
+! { dg-do compile }
+!
+! PR fortran/47377
+!
+! Contributed by <thenlich@users.sourceforge.net>
+!
+program testgferr
+    real, pointer :: y
+    y => f()  ! { dg-error "must deliver a pointer result" }
+contains
+    function f()
+      real :: f
+      f = 5
+    end function f
+end program testgferr