From adf3dc0c6180d2b278cdc5ac843089bf34aec929 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Fri, 3 Dec 2021 06:20:09 -0500 Subject: [PATCH] Move type assertion into declared type --- ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll b/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll index 4da3b14e030..233a90ff05c 100644 --- a/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll +++ b/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll @@ -297,11 +297,11 @@ private class ConstantBooleanArgumentNode extends ArgumentNode, ExprNode { */ pragma[noinline] private ControlFlow::ConditionGuardNode getAFalsifiedGuard(DataFlowCall call) { - exists(ParameterNode param, ConstantBooleanArgumentNode arg | + exists(SsaParameterNode param, ConstantBooleanArgumentNode arg | // get constant bool argument and parameter for this call viableParamArg(call, param, arg) and // which is used in a guard controlling `n` with the opposite value of `arg` - result.ensures(param.(SsaParameterNode).getAUse(), arg.getBooleanValue().booleanNot()) + result.ensures(param.getAUse(), arg.getBooleanValue().booleanNot()) ) }