r256320 - in /trunk/gcc: ChangeLog testsuite/Ch...

[law@gcc.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