Home | History | Annotate | Download | only in cctest

Lines Matching defs:NowContains

1217   void NowContains() {
1218     // T->NowContains(V) iff Constant(V)->NowIs(T)
1224         CHECK(type->NowContains(value) == const_type->NowIs(type));
1228     // T->Contains(V) implies T->NowContains(V)
1233         CHECK(!type->Contains(value) || type->NowContains(value));
1237     // NowOf(V)->Is(T) implies T->NowContains(V)
1243         CHECK(!nowof_type->NowIs(type) || type->NowContains(value));
2050 TEST(NowContains) {
2052   ZoneTests().NowContains();
2053   HeapTests().NowContains();