Searched refs:DstPrepare (Results 1 – 1 of 1) sorted by relevance
724 ExplodedNodeSet DstPrepare; in handleConstructor() local725 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx); in handleConstructor()727 assert(DstPrepare.size() <= 1); in handleConstructor()728 if (DstPrepare.size() == 0) in handleConstructor()