hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Revert unnecessary exists statement

Browse Source
This commit is contained in:
Chris Smowton
2023-11-21 14:51:35 +00:00
parent 47e3d7d8a5
commit ef6ea71e43
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/lib/semmle/code/java/controlflow/internal/GuardsLogic.qll
View File

@@ -55,13 +55,9 @@ predicate implies_v1(Guard g1, boolean b1, Guard g2, boolean b2) {
)
)
or
exists(DefaultCase sc | g1 = sc |
sc.getSwitch().getAConstCase() = g2 and b1 = true and b2 = false
)
g1.(DefaultCase).getSwitch().getAConstCase() = g2 and b1 = true and b2 = false
or
exists(DefaultCase sc | g1 = sc |
sc.getSwitchExpr().getAConstCase() = g2 and b1 = true and b2 = false
)
g1.(DefaultCase).getSwitchExpr().getAConstCase() = g2 and b1 = true and b2 = false
or
exists(MethodCall check, int argIndex | check = g1 |
conditionCheckArgument(check, argIndex, _) and