https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81897
--- Comment #11 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Sun Jan 7 05:31:51 2018 New Revision: 256320 URL: https://gcc.gnu.org/viewcvs?rev=256320&root=gcc&view=rev Log: 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. Added: trunk/gcc/testsuite/gcc.dg/uninit-pr81897.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-uninit.c
