]> git.ipfire.org Git - people/ms/gcc.git/commit
Remove uninit_analysis::use_cannot_happen
authorRichard Biener <rguenther@suse.de>
Fri, 26 Aug 2022 06:50:07 +0000 (08:50 +0200)
committerRichard Biener <rguenther@suse.de>
Fri, 26 Aug 2022 10:59:05 +0000 (12:59 +0200)
commit8e08906973cc10748d956388c8ceefa726abc83c
tree2d7964057b6b1f5fee0911bc5d7ad15fdb29a2ac
parentfc1b5707faf0b607da06e9ec3437245aba69a255
Remove uninit_analysis::use_cannot_happen

As written earlier uninit_analysis::use_cannot_happen is duplicate
functionality implemented in a complement way, not adhering to
the idea of disproving a may-uninit use and eventually (I have not
yet found a testcase it helps to avoid false positives) avoiding
false positives because of this or different ways it imposes limits
on the predicate computations.

This patch removes it.

* gimple-predicate-analysis.h
(uninit_analysis::use_cannot_happen): Remove.
* gimple-predicate-analysis.cc (can_be_invalidated_p): Remove.
(uninit_analysis::use_cannot_happen): Likewise.
(uninit_analysis::is_use_guarded): Do not call
use_cannot_happen.
(dump_predicates): Remove.
(simple_control_dep_chain): Remove edge overload.
gcc/gimple-predicate-analysis.cc
gcc/gimple-predicate-analysis.h