Predicate Public::insnHasPostUpdateNode
Holds if the node corresponding to insn has a post-update node.
Import path
import semmle.go.dataflow.internal.DataFlowNodespredicate insnHasPostUpdateNode(Instruction insn)Holds if the node corresponding to insn has a post-update node.
import semmle.go.dataflow.internal.DataFlowNodespredicate insnHasPostUpdateNode(Instruction insn)