From: Tobias Burnus <burnus@net-b.de>
Date: Tue, 27 Nov 2012 22:20:44 +0000 (+0100)
Subject: re PR fortran/55476 (Bogus warning "Pointer might outlive the pointer target")
X-Git-Tag: releases/gcc-4.8.0~1748
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=916bad5528903202476629ae03d4af03779b4f88;p=thirdparty%2Fgcc.git

re PR fortran/55476 (Bogus warning "Pointer might outlive the pointer target")

2012-11-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55476
        * expr.c (gfc_check_pointer_assign): Fix check
        pointer-might-outlive-target check for host_assoc.

2012-11-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/55476
        * gfortran.dg/warn_target_lifetime_3.f90: New.

From-SVN: r193872
---

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 2aa8d60e1f1e..bc8d0d8d445a 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2012-11-27  Tobias Burnus  <burnus@net-b.de>
+
+	PR fortran/55476
+	* expr.c (gfc_check_pointer_assign): Fix check
+	pointer-might-outlive-target check for host_assoc.
+
 2012-11-26  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* trans-decl.c (gfc_finish_var_decl): Do not set DECL_RESTRICTED_P.
diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c
index 211f304164cf..15570afb6ee3 100644
--- a/gcc/fortran/expr.c
+++ b/gcc/fortran/expr.c
@@ -3693,7 +3693,9 @@ 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.host_assoc
+		 && lvalue->symtree->n.sym->ns
+		    != rvalue->symtree->n.sym->ns)
 	     || 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 e065504c0f9b..2d8350b20262 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-11-27  Tobias Burnus  <burnus@net-b.de>
+
+	PR fortran/55476
+	* gfortran.dg/warn_target_lifetime_3.f90: New.
+
 2012-11-27  Vladimir Makarov  <vmakarov@redhat.com>
 
 	PR rtl-optimization/55458
diff --git a/gcc/testsuite/gfortran.dg/warn_target_lifetime_3.f90 b/gcc/testsuite/gfortran.dg/warn_target_lifetime_3.f90
new file mode 100644
index 000000000000..9113a885fa6b
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/warn_target_lifetime_3.f90
@@ -0,0 +1,29 @@
+! { dg-do compile }
+! { dg-options "-Wall" }
+!
+! PR fortran/55476
+!
+! Contribued by  Janus Weil
+!
+subroutine test
+  integer, pointer :: p
+  integer, target :: t
+  p => t
+contains
+  subroutine sub()
+    if (p /= 0) return
+  end subroutine
+end subroutine
+
+module m
+  integer, pointer :: p2
+contains
+  subroutine test
+    integer, target :: t2
+    p2 => t2 ! { dg-warning "Pointer at .1. in pointer assignment might outlive the pointer target" }
+  contains
+    subroutine sub()
+      if (p2 /= 0) return
+    end subroutine
+  end subroutine
+end module m