From 5f4dd0d0e39b32015ae64d665ad17c78c1a0ca84 Mon Sep 17 00:00:00 2001 From: rguenth Date: Fri, 24 May 2013 12:44:58 +0000 Subject: [PATCH] 2013-05-24 Richard Biener PR tree-optimization/57287 * tree-ssa-uninit.c (compute_uninit_opnds_pos): Disregard all SSA names that occur in abnormal PHIs. * gcc.dg/pr57287.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199289 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr57287.c | 24 ++++++++++++++++++++++++ gcc/tree-ssa-uninit.c | 13 ++++--------- 4 files changed, 39 insertions(+), 9 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr57287.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 01f77cbfa87..dd36f0b33df 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2013-05-24 Richard Biener + + PR tree-optimization/57287 + * tree-ssa-uninit.c (compute_uninit_opnds_pos): Disregard + all SSA names that occur in abnormal PHIs. + 2013-05-24 Alexander Ivchenko PR tree-ssa/57385 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bb3b4997ae4..cd0842df50c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-05-24 Richard Biener + + PR tree-optimization/57287 + * gcc.dg/pr57287.c: New testcase. + 2013-05-24 Paolo Carlini PR c++/26572 diff --git a/gcc/testsuite/gcc.dg/pr57287.c b/gcc/testsuite/gcc.dg/pr57287.c new file mode 100644 index 00000000000..72225b11931 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr57287.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -Wall" } */ + +#include + +jmp_buf buf; + +void foo (int); +void bar (int) __attribute__((leaf)); + +void enumerate_locals (int indent) +{ + foo (0); + while (indent--) + { + int local_indent = 8 + (8 * indent); + if (local_indent != 8) + { + setjmp (buf); + bar (local_indent); /* { dg-bogus "may be used uninitialized" "" } */ + } + } + foo (1); +} diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c index aa01c51658f..9a726f115a9 100644 --- a/gcc/tree-ssa-uninit.c +++ b/gcc/tree-ssa-uninit.c @@ -165,17 +165,12 @@ compute_uninit_opnds_pos (gimple phi) && uninit_undefined_value_p (op) && !can_skip_redundant_opnd (op, phi)) { - /* 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; - } + /* Ignore SSA_NAMEs that appear on abnormal edges + somewhere. */ + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op)) + continue; } MASK_SET_BIT (uninit_opnds, i); } -- 2.11.4.GIT