diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll index ab7b2b98cfa..4dc6f6ceb92 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll @@ -345,6 +345,9 @@ class CallNode extends ExprNode { */ Node getResult() { not getType() instanceof TupleType and result = this } + /** Gets a result of this call. */ + Node getAResult() { result = this.getResult(_) } + /** Gets the data flow node corresponding to the receiver of this call, if any. */ Node getReceiver() { result = getACalleeSource().(MethodReadNode).getReceiver() } }