Predicate exprNodeShouldBeInstruction
Holds if node should be an instruction node that maps node.asExpr() to e.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilpredicate exprNodeShouldBeInstruction(Node node, Expr e, int n)