diff --git a/go/ql/lib/semmle/go/dataflow/GlobalValueNumbering.qll b/go/ql/lib/semmle/go/dataflow/GlobalValueNumbering.qll index 3547e70b858..541d52e6da3 100644 --- a/go/ql/lib/semmle/go/dataflow/GlobalValueNumbering.qll +++ b/go/ql/lib/semmle/go/dataflow/GlobalValueNumbering.qll @@ -200,7 +200,7 @@ private ControlFlow::Node mostRecentSideEffect(ControlFlow::Node entry, ControlF cached private ControlFlow::Node mostRecentSideEffectUnique(ControlFlow::Node node) { - result = unique( | | mostRecentSideEffect(_, node)) + result = unique( | | mostRecentSideEffect(getControlFlowEntry(node), node)) } /** Used to represent the "global value number" of an expression. */