return s_bitmap_creation_count;
}
+ULong bm_get_bitmap2_node_creation_count(void)
+{
+ return s_bitmap2_creation_count;
+}
+
ULong bm_get_bitmap2_creation_count(void)
{
return s_bitmap2_creation_count;
/* Local variables. */
static ULong s_bitmap2_creation_count;
+static ULong s_node_creation_count;
struct bitmap2ref* bm2ref;
struct bitmap2* bm2;
+ s_node_creation_count++;
bm2ref = VG_(OSetGen_AllocNode)(bm->oset, sizeof(*bm2ref));
bm2ref->addr = a1;
bm2 = bm2_new(a1);
tl_assert(bm);
//tl_assert(VG_(OSetGen_Lookup)(bm->oset, &bm2->addr) == 0);
+
+ s_node_creation_count++;
bm2ref = VG_(OSetGen_AllocNode)(bm->oset, sizeof(*bm2ref));
bm2ref->addr = bm2->addr;
bm2ref->bm2 = bm2;
const struct bitmap* const bm2);
void bm_print(const struct bitmap* bm);
ULong bm_get_bitmap_creation_count(void);
+ULong bm_get_bitmap2_node_creation_count(void);
ULong bm_get_bitmap2_creation_count(void);
+
void bm_test(void);