Searched refs:DstEvaluated (Results 1 – 1 of 1) sorted by relevance
771 ExplodedNodeSet DstEvaluated; in handleConstructor() local776 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in handleConstructor()785 getCheckerManager().runCheckersForEvalCall(DstEvaluated, *I, *Call, *this, in handleConstructor()797 StmtNodeBuilder Bldr(DstEvaluated, DstEvaluatedPostProcessed, *currBldrCtx); in handleConstructor()812 assert(!DstEvaluated.empty() && in handleConstructor()815 for (ExplodedNode *N : DstEvaluated) { in handleConstructor()