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.DataFlowUtil
predicate
exprNodeShouldBeInstruction
(
Node
node
,
Expr
e
)