Lines Matching refs:CHECK
434 CHECK(GLOB != -777);
471 CHECK(GLOB != -777);
606 CHECK(GLOB != 777);
610 CHECK(GLOB != 777);
655 CHECK(GLOB != 777);
707 CHECK(GLOB == 2);
741 CHECK(GLOB == 3);
810 CHECK(MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));
834 CHECK(!MU.AwaitWithTimeout(Condition(&ArgIsOne, &COND), 100));
861 CHECK(!MU.LockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));
933 CHECK(GLOB != 777);
945 CHECK(GLOB != 777);
1026 CHECK(MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), INT_MAX));
1050 CHECK(!MU.ReaderLockWhenWithTimeout(Condition(&ArgIsOne, &COND), 100));
1115 CHECK(GLOB != 777);
1123 CHECK(GLOB == 2);
1153 CHECK(GLOB != 777);
1165 CHECK(GLOB == 2);
1212 CHECK(BOUNDARY == i);
1229 CHECK(GLOB[i] == i);
1264 CHECK(BOUNDARY == i);
1335 CHECK(GLOB != 777);
1383 CHECK(ARR[i] == 0);
1430 CHECK(ARR[i] == 0);
1468 CHECK(777 == *ARR[i]);
1579 CHECK(GLOB != -777);
1679 CHECK(GLOB == N_threads);
1691 CHECK(GLOB == 3);
1853 CHECK(GLOB == 1);
1858 CHECK(GLOB == 1);
1887 CHECK(GLOB == 0);
1928 CHECK(GLOB == 0);
1938 CHECK(GLOB <= 1);
2054 CHECK(GLOB != -777);
2093 CHECK(GLOB != -777);
2094 CHECK(GLOB != -777);
2095 CHECK(GLOB != -777);
2096 CHECK(GLOB != -777);
2357 CHECK(GLOB >= 1000);
2402 CHECK(GLOB >= 1000);
2499 CHECK(GLOB == 20);
2766 CHECK(GLOB == 0);
2771 CHECK(GLOB == 0);
2982 CHECK(GLOB >= 0);
3035 CHECK(GLOB >= 0);
3057 // test70: STAB. Check that TRACE_MEMORY works. {{{1
3166 // TODO(kcc): add more tests to check that interceptors are correct.
3238 // Check that Mutex::~Mutex() doesn't introduce h-b arcs.
3296 // Check that fprintf doesn't introduce h-b with the start of the
3365 CHECK(ARR1[i] == 0);
3366 CHECK(ARR2[N-1-i] == 0);
3436 case 0: CHECK( ARR1 [i * (1<<x) + off] == 0); break;
3437 case 1: CHECK(((int*) (ARR1))[i * (1<<x) + off] == 0); break;
3438 case 2: CHECK(((short*)(ARR1))[i * (1<<x) + off] == 0); break;
3439 case 3: CHECK(((char*) (ARR1))[i * (1<<x) + off] == 0); break;
3442 case 1: CHECK(((int*) (ARR2))[i * (1<<x) + off] == 0); break;
3443 case 2: CHECK(((short*)(ARR2))[i * (1<<x) + off] == 0); break;
3444 case 3: CHECK(((char*) (ARR2))[i * (1<<x) + off] == 0); break;
3508 CHECK(ref_ == 0); // race may be reported here
3524 CHECK(ref_ >= 0);
3531 CHECK(ref_ > 0);
3701 CHECK(ref_ == 0); // race may be reported here
3804 // the CHECK below, at least if compiled with -O2.
3825 static void check(volatile FOO *foo) {
3826 CHECK(foo->arr_[foo->idx_] == 77777);
3855 // Thus this CHECK will sometimes fail.
3856 FOO::check(foo[i]);
3887 CHECK(*ptr == 777);
3926 CHECK(s_dummy[0] == 0); // Avoid compiler warning about 's_dummy unused'.
4125 CHECK(racey_read != 777);
4130 CHECK(ANNOTATE_UNPROTECTED_READ(racey_read) != 777);
4161 CHECK(incorrectly_annotated_racey_read != 777);
4198 B() { CHECK(a == 1); }
4199 virtual ~B() { CHECK(a == 3); }
4281 CHECK(*p == 777); // Race is reported here.
4328 CHECK(*p > 777);
4391 CHECK(p->arr[index] == 778);
4418 CHECK(GLOB == 0);
4438 // test94: TP. Check do_cv_signal/fake segment logic {{{1
4488 printf("test94: TP. Check do_cv_signal/fake segment logic\n");
4497 // test95: TP. Check do_cv_signal/fake segment logic {{{1
4540 printf("test95: TP. Check do_cv_signal/fake segment logic\n");
4582 CHECK(GLOB == 3);
4604 CHECK(0 != *GLOB);
4663 G1 = 1; CHECK(G1);
4665 G3 = 1; CHECK(G3);
4671 CHECK(G1);
4672 CHECK(G2);
4767 CHECK(777 == GLOB[0]);
4770 CHECK(777 == GLOB[1]);
4867 CHECK(ar[0] == 1);
4876 CHECK(ar[0] == 1);
4920 void Check() const { CHECK(a_ == 42); }
4936 foo->Check();
4954 // Check that the detector correctly connects
5113 CHECK(size > 0);
5114 CHECK(begin + size <= N);
5155 CHECK(x == 1);
5218 CHECK(foo == 1);
5299 CHECK(GLOB); // read
5304 CHECK(GLOB >= 0); // read
5350 CHECK(foo);
5397 CHECK(foo);
5398 CHECK(foo->a == 42);
5423 CHECK(off == 0);
5427 CHECK(off < 2);
5431 CHECK(off < 4);
5435 CHECK(off < 8);
5438 default: CHECK(0); break;
5553 CHECK(blocking_counter);
5554 CHECK(GLOB == 0);
5625 CHECK(GLOB > 0);
5626 CHECK(param > 0);
5937 CHECK(message);
5958 // test142: TN. Check PCQ_* annotations. {{{1
5982 CHECK(array[res] = res * res);
6008 // test143: TP. Check PCQ_* annotations. {{{1
6030 CHECK(GLOB == 1); // Race here
6271 // test few times on the same lock to check how init/destroy are handled.
6336 CHECK(strlen(GLOB) == 3);
6340 CHECK(strcpy(GLOB, "zzz") == GLOB);
6344 CHECK(strchr(GLOB, 'o') == (GLOB + 1));
6348 CHECK(memchr(GLOB, 'o', 4) == (GLOB + 1));
6352 CHECK(strrchr(GLOB, '!') == NULL);
6356 CHECK(strcmp(GLOB, "xxx") != 0);
6360 CHECK(strncmp(GLOB, "xxx", 3) != 0);
6479 CHECK(*mem == 1);
6608 CHECK(depth >= 0);
6746 CHECK(p[kIdx] == 777);
6777 CHECK(a[i]->a == 1);
6837 CHECK(mem1[0] != 0);
6839 CHECK(mem1[0] == 0);
6840 CHECK(mem1[1] != 0);
6842 CHECK(mem1[4] == 0);
6843 CHECK(mem1[5] != 0);
6919 CHECK(vec->empty());
6934 CHECK(vec->empty());
6981 CHECK(ref_count > 0);
6982 CHECK(vec->size() == 1);
6995 CHECK(vec == 0);
7236 CHECK(GLOB == N_threads * ITERATIONS);
7521 ASSERT_DEBUG_DEATH(CHECK(false), "");
7815 CHECK(beg < kArrayLen);
7816 CHECK(end <= kArrayLen);
7820 CHECK(P < X + kArrayLen);
