hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 06:42:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make use of this explicit

Browse Source 
It makes it easier to understand the code.
This commit is contained in:
Owen Mansel-Chan
2021-01-18 16:18:19 +00:00
parent 903ff33b0d
commit e2a79f400e
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

@@ -1126,7 +1126,7 @@ abstract class BarrierGuard extends Node {
exists(ControlFlow::ConditionGuardNode guard, Node nd, SsaWithFields var |
result = var.getAUse()
|
guards(guard, nd, var) and
this.guards(guard, nd, var) and
guard.dominates(result.getBasicBlock())
)
}
@@ -1139,7 +1139,7 @@ abstract class BarrierGuard extends Node {
*/
pragma[noinline]
private predicate guards(ControlFlow::ConditionGuardNode guard, Node nd, SsaWithFields ap) {
guards(guard, nd) and nd = ap.getAUse()
this.guards(guard, nd) and nd = ap.getAUse()
}
/**