Lines Matching refs:CHECK
81 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
85 MU2.Lock(); CHECK(GLOB >= 0); MU2.Unlock();
89 MU1.Lock(); CHECK(GLOB >= 0); MU1.Unlock();
117 void Worker1() { CHECK(GLOB >= 0); }
139 MU.Lock(); CHECK(STR->length() >= 4); MU.Unlock();
144 CHECK(STR->length() >= 4); // Unprotected!
149 MU.Lock(); CHECK(STR->length() >= 4); MU.Unlock();
288 CHECK(foo && foo->a == 42);
352 CHECK(*PTR <= 2);
406 CHECK(*PTR >= 0);
490 CHECK(depth >= 0);
