hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 22:32:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

(clean-up) Make use of this explicit

Browse Source
This commit is contained in:
Owen Mansel-Chan
2021-02-02 11:04:16 +00:00
parent f279fa17af
commit dd079d4e51
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll
View File

@@ -1187,7 +1187,7 @@ abstract class BarrierGuard extends Node {
(
// Case: a function like "if someBarrierGuard(arg) { return true } else { return false }"
exists(ControlFlow::ConditionGuardNode guard |
guards(guard, arg) and
this.guards(guard, arg) and
guard.dominates(ret.getBasicBlock())
|
exists(boolean b |
@@ -1221,7 +1221,7 @@ abstract class BarrierGuard extends Node {
DataFlow::Property outpProp
|
not exists(DataFlow::Node otherRet | otherRet = outp.getEntryNode(fd) | otherRet != ret) and
guardingFunction(f2, inp2, outp2, outpProp) and
this.guardingFunction(f2, inp2, outp2, outpProp) and
c = f2.getACall() and
arg = inp2.getNode(c) and
(