Predicate extractTupleElement
Gets the data-flow node corresponding to the i
th element of tuple t
(which is either a call
with multiple results, an iterator in a range loop, or the result of a type assertion).
Import path
import semmle.go.dataflow.internal.DataFlowUtil
Node extractTupleElement(Node t, int i)