re PR fortran/54301 (Add optional warning if pointer assigning a local variable to...

2012-08-20  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54301
        * expr.c (gfc_check_pointer_assign): Warn when a pointer,
        which is a function result, might outlive its target.

2012-08-20  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54301
        * gfortran.dg/warn_target_lifetime_2.f90: New.

From-SVN: r190542

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index de255eaf79fac3016de68f1bacf26210c622bd16..4992ecfeccb1f8e5c9940e7d25ee7197e9395a8f 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2012-08-20  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/54301
+       * expr.c (gfc_check_pointer_assign): Warn when a pointer,
+       which is a function result, might outlive its target.
+
 2012-08-20  Tobias Burnus  <burnus@net-b.de>
 
        PR fortran/54301

diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index 6f1283d152e71353566e6d4873b5a4c313cbcec9..bc1f5e33c6a04638e229565046ac7ffeb15a2e8a 100644 (file)
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -3673,6 +3673,7 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue)
 
       warn = lvalue->symtree->n.sym->attr.dummy
             || lvalue->symtree->n.sym->attr.result
+            || lvalue->symtree->n.sym->attr.function
             || lvalue->symtree->n.sym->attr.host_assoc
             || lvalue->symtree->n.sym->attr.use_assoc
             || lvalue->symtree->n.sym->attr.in_common;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 686e041f1d92b5a272bafad5150f3cf956a595ce..0b1bf5a21da006b1e3787c3da8056d94f9a78960 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-08-20  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/54301
+       * gfortran.dg/warn_target_lifetime_2.f90: New.
+
 2012-08-20  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/10416

diff --git a/gcc/testsuite/gfortran.dg/warn_target_lifetime_2.f90 b/gcc/testsuite/gfortran.dg/warn_target_lifetime_2.f90
new file mode 100644 (file)
index 0000000..bfcb7ac
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/warn_target_lifetime_2.f90
@@ -0,0 +1,10 @@
+! { dg-do compile }
+! { dg-options "-Wtarget-lifetime" }
+!
+! PR fortran/54301
+!
+function f()
+  integer, pointer :: f
+  integer, target :: t
+  f => t ! { dg-warning "Pointer at .1. in pointer assignment might outlive the pointer target" }
+end