From e2a79f400ef9a15f45add02ef88daa85f356b09b Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Mon, 18 Jan 2021 16:18:19 +0000 Subject: [PATCH] Make use of `this` explicit It makes it easier to understand the code. --- ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll index 13c536a7a48..fb9839a3a75 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll @@ -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() } /**