Searched refs:ASSERT (Results 1 - 25 of 71) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsave_vec.cpp33 #define ASSERT(x) assert(x) macro
35 #define ASSERT(x) macro
64 ASSERT(old_value >= save_vec && old_value <= save_vec_addr);
70 ASSERT(save_vec_addr < save_vec+SVEC_SIZE);
H A Drts_module.cpp36 #define ASSERT(x) assert(x) macro
39 #define ASSERT(x) macro
53 ASSERT(modCount < MAX_MODULES);
H A Dcheck_objects.cpp32 #define ASSERT(x) assert(x) macro
34 #define ASSERT(x) macro
53 ASSERT(space != 0);
62 ASSERT(pt+length <= space->top);
71 ASSERT((pt > lSpace->bottom && pt+length <= lSpace->lowerAllocPtr) ||
101 ASSERT (OBJ_IS_LENGTH(L));
106 ASSERT (n > 0);
107 ASSERT(pt-1 >= space->bottom && pt+n <= space->top);
124 else ASSERT (flags == 0); /* ordinary word object */
H A Dpexport.cpp39 #define ASSERT(x) assert(x) macro
41 #define ASSERT(x) macro
79 ASSERT(lower < upper);
81 ASSERT(middle < pMap.size());
185 ASSERT(! p->IsMutable() );
236 ASSERT (offset < base->Length() * sizeof(POLYUNSIGNED));
374 ASSERT(currentSize - used > objWords);
434 ASSERT(obj < nObjects);
442 ASSERT(obj < nObjects);
444 ASSERT(
[all...]
H A Dscanaddrs.cpp31 #define ASSERT(x) assert(x) macro
33 #define ASSERT(x) 0 macro
56 ASSERT(OBJ_IS_DATAPTR(val));
71 ASSERT (OBJ_IS_LENGTH(lengthWord));
127 ASSERT(wordAt.IsDataPtr());
139 ASSERT(wordAt.IsDataPtr());
162 ASSERT(obj->ContainsNormalLengthWord());
167 ASSERT(obj->ContainsNormalLengthWord());
207 ASSERT(false);
233 ASSERT(newDis
[all...]
H A Dbitmap.cpp39 #define ASSERT(h) assert(h) macro
41 #define ASSERT(h) macro
83 ASSERT (0 < length); // Strictly positive
95 // ASSERT((m_bits[byte_index] & mask) == 0);
103 // ASSERT((m_bits[byte_index] & mask) == 0);
119 ASSERT(length < 8);
127 // ASSERT((m_bits[byte_index] & mask) == 0);
150 ASSERT (0 < n); // Strictly positive
198 ASSERT (start > limit);
H A Dgc_check_weak_ref.cpp38 #define ASSERT(x) assert(x) macro
40 #define ASSERT(x) macro
84 ASSERT(OBJ_IS_MUTABLE_OBJECT(L)); // Should be a mutable.
100 ASSERT(someObj->Length() == 1 && someObj->IsWordObject()); // Should be a SOME node.
H A Dgc_mark_phase.cpp66 #define ASSERT(x) assert(x) macro
68 #define ASSERT(x) macro
211 ASSERT(space != 0 && (space->spaceType == ST_LOCAL || space->spaceType == ST_CODE));
219 ASSERT(obj->LengthWord() & _OBJ_GC_MARK); // Should have been marked.
241 ASSERT(marker != 0);
246 ASSERT(test);
293 ASSERT(marker->markStack[0] == 0);
362 ASSERT(obj->ContainsNormalLengthWord());
417 ASSERT (OBJ_IS_LENGTH(lengthWord));
426 ASSERT(OBJ_IS_MUTABLE_OBJEC
[all...]
H A Drtsentry.cpp39 #define ASSERT(x) assert(x) macro
42 #define ASSERT(x) macro
166 ASSERT(taskData != 0);
H A Dprofiling.cpp42 #define ASSERT(x) assert(x) macro
44 #define ASSERT(x) 0 macro
165 ASSERT(code->IsCodeObject());
229 ASSERT(obj->ContainsNormalLengthWord());
234 ASSERT(obj->ContainsNormalLengthWord());
363 ASSERT(obj->ContainsNormalLengthWord());
370 ASSERT(length != 0);
372 ASSERT(profWord.IsDataPtr());
374 ASSERT(profObject->IsMutable() && profObject->IsByteObject() && profObject->Length() == 1);
452 ASSERT(taskDat
[all...]
H A Dstatistics.cpp103 #define ASSERT(x) assert(x) macro
105 #define ASSERT(x) macro
279 ASSERT(statId < 128);
283 ASSERT(nameLength < 125);
297 ASSERT(length < 128);
314 ASSERT(statId < 128);
318 ASSERT(nameLength < 125);
331 ASSERT(length < 128);
348 ASSERT(statId < 128);
352 ASSERT(nameLengt
[all...]
H A Dgc.cpp35 #define ASSERT(x) assert(x) macro
37 #define ASSERT(x) macro
137 ASSERT (lSpace->top >= lSpace->upperAllocPtr);
138 ASSERT (lSpace->upperAllocPtr >= lSpace->lowerAllocPtr);
139 ASSERT (lSpace->lowerAllocPtr >= lSpace->bottom);
178 ASSERT(markCount == bitCount);
244 ASSERT(iUpdated+mUpdated == iMarked+mMarked);
H A Dobjsize.cpp49 #define ASSERT(x) assert(x) macro
51 #define ASSERT(x) macro
133 ASSERT(bm == nBitmaps);
286 ASSERT(w.IsDataPtr());
374 ASSERT(taskData != 0);
388 ASSERT(taskData != 0);
403 ASSERT(taskData != 0);
H A Dgc_update_phase.cpp41 #define ASSERT(x) assert(x) macro
43 #define ASSERT(x) macro
86 ASSERT(obj->ContainsNormalLengthWord());
137 ASSERT(bitno <= highest);
154 ASSERT(pt == area->top);
H A Dpoly_specific.cpp34 #define ASSERT(x) assert(x) macro
36 #define ASSERT(x) 0 macro
263 ASSERT(taskData != 0);
301 ASSERT(taskData != 0);
333 ASSERT(taskData != 0);
H A Dsharedata.cpp37 #define ASSERT(x) assert(x) macro
39 #define ASSERT(x) macro
279 ASSERT (this->nitems <= this->vsize);
318 ASSERT (this->nitems < this->vsize);
322 ASSERT (this->nitems <= this->vsize);
328 ASSERT(this->nitems <= this->vsize);
329 ASSERT(L == length);
353 ASSERT(this->nitems < this->vsize);
356 ASSERT(this->nitems <= this->vsize);
368 // ASSERT (OBJ_IS_LENGT
[all...]
H A Dexporter.cpp31 #define ASSERT(x) assert(x) macro
34 #define ASSERT(x) macro
142 ASSERT(gMem.eSpaces.size() == 0);
273 ASSERT(space != 0);
289 ASSERT(OBJ_IS_DATAPTR(val));
321 ASSERT(space->spaceType == ST_LOCAL || space->spaceType == ST_PERMANENT ||
346 ASSERT(space->topPointer <= space->top && space->topPointer >= space->bottom);
383 ASSERT(space->topPointer <= space->top && space->topPointer >= space->bottom);
405 ASSERT(m < tombs); // Should be there.
457 ASSERT(ob
[all...]
H A Dgc_copy_phase.cpp67 #define ASSERT(x) assert(x) macro
69 #define ASSERT(x) macro
204 ASSERT(!isMutable || src->isMutable);
278 ASSERT (OBJ_IS_LENGTH(L));
H A Dquick_gc.cpp43 #define ASSERT(x) assert(x) macro
45 #define ASSERT(x) macro
337 ASSERT(OBJ_IS_DATAPTR(val));
408 ASSERT(space->spaceOwner == 0);
461 ASSERT(o->ContainsNormalLengthWord());
476 ASSERT(obj->ContainsNormalLengthWord());
478 ASSERT(space->partialGCScan+length+1 <= space->lowerAllocPtr);
519 ASSERT (lSpace->top >= lSpace->upperAllocPtr);
520 ASSERT (lSpace->upperAllocPtr >= lSpace->lowerAllocPtr);
521 ASSERT (lSpac
[all...]
H A Dsighandler.cpp47 #define ASSERT(x) assert(x) macro
49 #define ASSERT(x) 0 macro
283 ASSERT(taskData != 0);
338 ASSERT(taskData != 0);
390 ASSERT(sigaltstack_result == 0);
H A Dprocess_env.cpp62 #define ASSERT(x) assert(x) macro
64 #define ASSERT(x) 0 macro
555 ASSERT(taskData != 0);
580 ASSERT(taskData != 0);
593 ASSERT(taskData != 0);
603 ASSERT(taskData != 0);
633 ASSERT(taskData != 0);
653 ASSERT(taskData != 0);
702 ASSERT(taskData != 0);
H A Dx86_dep.cpp44 #define ASSERT(x) assert(x) macro
46 #define ASSERT(x) macro
347 ASSERT(pt->IsTagged()); // It must be an integer
383 ASSERT (i <= old_length);
398 ASSERT(old == ((PolyWord*)old_stack)+old_length);
399 ASSERT(newp == ((PolyWord*)new_stack)+new_length);
566 ASSERT(assemblyInterface.handlerRegister == regSP());
901 ASSERT(pcPtr[0] == 0x89);
914 ASSERT (wordsNeeded <= (1<<24)); /* Max object size including length/flag word is 2^24 words. */
916 ASSERT(pcPt
[all...]
H A Dgctaskfarm.cpp43 #define ASSERT(x) assert(x) macro
45 #define ASSERT(x) macro
182 ASSERT(work != 0);
H A Dmemmgr.cpp30 #define ASSERT(x) assert(x) macro
32 #define ASSERT(x) macro
203 ASSERT(space->allocationSpace);
566 ASSERT(available >= minWords);
896 ASSERT(false); // It should always be in the table.
935 ASSERT(! (*tt)->isSpace);
940 ASSERT(r < 256);
942 ASSERT(s >= r && s <= 256);
957 ASSERT(t->tree[r] == 0);
976 ASSERT(!
[all...]
H A Dgc_share_phase.cpp75 #define ASSERT(x) assert(x) macro
77 #define ASSERT(x) macro
201 ASSERT(p.IsDataPtr());
209 ASSERT(obj == (*pt).AsObjPtr());
221 ASSERT(obj->ContainsNormalLengthWord());
231 ASSERT(obj->ContainsNormalLengthWord());
234 ASSERT(! space->bitmap.TestBit(space->wordNo(lengthWord)));

Completed in 132 milliseconds

123