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 /libcpp | |
| 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 'libcpp')
0 files changed, 0 insertions, 0 deletions