From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 26 Apr 2013 13:14:55 +0000 (+0200)
Subject: re PR go/57045 (Build failure in libgo/runtime/proc.c: error: ‘({anonymous})’ may... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e7d764f367fdd7b0e9c96ae8c5d8503dbc90c05e;p=gcc.git

re PR go/57045 (Build failure in libgo/runtime/proc.c: error: ‘({anonymous})’ may be used uninitialized in this function)

	PR go/57045
	* tree-ssa-uninit.c (compute_uninit_opnds_pos): In functions
	with nonlocal goto receivers or returns twice calls, ignore
	unininitialized values from abnormal edges to nl goto receiver
	or returns twice call.

	* gcc.dg/setjmp-5.c: New test.

From-SVN: r198340
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bd5c8f1ef0b..47d1bccbe6b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2013-04-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR go/57045
+	* tree-ssa-uninit.c (compute_uninit_opnds_pos): In functions
+	with nonlocal goto receivers or returns twice calls, ignore
+	unininitialized values from abnormal edges to nl goto receiver
+	or returns twice call.
+
 2013-04-26  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/57051
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1081ef99251..bbea9faf936 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR go/57045
+	* gcc.dg/setjmp-5.c: New test.
+
 2013-04-26  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/55708
diff --git a/gcc/testsuite/gcc.dg/setjmp-5.c b/gcc/testsuite/gcc.dg/setjmp-5.c
new file mode 100644
index 00000000000..c6e5f931746
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/setjmp-5.c
@@ -0,0 +1,22 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -Wall" } */
+
+#include <setjmp.h>
+
+void bar (int);
+
+jmp_buf buf;
+int v;
+
+void
+foo (void)
+{
+  int i;
+  bar (0);
+  bar (1);
+  i = 5;
+  int j = setjmp (buf);
+  if (j == 0)
+    bar (2);
+  v = i;	/* { dg-bogus "may be used uninitialized in this function" } */
+}
diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c
index e8f3ff7e730..2cb22b7035e 100644
--- a/gcc/tree-ssa-uninit.c
+++ b/gcc/tree-ssa-uninit.c
@@ -151,7 +151,21 @@ compute_uninit_opnds_pos (gimple phi)
       if (TREE_CODE (op) == SSA_NAME
           && ssa_undefined_value_p (op)
           && !can_skip_redundant_opnd (op, phi))
-        MASK_SET_BIT (uninit_opnds, i);
+	{
+	  /* Ignore SSA_NAMEs on abnormal edges to setjmp
+	     or nonlocal goto receiver.  */
+          if (cfun->has_nonlocal_label || cfun->calls_setjmp)
+	    {
+	      edge e = gimple_phi_arg_edge (phi, i);
+	      if (e->flags & EDGE_ABNORMAL)
+		{
+		  gimple last = last_stmt (e->src);
+		  if (last && stmt_can_make_abnormal_goto (last))
+		    continue;
+		}
+	    }
+	  MASK_SET_BIT (uninit_opnds, i);
+	}
     }
   return uninit_opnds;
 }