Lines Matching refs:currBldrCtx
49 unsigned Count = currBldrCtx->blockCount();
61 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx);
69 unsigned Count = currBldrCtx->blockCount();
155 currBldrCtx->blockCount());
210 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
243 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx);
362 currBldrCtx->blockCount());
392 currBldrCtx->blockCount());
404 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
449 StmtNodeBuilder B(dstPreVisit, Dst, *currBldrCtx);
488 currBldrCtx->blockCount());
509 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
576 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
628 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
676 V = svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount());
685 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
705 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
738 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
873 StmtNodeBuilder Bldr(Tmp, Dst2, *currBldrCtx);
907 svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount());