From f279fa17afd8950b71ca9e81ce6b8a55ebf109bd Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Tue, 2 Feb 2021 10:36:17 +0000 Subject: [PATCH] (clean-up) Move comment --- ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll index f99365d1706..b06d73ce694 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll @@ -1184,8 +1184,8 @@ abstract class BarrierGuard extends Node { fd.getFunction() = f and localFlow(inp.getExitNode(fd), arg) and ret = outp.getEntryNode(fd) and - // Case: a function like "if someBarrierGuard(arg) { return true } else { return false }" ( + // Case: a function like "if someBarrierGuard(arg) { return true } else { return false }" exists(ControlFlow::ConditionGuardNode guard | guards(guard, arg) and guard.dominates(ret.getBasicBlock())