Searched refs:OSetGen_EmptyClone (Results 1 – 4 of 4) sorted by relevance
243 extern OSet* VG_(OSetGen_EmptyClone) (const OSet* os);
292 oset_empty_clone = VG_(OSetGen_EmptyClone) (oset); in example1()
341 AvlTree* VG_(OSetGen_EmptyClone) (const AvlTree* os) in VG_() argument
107 bm->oset = VG_(OSetGen_EmptyClone)(s_bm2_set_template); in DRD_()