diff options
| author | Richard Biener <rguenther@suse.de> | 2013-08-29 11:20:16 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-08-29 11:20:16 +0000 |
| commit | 1b27500048b97fbdf53c5407e2dbc8f91c439481 (patch) | |
| tree | 2b171d0dc3143399511b4fee994d22982c91662c /gcc/testsuite | |
| parent | 6b1184bab6d4f38dbab3a970634510bf9fc675b2 (diff) | |
| download | gcc-1b27500048b97fbdf53c5407e2dbc8f91c439481.zip gcc-1b27500048b97fbdf53c5407e2dbc8f91c439481.tar.gz gcc-1b27500048b97fbdf53c5407e2dbc8f91c439481.tar.bz2 | |
re PR middle-end/57287 (Bogus uninitialized warning with abnormal control flow)
2013-08-29 Richard Biener <rguenther@suse.de>
PR middle-end/57287
* tree-ssa-copy.c (may_propagate_copy): Allow propagating
of default defs that appear in abnormal PHI nodes.
* gcc.dg/pr57287-2.c: New testcase.
From-SVN: r202069
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr57287-2.c | 35 |
2 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9b9ff42..d95d535 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2013-08-29 Richard Biener <rguenther@suse.de> + PR middle-end/57287 + * gcc.dg/pr57287-2.c: New testcase. + +2013-08-29 Richard Biener <rguenther@suse.de> + PR tree-optimization/57685 * gcc.dg/torture/pr57685.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/pr57287-2.c b/gcc/testsuite/gcc.dg/pr57287-2.c new file mode 100644 index 0000000..5422e14 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr57287-2.c @@ -0,0 +1,35 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -Wall" } */ + +#include <setjmp.h> + +struct node +{ + struct node *next; + char *name; +} *list; + +struct node *list; +struct node *head (void); + +sigjmp_buf *bar (void); + +int baz (void) +{ + struct node *n; + int varseen = 0; + + list = head (); + for (n = list; n; n = n->next) + { + if (!varseen) + varseen = 1; + + sigjmp_buf *buf = bar (); /* { dg-bogus "may be used uninitialized" "" } */ + __sigsetjmp (*buf, 1); + } + + if (!varseen) + return 0; + return 1; +} |