Lines Matching refs:Tmp
834 ExplodedNodeSet Tmp;
845 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
883 evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP);
887 Tmp.insert(Pred);
895 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
896 for (const auto I : Tmp) {
1432 ExplodedNodeSet Tmp;
1433 StmtNodeBuilder Bldr2(PreVisit, Tmp, *currBldrCtx);
1464 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this);
1479 ExplodedNodeSet Tmp;
1480 StmtNodeBuilder Bldr2(preVisit, Tmp, *currBldrCtx);
1506 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this);
1571 ExplodedNodeSet Tmp;
1572 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp);
1573 evalEagerlyAssumeBinOpBifurcation(Dst, Tmp, cast<Expr>(S));
1845 ExplodedNodeSet Tmp;
1846 VisitUnaryOperator(U, Pred, Tmp);
1847 evalEagerlyAssumeBinOpBifurcation(Dst, Tmp, U);
2622 ExplodedNodeSet Tmp;
2677 evalLoad(Tmp, M, M, I, state, L);
2678 Bldr.addNodes(Tmp);
2890 ExplodedNodeSet Tmp;
2891 evalLocation(Tmp, AssignE, LocationE, Pred, state, location, false);
2893 if (Tmp.empty())
2899 for (const auto I : Tmp)
2915 ExplodedNodeSet Tmp;
2916 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, true);
2917 if (Tmp.empty())
2920 StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2925 for (const auto I : Tmp) {
2970 ExplodedNodeSet Tmp;
2971 getCheckerManager().runCheckersForLocation(Tmp, Src, location, isLoad,
2973 BldrTop.addNodes(Tmp);