Predicate simpleOutNode
Holds if node represents the output node for call.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate simpleOutNode(Node node, CallInstruction call)Holds if node represents the output node for call.
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate simpleOutNode(Node node, CallInstruction call)