Predicate indirectReturnOutNodeInstruction0
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate
indirectReturnOutNodeInstruction0
(
CallInstruction
call
,
Instruction
instr
,
int
indirectionIndex
)