Member predicate CaptureInput::Expr::hasCfgNode
Holds if the i
th node of basic block bb
evaluates this expression.
predicate hasCfgNode(BasicBlock bb, int i)
Holds if the i
th node of basic block bb
evaluates this expression.
predicate hasCfgNode(BasicBlock bb, int i)