Searched refs:DstPrepare (Results 1 – 1 of 1) sorted by relevance
666 ExplodedNodeSet DstPrepare; in handleConstructor() local667 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx); in handleConstructor()669 assert(DstPrepare.size() <= 1); in handleConstructor()670 if (DstPrepare.size() == 0) in handleConstructor()