hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Use if statement instead of manual disjuction

Browse Source
This commit is contained in:
Sauyon Lee
2021-08-25 13:49:03 -07:00
parent 73d6177477
commit 1bd5eb5120
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/src/utils/FlowTestCase.qll
View File

@@ -236,11 +236,9 @@ class TestCase extends TTestCase {
or
exists(SummaryComponentStack s | s.tail() = stack |
// we currently only know the type if the stack is one level in
s = input and
result = SupportMethod::genMethodFor(this.getInputType(), s).getCall(this.getInput(s))
or
not s = input and
result = SupportMethod::genMethodForContent(s).getCall(this.getInput(s))
if s = input
then result = SupportMethod::genMethodFor(this.getInputType(), s).getCall(this.getInput(s))
else result = SupportMethod::genMethodForContent(s).getCall(this.getInput(s))
)
}