Lines Matching refs:CHECK
190 CHECK(TheMapOfTests.count(id) == 0);
253 CHECK(TheMapOfTests.count(f_num));
676 CHECK(GLOB != -777);
714 CHECK(GLOB != -777);
747 CHECK(GLOB != 777);
902 CHECK(GLOB != 777);
906 CHECK(GLOB != 777);
951 CHECK(GLOB != 777);
1003 CHECK(GLOB == 2);
1037 CHECK(GLOB == 3);
1107 CHECK(MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));
1136 CHECK(!MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), 100));
1166 CHECK(!MU.LockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));
1239 CHECK(GLOB != 777);
1251 CHECK(GLOB != 777);
1332 CHECK(MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));
1360 CHECK(!MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));
1423 CHECK(GLOB != 777);
1431 CHECK(GLOB == 2);
1461 CHECK(GLOB != 777);
1473 CHECK(GLOB == 2);
1520 CHECK(BOUNDARY == i);
1537 CHECK(GLOB[i] == i);
1573 CHECK(BOUNDARY == i);
1645 CHECK(GLOB != 777);
1693 CHECK(ARR[i] == 0);
1740 CHECK(ARR[i] == 0);
1778 CHECK(777 == *ARR[i]);
1889 CHECK(GLOB != -777);
1990 CHECK(GLOB == N_threads);
2166 CHECK(GLOB == 1);
2171 CHECK(GLOB == 1);
2200 CHECK(GLOB == 0);
2241 CHECK(GLOB == 0);
2251 CHECK(GLOB <= 1);
2368 CHECK(GLOB != -777);
2408 CHECK(GLOB != -777);
2409 CHECK(GLOB != -777);
2410 CHECK(GLOB != -777);
2411 CHECK(GLOB != -777);
2680 CHECK(GLOB >= 1000);
2726 CHECK(GLOB >= 1000);
2823 CHECK(GLOB == 20);
3090 CHECK(GLOB == 0);
3095 CHECK(GLOB == 0);
3309 CHECK(GLOB >= 0);
3363 CHECK(GLOB >= 0);
3385 // test70: STAB. Check that TRACE_MEMORY works. {{{1
3416 CHECK(strlen(str) == 4);
3417 CHECK(index(str, 'X') == str);
3418 CHECK(index(str, 'x') == str+1);
3419 CHECK(index(str, 'Y') == NULL);
3420 CHECK(rindex(str, 'X') == str+2);
3421 CHECK(rindex(str, 'x') == str+3);
3422 CHECK(rindex(str, 'Y') == NULL);
3492 CHECK(ARR1[i] == 0);
3493 CHECK(ARR2[N-1-i] == 0);
3574 case 0: CHECK(ARR1[i].u64[off] == 0); break;
3575 case 1: CHECK(ARR1[i].u32[off] == 0); break;
3576 case 2: CHECK(ARR1[i].u16[off] == 0); break;
3577 case 3: CHECK(ARR1[i].u8 [off] == 0); break;
3580 case 1: CHECK(ARR2[i].u32[off] == 0); break;
3581 case 2: CHECK(ARR2[i].u16[off] == 0); break;
3582 case 3: CHECK(ARR2[i].u8 [off] == 0); break;
3652 CHECK(GLOB==1);
3657 CHECK(GLOB==1);
3696 CHECK(ref_ == 0); // race may be reported here
3712 CHECK(ref_ >= 0);
3719 CHECK(ref_ > 0);
3890 CHECK(ref_ == 0); // race may be reported here
3993 // the CHECK below, at least if compiled with -O2.
4014 static void check(volatile FOO *foo) {
4015 CHECK(foo->arr_[foo->idx_] == 77777);
4044 // Thus this CHECK will sometimes fail.
4045 FOO::check(foo[i]);
4076 CHECK(*ptr == 777);
4115 CHECK(s_dummy[0] == 0); // Avoid compiler warning about 's_dummy unused'.
4336 B() { CHECK(a == 1); }
4337 virtual ~B() { CHECK(a == 3); }
4415 CHECK(*p == 777); // Race is reported here.
4463 CHECK(*p > 777);
4527 CHECK(p->arr[index] == 778);
4554 CHECK(GLOB == 0);
4574 // test94: TP. Check do_cv_signal/fake segment logic {{{1
4618 printf("test94: TP. Check do_cv_signal/fake segment logic\n");
4627 // test95: TP. Check do_cv_signal/fake segment logic {{{1
4671 printf("test95: TP. Check do_cv_signal/fake segment logic\n");
4713 CHECK(GLOB == 3);
4735 CHECK(777 == *GLOB);
4799 CHECK(fd_out >= 0);
4800 CHECK(fd_in >= 0);
4857 G1 = 1; CHECK(G1);
4859 G3 = 1; CHECK(G3);
4865 CHECK(G1);
4866 CHECK(G2);
4959 CHECK(777 == GLOB[0]);
4961 CHECK(777 == GLOB[1]);
5096 CHECK(*GLOB == 777);
5139 void Check() const { CHECK(a_ == 42); }
5155 foo->Check();
5171 // Check that the detector correctly connects
5258 CHECK(0 == posix_memalign(&POSIX_MEMALIGN.pv, 64, sizeof(int)));
5299 CHECK(GLOB <= 3);
5300 CHECK(STATIC <= 3);
5443 CHECK(size > 0);
5444 CHECK(begin + size <= N);
5486 CHECK(x == 1);
5528 CHECK(sem != SEM_FAILED);
5529 CHECK(sem_wait(sem) == 0);
5532 CHECK(GLOB == 1);
5539 // just check that sem_open is not completely broken
5542 CHECK(sem != SEM_FAILED);
5543 CHECK(sem_wait(sem) == 0);
5546 // check that sem_open and sem_wait create a happens-before arc.
5607 CHECK(foo == 1);
5687 CHECK(GLOB); // read
5692 CHECK(GLOB >= 0); // read
5733 CHECK(foo && foo->a == 42);
6027 CHECK(blocking_counter);
6028 CHECK(GLOB == 0);
6099 CHECK(GLOB > 0);
6100 CHECK(param > 0);
6325 CHECK(0 == pthread_mutexattr_init(&attr));
6326 CHECK(0 == pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_ERRORCHECK));
6329 CHECK(0 == pthread_mutex_init(&mu, &attr));
6330 CHECK(0 == pthread_mutex_lock(&mu));
6331 CHECK(0 == pthread_mutex_unlock(&mu));
6507 CHECK(unlink(filename) == 0);
6526 CHECK(rmdir(dir_name) == 0);
6549 CHECK(fd >= 0);
6575 CHECK(message);
6596 // test142: TN. Check PCQ_* annotations. {{{1
6620 CHECK(array[res] = res * res);
6639 // test143: TP. Check PCQ_* annotations. {{{1
6659 CHECK(GLOB == 1); // Race here
6728 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
6732 MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock();
6736 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
6765 void Worker1() { CHECK(GLOB >= 0); }
6788 MU.Lock(); CHECK(STR->length() >= 4); MU.Unlock();
6793 CHECK(STR->length() >= 4); // Unprotected!
6798 MU.Lock(); CHECK(STR->length() >= 4); MU.Unlock();
6941 CHECK(foo && foo->a == 42);
7007 CHECK(*PTR <= 2);
7062 CHECK(*PTR >= 0);
7148 CHECK(depth >= 0);
7206 CHECK(vec->empty());
7221 CHECK(vec->empty());
7268 CHECK(ref_count > 0);
7269 CHECK(vec->size() == 1);
7282 CHECK(vec == 0);
7567 CHECK(GLOB == N_threads * ITERATIONS);
