Searched refs:DstPrepare (Results 1 – 1 of 1) sorted by relevance
690 ExplodedNodeSet DstPrepare; in handleConstructor() local691 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx); in handleConstructor()693 assert(DstPrepare.size() <= 1); in handleConstructor()694 if (DstPrepare.size() == 0) in handleConstructor()