42 #define NN  1000       // Size of OSets being created  macro
89    UWord* vs[NN];  in example1singleset()
91    UWord  sorted_elts[NN]; // Used to test VG_(OSetGen_ResetIterAt)  in example1singleset()
102    for (i = 0; i < NN; i++) {  in example1singleset()
108    for (i = 0; i < NN; i++) {  in example1singleset()
109       UWord r1  = myrandom() % NN;  in example1singleset()
110       UWord r2  = myrandom() % NN;  in example1singleset()
117    for (i = 0; i < NN; i++) {  in example1singleset()
122    vg_assert( NN == VG_(OSetGen_Size)(oset) );  in example1singleset()
125    for (i = 0; i < NN; i++) {  in example1singleset()
132    for (i = 0; i < NN; i++) {  in example1singleset()
141       for (j = i; j < NN; j++) {  in example1singleset()
151       for (j = i; j < NN; j++) {  in example1singleset()
161       if (i < NN - 1) {  in example1singleset()
162          for (j = i+1; j < NN; j++) {  in example1singleset()
178    for (i = 0; i < NN; i++) {  in example1singleset()
182    v = 2*(NN+1);  in example1singleset()
187    for (i = 0; i < NN; i++) {  in example1singleset()
203    assert(NN == n);  in example1singleset()
209    for (i = 0; i < NN; i += 2) {  in example1singleset()
215    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );  in example1singleset()
218    for (i = 1; i < NN; i += 2) {  in example1singleset()
224    for (i = 0; i < NN; i += 2) {  in example1singleset()
230    for (i = 1; i < NN; i += 2) {  in example1singleset()
249    for (i = 3; i < NN; i++) {  in example1singleset()
306    UWord vs[NN];  in example1b()
320    for (i = 0; i < NN; i++) {  in example1b()
324    for (i = 0; i < NN; i++) {  in example1b()
325       UWord r1  = myrandom() % NN;  in example1b()
326       UWord r2  = myrandom() % NN;  in example1b()
333    for (i = 0; i < NN; i++) {  in example1b()
338    vg_assert( NN == VG_(OSetWord_Size)(oset) );  in example1b()
341    for (i = 0; i < NN; i++) {  in example1b()
349    for (i = 0; i < NN; i++) {  in example1b()
353    v = NN*2;  in example1b()
357    for (i = 0; i < NN; i++) {  in example1b()
375    assert(NN == n);  in example1b()
380    for (i = 0; i < NN; i += 2) {  in example1b()
385    vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );  in example1b()
388    for (i = 1; i < NN; i += 2) {  in example1b()
393    for (i = 0; i < NN; i += 2) {  in example1b()
398    for (i = 1; i < NN; i += 2) {  in example1b()
410    for (i = 3; i < NN; i++) {  in example1b()
463    Block* vs[NN];  in example2()
482    for (i = 0; i < NN; i++) {  in example2()
490    for (i = 0; i < NN; i++) {  in example2()
491       Int r1  = myrandom() % NN;  in example2()
492       Int r2  = myrandom() % NN;  in example2()
499    for (i = 0; i < NN; i++) {  in example2()
504    vg_assert( NN == VG_(OSetGen_Size)(oset) );  in example2()
508    for (i = 0; i < NN; i++) {  in example2()
518    for (i = 0; i < NN; i++) {  in example2()
525    for (i = 0; i < NN; i++) {  in example2()
544    assert(NN == n);  in example2()
550    for (i = 0; i < NN; i += 2) {  in example2()
555    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );  in example2()
558    for (i = 1; i < NN; i += 2) {  in example2()
565    for (i = 0; i < NN; i += 2) {  in example2()
573    for (i = 1; i < NN; i += 2) {  in example2()
585    for (i = 0; i < NN; i++) {  in example2()