Searched refs:DstPrepare (Results 1 – 1 of 1) sorted by relevance
716 ExplodedNodeSet DstPrepare; in handleConstructor() local717 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx); in handleConstructor()719 assert(DstPrepare.size() <= 1); in handleConstructor()720 if (DstPrepare.size() == 0) in handleConstructor()