Lines Matching refs:ExplodedNodeSet

1029 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
1077   ExplodedNodeSet CheckedSet;
1121   ExplodedNodeSet CleanedStates;
1130   ExplodedNodeSet Dst;
1132     ExplodedNodeSet DstI;
1146   ExplodedNodeSet Dst;
1177   ExplodedNodeSet Tmp;
1242   ExplodedNodeSet Dst;
1292   ExplodedNodeSet Dst;
1319   ExplodedNodeSet Dst;
1339                                          ExplodedNodeSet &Dst) {
1411                                    ExplodedNodeSet &Dst) {
1486                                  ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1506                                    ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1566                                       ExplodedNodeSet &Dst) {
1594   ExplodedNodeSet CleanDtorState;
1643                                                ExplodedNodeSet &Dst,
1657                                            ExplodedNodeSet &PreVisit,
1658                                            ExplodedNodeSet &Dst) {
1711                        ExplodedNodeSet &DstTop) {
1714   ExplodedNodeSet Dst;
1904       ExplodedNodeSet PreVisit;
1906       ExplodedNodeSet Next;
1974       ExplodedNodeSet preVisit;
1984       ExplodedNodeSet PreVisit;
1987       ExplodedNodeSet Tmp;
2031       ExplodedNodeSet preVisit;
2034       ExplodedNodeSet Tmp;
2078       ExplodedNodeSet PreVisit;
2080       ExplodedNodeSet PostVisit;
2132         ExplodedNodeSet Tmp;
2198       ExplodedNodeSet PreVisit;
2201       ExplodedNodeSet PostVisit;
2212       ExplodedNodeSet PreVisit;
2215       ExplodedNodeSet PostVisit;
2288       ExplodedNodeSet dstExpr;
2300       ExplodedNodeSet dstPrevisit;
2302       ExplodedNodeSet dstExpr;
2361       ExplodedNodeSet PreVisit;
2364       ExplodedNodeSet PostVisit;
2405         ExplodedNodeSet Tmp;
2769     ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF,
2792   ExplodedNodeSet CheckersOutSet;
2857                                           ExplodedNodeSet &Dst,
2922                                         ExplodedNodeSet &Dst,
2970     ExplodedNodeSet PostCleanup;
2986   ExplodedNodeSet Dst;
2989     ExplodedNodeSet AfterRemovedDead;
3089                                         ExplodedNodeSet &Dst) {
3229                                         ExplodedNodeSet &Dst) {
3230   ExplodedNodeSet CheckerPreStmt;
3233   ExplodedNodeSet EvalSet;
3327                                              ExplodedNodeSet &Dst){
3331   ExplodedNodeSet CheckerPreStmt;
3334   ExplodedNodeSet EvalSet;
3377                                  ExplodedNodeSet &Dst) {
3379   ExplodedNodeSet CheckedSet;
3382   ExplodedNodeSet EvalSet;
3392     ExplodedNodeSet Tmp;
3465                                  ExplodedNodeSet &Dst) {
3466   ExplodedNodeSet AfterPreSet;
3472   ExplodedNodeSet AfterInvalidateSet;
3602 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
3612   ExplodedNodeSet CheckedSet;
3659 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,
3669   ExplodedNodeSet Tmp;
3682 void ExprEngine::evalLoad(ExplodedNodeSet &Dst,
3694   ExplodedNodeSet Tmp;
3720 void ExprEngine::evalLocation(ExplodedNodeSet &Dst,
3733   ExplodedNodeSet Src;
3749   ExplodedNodeSet Tmp;
3769 void ExprEngine::evalEagerlyAssumeBifurcation(ExplodedNodeSet &Dst,
3770                                               ExplodedNodeSet &Src,
3820                                  ExplodedNodeSet &Dst) {
3855                                 ExplodedNodeSet &Dst) {