Predicate signature indirectNodeHasIndirectExpr
Holds if the indirect expression at indirection index indirectionIndex
of node is e. The integer n specifies how many conversions has been
applied to node.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilsignature predicate indirectNodeHasIndirectExpr(IndirectNode node, Expr e, int n, int indirectionIndex)