-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
As detailed in the PR, improvements to jump threading caused the
relatively simple guard predicates in this testcase to become
significantly more complex. The predicate complexity is enough to
confuse the predicate-aware pruning of bogus uninitialized variable
warnings.
Note the actual runtime flow control was improved by jump threading,
which was doing exactly what it should.
Based on David's comments, it's unlikely the predicate-aware code in
tree-ssa-uninit.c is going to be able to handle the more complex guards.
So I'm turning off DOM (jump threading) for this testcase.
OK for trunk?
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJOFz2VAAoJEBRtltQi2kC7qMQH/2GMEXQrFZzWZev2Rd7CH20F
x7SsUDtkPW5K5pd1uLJOTsGh7fwr8l173n27GQVR5DN5OCLmoxWDrpsUeaMRd4bg
LcZun7h+NGSrqxna/LExs9PBNR1P9blh1X6/LCqmWuo8hIqJ5HDUDK6674iD4C8p
I71W25FYPgAno9Okm0UiBKOaZjRJdtfiZqMSgM9HreagYbHQcMYlcWsyc9irXM9b
oxkaFzM+Aq5ZxpulpD0NCJ4aGMe6u2+FymrsjbbrPfnB2y7MY1DklxA0L7NO893d
dxZ5N3Fi1adDsUP7Oh/0PNGQkB6HjDlAR6gV0oyUAamswn/Owo6lAYvQdNTMUAk=
=VYjS
-----END PGP SIGNATURE-----
* gcc.dg/unint-pred-8_b.c: Disable dominator optimizations.
Index: gcc.dg/uninit-pred-8_b.c
===================================================================
*** gcc.dg/uninit-pred-8_b.c (revision 176000)
--- gcc.dg/uninit-pred-8_b.c (working copy)
***************
*** 1,6 ****
/* { dg-do compile } */
! /* { dg-options "-Wuninitialized -O2" } */
int g;
void bar();
--- 1,6 ----
/* { dg-do compile } */
! /* { dg-options "-Wuninitialized -fno-tree-dominator-opts -O2" } */
int g;
void bar();
