git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR middle-end/57287 (Bogus uninitialized warning with abnormal control flow) 

2013-05-24  Richard Biener  <rguenther@suse.de>

	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.

From-SVN: r199289
This commit is contained in:
Richard Biener 2013-05-24 12:44:58 +00:00 committed by Richard Biener
parent 99b8202a11
commit aea0101d95
4 changed files with 39 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2013-05-24 Richard Biener <rguenther@suse.de>
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 <alexander.ivchenko@intel.com>
PR tree-ssa/57385

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2013-05-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/57287
* gcc.dg/pr57287.c: New testcase.
2013-05-24 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/26572

24
gcc/testsuite/gcc.dg/pr57287.c Normal file
View File

@ -0,0 +1,24 @@
/* { dg-do compile } */
/* { dg-options "-O2 -Wall" } */
#include <setjmp.h>
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);
}

11
gcc/tree-ssa-uninit.c
View File

@ -165,18 +165,13 @@ 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))
/* Ignore SSA_NAMEs that appear on abnormal edges
somewhere. */
if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op))
continue;
}
}
MASK_SET_BIT (uninit_opnds, i);
}
}