From ed0ba472c654095656fe1da371ee1a710fce2cf0 Mon Sep 17 00:00:00 2001 From: Tobias Burnus Date: Mon, 20 Aug 2012 21:49:46 +0200 Subject: [PATCH] re PR fortran/54301 (Add optional warning if pointer assigning a local variable to a nonlocal pointer) 2012-08-20 Tobias Burnus 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 PR fortran/54301 * gfortran.dg/warn_target_lifetime_2.f90: New. From-SVN: r190542 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/expr.c | 1 + gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gfortran.dg/warn_target_lifetime_2.f90 | 10 ++++++++++ 4 files changed, 22 insertions(+) create mode 100644 gcc/testsuite/gfortran.dg/warn_target_lifetime_2.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index de255eaf79f..4992ecfeccb 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2012-08-20 Tobias Burnus + + 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 PR fortran/54301 diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c index 6f1283d152e..bc1f5e33c6a 100644 --- 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 686e041f1d9..0b1bf5a21da 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-08-20 Tobias Burnus + + PR fortran/54301 + * gfortran.dg/warn_target_lifetime_2.f90: New. + 2012-08-20 Paolo Carlini 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 index 00000000000..bfcb7aca477 --- /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 -- 2.30.2