re PR middle-end/81897 (spurious -Wmaybe-uninitialized warning)
authorAldy Hernandez <aldyh@redhat.com>
Sun, 7 Jan 2018 05:31:51 +0000 (05:31 +0000)
committerJeff Law <law@gcc.gnu.org>
Sun, 7 Jan 2018 05:31:51 +0000 (22:31 -0700)
commit11ef0b22d68cd13e2c0f00ff5331b6ae875f3533
tree8a640e451ad0b2d4f93d8c311ab7310b9933986c
parentf59d40267ba8eb4e938c02d1a8a0c890cbf1f359
re PR middle-end/81897 (spurious -Wmaybe-uninitialized warning)

PR middle-end/81897
* tree-ssa-uninit.c (compute_control_dep_chain): Do not bail on
basic blocks with a small number of successors.
(convert_control_dep_chain_into_preds): Improve handling of
forwarder blocks.
(dump_predicates): Split apart into...
(dump_pred_chain): ...here...
(dump_pred_info): ...and here.
(can_one_predicate_be_invalidated_p): Add debugging printfs.
(can_chain_union_be_invalidated_p): Improve check for invalidation
of paths.
(uninit_uses_cannot_happen): Avoid unnecessary if
convert_control_dep_chain_into_preds yielded nothing.

PR middle-end/81897
* gcc.dg/uninit-pr81897.c: New test.

From-SVN: r256320
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/uninit-pr81897.c [new file with mode: 0644]
gcc/tree-ssa-uninit.c