assert 333 modules/er/er.c assert( er_fac_err[facidx].code == fac ); /* just bail out. */ assert 348 modules/er/er.c assert( er_fac_err[facidx].errs != NULL ); assert 366 modules/er/er.c assert( er_fac_err[facidx].errs[erridx].code != -1 ); assert 51 modules/ma/bitmask.c assert(b < MASK_MAX); assert 52 modules/ma/bitmask.c assert(v == 0 || v == 1); assert 375 modules/rx/rx_node.c assert(curnode->leaves_ptr == NULL); assert 388 modules/rx/rx_node.c assert(tree->top_ptr == curnode); assert 403 modules/rx/rx_node.c assert( schild != NULL && parent->child_ptr[ ! slink] == NULL); assert 410 modules/rx/rx_node.c assert(tree->top_ptr == parent); assert 528 modules/rx/rx_node.c assert( dataleaf ); assert 529 modules/rx/rx_node.c assert( newpref->bits <= IP_sizebits(tree->space) ); assert 79 modules/up/UP_extrnl_syntax.cc assert(index(str,' ') != NULL); assert 244 modules/up/UP_extrnl_syntax.cc assert((next->data) != NULL); assert 2510 modules/up/UP_util.cc assert(erase_str != NULL); assert 250 modules/up/src/Core/gnu/ACG.cc assert(sizeof(double) == 2 * sizeof(_G_int32_t)); assert 43 modules/up/src/Core/gnu/RNG.cc assert (sizeof(double) == 2 * sizeof(_G_uint32_t)); assert 117 modules/up/src/Core/gnu/RNG.cc assert( result.s < 1.0 && result.s >= 0); assert 128 modules/up/src/Core/gnu/RNG.cc assert( result.d < 1.0 && result.d >= 0); assert 1536 modules/up/src/Core/gnu/malloc.c assert(!chunk_is_mmapped(p)); assert 1539 modules/up/src/Core/gnu/malloc.c assert((char*)p >= sbrk_base); assert 1541 modules/up/src/Core/gnu/malloc.c assert((char*)p + sz <= (char*)top); assert 1543 modules/up/src/Core/gnu/malloc.c assert((char*)p + sz <= sbrk_base + sbrked_mem); assert 1560 modules/up/src/Core/gnu/malloc.c assert(!inuse(p)); assert 1565 modules/up/src/Core/gnu/malloc.c assert((sz & MALLOC_ALIGN_MASK) == 0); assert 1566 modules/up/src/Core/gnu/malloc.c assert(aligned_OK(chunk2mem(p))); assert 1568 modules/up/src/Core/gnu/malloc.c assert(next->prev_size == sz); assert 1570 modules/up/src/Core/gnu/malloc.c assert(prev_inuse(p)); assert 1571 modules/up/src/Core/gnu/malloc.c assert (next == top || inuse(next)); assert 1574 modules/up/src/Core/gnu/malloc.c assert(p->fd->bk == p); assert 1575 modules/up/src/Core/gnu/malloc.c assert(p->bk->fd == p); assert 1578 modules/up/src/Core/gnu/malloc.c assert(sz == SIZE_SZ); assert 1591 modules/up/src/Core/gnu/malloc.c assert(inuse(p)); assert 1600 modules/up/src/Core/gnu/malloc.c assert(next_chunk(prv) == p); assert 1605 modules/up/src/Core/gnu/malloc.c assert(prev_inuse(next)); assert 1606 modules/up/src/Core/gnu/malloc.c assert(chunksize(next) >= MINSIZE); assert 1625 modules/up/src/Core/gnu/malloc.c assert((long)sz >= (long)MINSIZE); assert 1626 modules/up/src/Core/gnu/malloc.c assert((sz & MALLOC_ALIGN_MASK) == 0); assert 1627 modules/up/src/Core/gnu/malloc.c assert(room >= 0); assert 1628 modules/up/src/Core/gnu/malloc.c assert(room < (long)MINSIZE); assert 1631 modules/up/src/Core/gnu/malloc.c assert(aligned_OK(chunk2mem(p))); assert 1635 modules/up/src/Core/gnu/malloc.c assert(prev_inuse(p)); assert 1769 modules/up/src/Core/gnu/malloc.c assert(aligned_OK(chunk2mem(p))); assert 1795 modules/up/src/Core/gnu/malloc.c assert (chunk_is_mmapped(p)); assert 1796 modules/up/src/Core/gnu/malloc.c assert(! ((char*)p >= sbrk_base && (char*)p < sbrk_base + sbrked_mem)); assert 1797 modules/up/src/Core/gnu/malloc.c assert((n_mmaps > 0)); assert 1798 modules/up/src/Core/gnu/malloc.c assert(((p->prev_size + size) & (malloc_getpagesize-1)) == 0); assert 1806 modules/up/src/Core/gnu/malloc.c assert(ret == 0); assert 1822 modules/up/src/Core/gnu/malloc.c assert (chunk_is_mmapped(p)); assert 1823 modules/up/src/Core/gnu/malloc.c assert(! ((char*)p >= sbrk_base && (char*)p < sbrk_base + sbrked_mem)); assert 1824 modules/up/src/Core/gnu/malloc.c assert((n_mmaps > 0)); assert 1825 modules/up/src/Core/gnu/malloc.c assert(((size + offset) & (malloc_getpagesize-1)) == 0); assert 1836 modules/up/src/Core/gnu/malloc.c assert(aligned_OK(chunk2mem(p))); assert 1838 modules/up/src/Core/gnu/malloc.c assert((p->prev_size == offset)); assert 1966 modules/up/src/Core/gnu/malloc.c assert(((unsigned long)((char*)top + top_size) & (pagesz - 1)) == 0); assert 2716 modules/up/src/Core/gnu/malloc.c assert (newsize >= nb && (((unsigned long)(chunk2mem(p))) % alignment) == 0); assert 595 modules/up/src/Core/gnu/regex.c assert (p + *p < pend); assert 1311 modules/up/src/Core/gnu/regex.c assert (p - 1 > pattern); assert 1671 modules/up/src/Core/gnu/regex.c assert (compile_stack.avail != 0); assert 1906 modules/up/src/Core/gnu/regex.c assert (beg_interval); assert 2484 modules/up/src/Core/gnu/regex.c assert (!FAIL_STACK_EMPTY ()); \ assert 2491 modules/up/src/Core/gnu/regex.c assert (fail_stack.avail >= NUM_NONREG_ITEMS); \ assert 2575 modules/up/src/Core/gnu/regex.c assert (fastmap != NULL && p != NULL); assert 2595 modules/up/src/Core/gnu/regex.c assert (p < pend); assert 3483 modules/up/src/Core/gnu/regex.c assert (bufp->regs_allocated == REGS_FIXED); assert 4149 modules/up/src/Core/gnu/regex.c assert (mcnt >= 0); assert 4317 modules/up/src/Core/gnu/regex.c assert (p <= pend); assert 4463 modules/up/src/Core/gnu/regex.c assert (p1[1] == **p); assert 4549 modules/up/src/Core/gnu/regex.c assert (reg_no > 0 && reg_no <= MAX_REGNUM); assert 150 modules/up/src/Core/util/Buffer.cc assert(!callerAllocated); // !!! assert 201 modules/up/src/Core/util/Buffer.cc assert(atOffset + sz <= size); assert 595 modules/up/src/gnug++/regex.c assert (p + *p < pend); assert 1311 modules/up/src/gnug++/regex.c assert (p - 1 > pattern); assert 1671 modules/up/src/gnug++/regex.c assert (compile_stack.avail != 0); assert 1906 modules/up/src/gnug++/regex.c assert (beg_interval); assert 2484 modules/up/src/gnug++/regex.c assert (!FAIL_STACK_EMPTY ()); \ assert 2491 modules/up/src/gnug++/regex.c assert (fail_stack.avail >= NUM_NONREG_ITEMS); \ assert 2575 modules/up/src/gnug++/regex.c assert (fastmap != NULL && p != NULL); assert 2595 modules/up/src/gnug++/regex.c assert (p < pend); assert 3483 modules/up/src/gnug++/regex.c assert (bufp->regs_allocated == REGS_FIXED); assert 4149 modules/up/src/gnug++/regex.c assert (mcnt >= 0); assert 4317 modules/up/src/gnug++/regex.c assert (p <= pend); assert 4463 modules/up/src/gnug++/regex.c assert (p1[1] == **p); assert 4549 modules/up/src/gnug++/regex.c assert (reg_no > 0 && reg_no <= MAX_REGNUM); assert 66 modules/up/src/util/buffer.cc assert(pzcTempBuffer != NULL); assert 161 utils/text_export/text_export.c assert(strlen(tmp[i].name) < 60); assert 171 utils/text_export/text_export.c assert(strlen(tmp[i].short_name) < 60);