Searched refs:DstPrepare (Results 1 – 1 of 1) sorted by relevance
563 ExplodedNodeSet DstPrepare; in handleConstructor() local564 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx); in handleConstructor()566 assert(DstPrepare.size() <= 1); in handleConstructor()567 if (DstPrepare.size() == 0) in handleConstructor()