Restore can_be_invalidated_p semantics to before refactoring
authorRichard Biener <rguenther@suse.de>
Fri, 26 Nov 2021 07:50:24 +0000 (08:50 +0100)
committerRichard Biener <rguenther@suse.de>
Mon, 29 Nov 2021 08:20:09 +0000 (09:20 +0100)
commit5e5f880d0452ef2cffb94f4a686d56833c9f4215
treee854699843d73ae990e574fef77f2ad33d459d70
parent3e15df63ca4ca793b2418640b715b8195d2a5474
Restore can_be_invalidated_p semantics to before refactoring

This restores the semantics of can_be_invalidated_p to the original
semantics of the function this was split out from tree-ssa-uninit.c.
The current semantics only ever look at the first predicate which
cannot be correct.

2021-11-26  Richard Biener  <rguenther@suse.de>

* gimple-predicate-analysis.cc (can_be_invalidated_p):
Restore semantics to the one before the split from
tree-ssa-uninit.c.
gcc/gimple-predicate-analysis.cc