PR middle-end/81897
commit7700b19487bc63f6ea1c37d7e4c497a6aa6c604a
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 7 Jan 2018 05:31:51 +0000 (7 05:31 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 7 Jan 2018 05:31:51 +0000 (7 05:31 +0000)
tree8a640e451ad0b2d4f93d8c311ab7310b9933986c
parent209394793cce52892ec4d5364e3d63073b2a5d7b
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@256320 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/uninit-pr81897.c [new file with mode: 0644]
gcc/tree-ssa-uninit.c