Searched refs:OSetGen_Size (Results 1 – 9 of 9) sorted by relevance
98 vg_assert( 0 == VG_(OSetGen_Size)(oset) ); in example1singleset()122 vg_assert( NN == VG_(OSetGen_Size)(oset) ); in example1singleset()215 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) ); in example1singleset()240 vg_assert( 0 == VG_(OSetGen_Size)(oset) ); in example1singleset()478 vg_assert( 0 == VG_(OSetGen_Size)(oset) ); in example2()504 vg_assert( NN == VG_(OSetGen_Size)(oset) ); in example2()555 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) ); in example2()582 vg_assert( 0 == VG_(OSetGen_Size)(oset) ); in example2()
301 extern Word VG_(OSetGen_Size) ( const OSet* os );
73 tl_assert(VG_(OSetGen_Size)(s_clientobj_set) == 0); in DRD_()
1185 n_lossrecords = VG_(OSetGen_Size)(lr_table); in get_lr_array_from_lr_table()1356 tl_assert(VG_(OSetGen_Size)(lr_table) == n_lossrecords); in print_results()1516 n_lossrecords = VG_(OSetGen_Size)(lr_table); in print_clique()1561 n_lossrecords = VG_(OSetGen_Size)(lr_table); in MC_()
435 if (VG_(OSetGen_Size)(auxmap_L2) != 0) in check_auxmap_L1_L2_sanity() local961 n_nodes = VG_(OSetGen_Size)(secVBitTable); in gcSecVBitTable()962 n_survivors = VG_(OSetGen_Size)(secVBitTable2); in gcSecVBitTable()1022 if (secVBitLimit == VG_(OSetGen_Size)(secVBitTable)) { in set_sec_vbits8()1039 n_secVBit_nodes = VG_(OSetGen_Size)(secVBitTable); in set_sec_vbits8()5120 if (0 != VG_(OSetGen_Size)(secVBitTable)) in mc_expensive_sanity_check()
915 Word VG_(OSetGen_Size)(const AvlTree* t) in VG_() argument923 return VG_(OSetGen_Size)(t); in VG_()
1702 VG_(OSetGen_Size)(stringTable)); in cg_fini()1704 VG_(OSetGen_Size)(CC_table)); in cg_fini()1706 VG_(OSetGen_Size)(instrInfoTable)); in cg_fini()
1326 vg_assert(VG_(OSetGen_Size)( scope ) == 1); in canonicaliseVarInfo()1370 vg_assert(VG_(OSetGen_Size)( scope ) == 1); in canonicaliseVarInfo()
3663 gs_size = VG_(OSetGen_Size)( global_scope ); in VG_()