Lines Matching refs:Tmp
260 ExplodedNodeSet Tmp;
267 Tmp.Add(CleanedNode);
307 Tmp.Add(CleanedNode);
311 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) {
616 ExplodedNodeSet Tmp;
617 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp);
618 evalEagerlyAssume(Dst, Tmp, cast<Expr>(S));
799 ExplodedNodeSet Tmp;
800 VisitUnaryOperator(U, Pred, Tmp);
801 evalEagerlyAssume(Dst, Tmp, U);
1342 ExplodedNodeSet Tmp;
1343 evalLocation(Tmp, LocationE, Pred, state, location, tag, false);
1345 if (Tmp.empty())
1354 for (ExplodedNodeSet::iterator NI=Tmp.begin(), NE=Tmp.end(); NI!=NE; ++NI)
1380 ExplodedNodeSet Tmp;
1381 evalLoadCommon(Tmp, Ex, Pred, state, location, &loadReferenceTag,
1385 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end() ; I!=E; ++I) {
1403 ExplodedNodeSet Tmp;
1404 evalLocation(Tmp, Ex, Pred, state, location, tag, true);
1406 if (Tmp.empty())
1415 for (ExplodedNodeSet::iterator NI=Tmp.begin(), NE=Tmp.end(); NI!=NE; ++NI) {
1605 ExplodedNodeSet Tmp;
1606 Visit(*I, Pred, Tmp);
1609 for (ExplodedNodeSet::iterator NI = Tmp.begin(), NE = Tmp.end();NI != NE;++NI)
1643 ExplodedNodeSet Tmp;
1644 Visit(*I, Pred, Tmp);
1648 for (ExplodedNodeSet::iterator NI = Tmp.begin(), NE = Tmp.end(); NI!=NE; ++NI)
