Predicate exprNodeShouldBeOperand
Holds if node is an OperandNode that should map node.asExpr() to e.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilpredicate exprNodeShouldBeOperand(OperandNode node, Expr e, int n)Holds if node is an OperandNode that should map node.asExpr() to e.
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilpredicate exprNodeShouldBeOperand(OperandNode node, Expr e, int n)