diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-04-26 15:14:55 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-04-26 15:14:55 +0200 |
| commit | e7d764f367fdd7b0e9c96ae8c5d8503dbc90c05e (patch) | |
| tree | 166638c2234eb83d2a4b427d3c801fe8c44a5067 | |
| parent | 41e106896a657b1a5276559f243c9cfe39c67f83 (diff) | |
| download | gcc-e7d764f367fdd7b0e9c96ae8c5d8503dbc90c05e.zip gcc-e7d764f367fdd7b0e9c96ae8c5d8503dbc90c05e.tar.gz gcc-e7d764f367fdd7b0e9c96ae8c5d8503dbc90c05e.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/setjmp-5.c | 22 | ||||
| -rw-r--r-- | gcc/tree-ssa-uninit.c | 16 |
4 files changed, 50 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index bd5c8f1..47d1bcc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,13 @@ 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 * fold-const.c (const_binop): Handle VEC_LSHIFT_EXPR and VEC_RSHIFT_EXPR if shift count is a multiple of element diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1081ef9..bbea9fa 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 0000000..c6e5f93 --- /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 e8f3ff7..2cb22b7 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; } |