Lines Matching defs:first
265 // First a single oset, no pool allocator.
433 Addr first;
444 sprintf(buf, "<(%d) %lu..%lu (%d)>", b->b1, b->first, b->last, b->b2);
453 assert(elem->first <= elem->last);
454 if (key < elem->first) return -1;
469 OSet* oset = VG_(OSetGen_Create)(offsetof(Block, first),
485 vs[i]->first = i*10 + 1;
486 vs[i]->last = vs[i]->first + 2;
509 a = vs[i]->first + 0; assert( VG_(OSetGen_Contains)(oset, &a) );
510 a = vs[i]->first + 1; assert( VG_(OSetGen_Contains)(oset, &a) );
511 a = vs[i]->first + 2; assert( VG_(OSetGen_Contains)(oset, &a) );
519 a = vs[i]->first - 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
520 a = vs[i]->first + 3; assert( ! VG_(OSetGen_Contains)(oset, &a) );
526 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
527 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
528 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
540 assert(prev.last < curr.first);
551 a = vs[i]->first; assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
559 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
560 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
561 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
566 a = vs[i]->first + 0; assert( ! VG_(OSetGen_Contains)(oset, &a) );
567 a = vs[i]->first + 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
568 a = vs[i]->first + 2; assert( ! VG_(OSetGen_Contains)(oset, &a) );
574 a = vs[i]->first; assert( vs[i] == VG_(OSetGen_Remove)(oset, &a) );
