deprecate internal predicate that was never used

This commit is contained in:
erik-krogh
2022-09-20 12:39:41 +02:00
parent bec381a1dc
commit 8eefa4c1b0

View File

@@ -218,12 +218,12 @@ predicate guardControls_v1(Guard guard, BasicBlock controlled, boolean branch) {
}
/**
* INTERNAL: Use `Guards.controls` instead.
* DEPRECATED: Use `Guards.controls` instead.
*
* Holds if `guard.controls(controlled, branch)`, except this doesn't rely on
* RangeAnalysis.
*/
predicate guardControls_v2(Guard guard, BasicBlock controlled, boolean branch) {
deprecated predicate guardControls_v2(Guard guard, BasicBlock controlled, boolean branch) {
guard.directlyControls(controlled, branch)
or
exists(Guard g, boolean b |