hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

un-deprecate guardControls_v2

Browse Source
This commit is contained in:
erik-krogh
2022-09-22 13:42:50 +02:00
parent 70eced62b6
commit b61bd56d70
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/controlflow/Guards.qll
View File

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