Predicate IndirectNodeToIndirectExpr::charpred
Holds if node
should be an IndirectExprNode
.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate charpred(IndirectNode node)
Holds if node
should be an IndirectExprNode
.
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate charpred(IndirectNode node)