Searched refs:DstEvaluated (Results 1 – 1 of 1) sorted by relevance
777 ExplodedNodeSet DstEvaluated; in handleConstructor() local782 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in handleConstructor()789 getCheckerManager().runCheckersForEvalCall(DstEvaluated, N, *Call, *this, in handleConstructor()801 StmtNodeBuilder Bldr(DstEvaluated, DstEvaluatedPostProcessed, *currBldrCtx); in handleConstructor()817 assert(!DstEvaluated.empty() && in handleConstructor()820 for (ExplodedNode *N : DstEvaluated) { in handleConstructor()