diff options
| author | Richard Biener <rguenther@suse.de> | 2022-08-26 08:50:07 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-08-26 12:59:05 +0200 |
| commit | 8e08906973cc10748d956388c8ceefa726abc83c (patch) | |
| tree | 2d7964057b6b1f5fee0911bc5d7ad15fdb29a2ac /gcc/gimple-predicate-analysis.h | |
| parent | fc1b5707faf0b607da06e9ec3437245aba69a255 (diff) | |
| download | gcc-8e08906973cc10748d956388c8ceefa726abc83c.zip gcc-8e08906973cc10748d956388c8ceefa726abc83c.tar.gz gcc-8e08906973cc10748d956388c8ceefa726abc83c.tar.bz2 | |
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.
Diffstat (limited to 'gcc/gimple-predicate-analysis.h')
| -rw-r--r-- | gcc/gimple-predicate-analysis.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/gimple-predicate-analysis.h b/gcc/gimple-predicate-analysis.h index b4aa5de..1ca6ab1 100644 --- a/gcc/gimple-predicate-analysis.h +++ b/gcc/gimple-predicate-analysis.h @@ -137,7 +137,6 @@ private: bool prune_phi_opnds (gphi *, unsigned, gphi *, tree, tree_code, hash_set<gphi *> *, bitmap *); bool overlap (gphi *, unsigned, hash_set<gphi *> *, const predicate &); - bool use_cannot_happen (gphi *, unsigned, const predicate &); void collect_phi_def_edges (gphi *, basic_block, vec<edge> *, hash_set<gimple *> *); |