Lines Matching refs:Tmp
92 ExplodedNodeSet Tmp;
94 evalLoad(Tmp, LHS, *it, state, location);
96 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E;
167 ExplodedNodeSet Tmp;
168 MakeNode(Tmp, BE, Pred, Pred->getState()->BindExpr(BE, V),
172 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, BE, *this);
539 ExplodedNodeSet Tmp;
540 Visit(Ex, Pred, Tmp);
542 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) {
563 ExplodedNodeSet Tmp;
564 Visit(Ex, Pred, Tmp);
566 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) {
596 ExplodedNodeSet Tmp;
597 Visit(Ex, Pred, Tmp);
599 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) {
612 ExplodedNodeSet Tmp;
613 Visit(Ex, Pred, Tmp);
615 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) {
673 ExplodedNodeSet Tmp;
675 Visit(Ex, Pred, Tmp);
677 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I!=E; ++I) {
