assert 894 lib-src/ebrowse.c assert (cls != NULL); assert 1103 lib-src/ebrowse.c assert (namespace_sp > 0); assert 3041 lib-src/ebrowse.c assert (LOOKING_AT (IDENT)); assert 1651 lib-src/etags.c assert (fdp->infname != NULL); assert 1828 lib-src/etags.c assert (np->left == NULL); assert 1830 lib-src/etags.c assert (fdhead == curfdp); assert 1831 lib-src/etags.c assert (last_node->fdp == curfdp); assert 1979 lib-src/etags.c assert (parser != NULL); assert 2247 lib-src/etags.c assert (last_node->right == NULL); assert 2379 lib-src/etags.c assert (np->fdp != NULL); assert 2924 lib-src/etags.c assert (nl == 0 || cstack.bracelev[nl-1] < bracelev); assert 4244 lib-src/etags.c assert (bracelev == typdefbracelev); assert 4381 lib-src/etags.c ((assert ("" kw), true) /* syntax error if not a literal string */ \ assert 4388 lib-src/etags.c ((assert ("" kw), true) /* syntax error if not a literal string */ \ assert 7105 lib-src/etags.c assert (size >= 0); assert 7120 lib-src/etags.c assert (t <= result + size); assert 7121 lib-src/etags.c assert (t == result + strlen (result)); assert 172 lib-src/seccomp-filter.c assert ((uintptr_t) NULL == 0); assert 93 lib/mini-gmp.c assert (__cy == 0); \ assert 153 lib/mini-gmp.c assert (sizeof (unsigned) * 2 >= sizeof (mp_limb_t)); \ assert 293 lib/mini-gmp.c assert (size > 0); assert 370 lib/mini-gmp.c assert (size > 0); assert 444 lib/mini-gmp.c assert (n > 0); assert 482 lib/mini-gmp.c assert (an >= bn); assert 495 lib/mini-gmp.c assert (n > 0); assert 534 lib/mini-gmp.c assert (an >= bn); assert 547 lib/mini-gmp.c assert (n >= 1); assert 570 lib/mini-gmp.c assert (n >= 1); assert 596 lib/mini-gmp.c assert (n >= 1); assert 620 lib/mini-gmp.c assert (un >= vn); assert 621 lib/mini-gmp.c assert (vn >= 1); assert 622 lib/mini-gmp.c assert (!GMP_MPN_OVERLAP_P(rp, un + vn, up, un)); assert 623 lib/mini-gmp.c assert (!GMP_MPN_OVERLAP_P(rp, un + vn, vp, vn)); assert 661 lib/mini-gmp.c assert (n >= 1); assert 662 lib/mini-gmp.c assert (cnt >= 1); assert 663 lib/mini-gmp.c assert (cnt < GMP_LIMB_BITS); assert 691 lib/mini-gmp.c assert (n >= 1); assert 692 lib/mini-gmp.c assert (cnt >= 1); assert 693 lib/mini-gmp.c assert (cnt < GMP_LIMB_BITS); assert 717 lib/mini-gmp.c assert (ux == 0 || ux == GMP_LIMB_MAX); assert 718 lib/mini-gmp.c assert (0 <= i && i <= un ); assert 789 lib/mini-gmp.c assert (sizeof (unsigned) * 2 >= sizeof (mp_limb_t)); assert 904 lib/mini-gmp.c assert (d > 0); assert 917 lib/mini-gmp.c assert (d1 > 0); assert 934 lib/mini-gmp.c assert (dn > 0); assert 947 lib/mini-gmp.c assert (d1 > 0); assert 1011 lib/mini-gmp.c assert (nn >= 2); assert 1038 lib/mini-gmp.c assert ((r0 & (GMP_LIMB_MAX >> (GMP_LIMB_BITS - shift))) == 0); assert 1059 lib/mini-gmp.c assert (dn > 2); assert 1060 lib/mini-gmp.c assert (nn >= dn); assert 1065 lib/mini-gmp.c assert ((d1 & GMP_LIMB_HIGHBIT) != 0); assert 1115 lib/mini-gmp.c assert (dn > 0); assert 1116 lib/mini-gmp.c assert (nn >= dn); assert 1127 lib/mini-gmp.c assert (inv->d1 == dp[dn-1]); assert 1128 lib/mini-gmp.c assert (inv->d0 == dp[dn-2]); assert 1129 lib/mini-gmp.c assert ((inv->d1 & GMP_LIMB_HIGHBIT) != 0); assert 1150 lib/mini-gmp.c assert (dn > 0); assert 1151 lib/mini-gmp.c assert (nn >= dn); assert 1212 lib/mini-gmp.c assert (u > 0); assert 1261 lib/mini-gmp.c assert ((r & (GMP_LIMB_MAX >> (GMP_LIMB_BITS - binv->shift))) == 0); assert 1318 lib/mini-gmp.c assert (un > 0); assert 1319 lib/mini-gmp.c assert (up[un-1] > 0); assert 1372 lib/mini-gmp.c assert (sn > 0); assert 1396 lib/mini-gmp.c assert (j == sn); assert 1665 lib/mini-gmp.c assert (n > 0); assert 1738 lib/mini-gmp.c assert (x < 1.0); assert 1746 lib/mini-gmp.c assert (x < 1.0); assert 2428 lib/mini-gmp.c assert (rn > 0); assert 2664 lib/mini-gmp.c assert ( (u | v) > 0); assert 2724 lib/mini-gmp.c assert (r->_mp_size > 0); assert 2951 lib/mini-gmp.c assert (mpz_even_p (t0) && mpz_even_p (s0)); assert 3303 lib/mini-gmp.c assert (n > 0); assert 3304 lib/mini-gmp.c assert (p [n-1] != 0); assert 3314 lib/mini-gmp.c assert (n > 0); assert 3315 lib/mini-gmp.c assert (p [n-1] != 0); assert 3321 lib/mini-gmp.c assert (s->_mp_size == (n+1)/2); assert 3384 lib/mini-gmp.c assert (b & 1); assert 3385 lib/mini-gmp.c assert (a != 0); assert 3411 lib/mini-gmp.c assert (a != 0); assert 3443 lib/mini-gmp.c assert (b0 > 0); assert 3444 lib/mini-gmp.c assert (Q <= - (LONG_MIN / 2)); assert 3445 lib/mini-gmp.c assert (Q >= - (LONG_MAX / 2)); assert 3446 lib/mini-gmp.c assert (mpz_cmp_ui (n, 4) > 0); assert 3447 lib/mini-gmp.c assert (mpz_odd_p (n)); assert 3505 lib/mini-gmp.c assert (mpz_odd_p (n)); assert 3551 lib/mini-gmp.c assert (k > 0); assert 3591 lib/mini-gmp.c assert (n->_mp_size != 0); assert 3630 lib/mini-gmp.c assert (j >= 30); assert 3754 lib/mini-gmp.c assert (limb_index < dn); assert 3855 lib/mini-gmp.c assert (vc == 0); assert 3928 lib/mini-gmp.c assert (vc == 0); assert 3997 lib/mini-gmp.c assert (vc == 0); assert 4080 lib/mini-gmp.c assert (vn < 0); assert 4101 lib/mini-gmp.c assert (vc == 0); assert 4192 lib/mini-gmp.c assert (base >= 2); assert 4193 lib/mini-gmp.c assert (base <= 62); assert 4321 lib/mini-gmp.c assert (base == 0 || (base >= 2 && base <= 62)); assert 4406 lib/mini-gmp.c assert (rn > 0); assert 4409 lib/mini-gmp.c assert (rn <= alloc); assert 4469 lib/mini-gmp.c assert (order == 1 || order == -1); assert 4470 lib/mini-gmp.c assert (endian >= -1 && endian <= 1); assert 4508 lib/mini-gmp.c assert (i + (bytes > 0) == rn); assert 4527 lib/mini-gmp.c assert (order == 1 || order == -1); assert 4528 lib/mini-gmp.c assert (endian >= -1 && endian <= 1); assert 4529 lib/mini-gmp.c assert (size > 0 || u->_mp_size == 0); assert 4549 lib/mini-gmp.c assert (limb != 0); assert 4612 lib/mini-gmp.c assert (i == un); assert 4613 lib/mini-gmp.c assert (k == count); assert 43 lib/regex_internal.h # define DEBUG_ASSERT(x) assert (x) assert 1031 src/ralloc.c assert (first_heap); assert 1032 src/ralloc.c assert (last_heap->end <= (void *) sbrk (0)); assert 1033 src/ralloc.c assert ((void *) first_heap < first_heap->start); assert 1034 src/ralloc.c assert (first_heap->start <= virtual_break_value); assert 1035 src/ralloc.c assert (virtual_break_value <= first_heap->end); assert 1039 src/ralloc.c assert (h->prev == ph); assert 1040 src/ralloc.c assert ((void *) PAGE_ROUNDUP (h->end) == h->end); assert 1044 src/ralloc.c assert ((void *) MEM_ROUNDUP (h->start) == h->start); assert 1046 src/ralloc.c assert ((void *) MEM_ROUNDUP (h->bloc_start) == h->bloc_start); assert 1047 src/ralloc.c assert (h->start <= h->bloc_start && h->bloc_start <= h->end); assert 1051 src/ralloc.c assert (ph->end < h->start); assert 1052 src/ralloc.c assert (h->start <= (void *) h && (void *) (h + 1) <= h->bloc_start); assert 1061 src/ralloc.c assert (found); assert 1062 src/ralloc.c assert (last_heap == ph); assert 1066 src/ralloc.c assert (b->prev == pb); assert 1067 src/ralloc.c assert ((void *) MEM_ROUNDUP (b->data) == b->data); assert 1068 src/ralloc.c assert ((size_t) MEM_ROUNDUP (b->size) == b->size); assert 1078 src/ralloc.c assert (h); assert 1082 src/ralloc.c assert (ph && b->data == h->bloc_start); assert 1088 src/ralloc.c assert (pb->data + pb->size + b->size > ph->end); assert 1093 src/ralloc.c assert (ph->bloc_start + b->size > ph->end); assert 1101 src/ralloc.c assert (last_bloc == pb); assert 1104 src/ralloc.c assert (last_bloc->data + last_bloc->size == break_value); assert 1106 src/ralloc.c assert (first_heap->bloc_start == break_value); assert 53 src/unexcw.c assert (fd >= 0); assert 54 src/unexcw.c assert (exe_header_buffer != 0); assert 57 src/unexcw.c assert (ret != -1); assert 62 src/unexcw.c assert (ret == sizeof (exe_header_buffer->file_header)); assert 64 src/unexcw.c assert (exe_header_buffer->file_header.e_magic == 0x5a4d); assert 65 src/unexcw.c assert (exe_header_buffer->file_header.nt_signature == 0x4550); assert 67 src/unexcw.c assert (exe_header_buffer->file_header.f_magic == 0x8664); assert 69 src/unexcw.c assert (exe_header_buffer->file_header.f_magic == 0x014c); assert 71 src/unexcw.c assert (exe_header_buffer->file_header.f_nscns > 0); assert 72 src/unexcw.c assert (exe_header_buffer->file_header.f_nscns <= assert 74 src/unexcw.c assert (exe_header_buffer->file_header.f_opthdr > 0); assert 79 src/unexcw.c assert (ret == sizeof (exe_header_buffer->file_optional_header)); assert 82 src/unexcw.c assert (exe_header_buffer->file_optional_header.magic == 0x020b); assert 84 src/unexcw.c assert (exe_header_buffer->file_optional_header.magic == 0x010b); assert 92 src/unexcw.c assert (ret == sizeof (exe_header_buffer->section_header[i])); assert 119 src/unexcw.c assert (exe_header != 0); assert 121 src/unexcw.c assert (exe_header->file_header.f_nscns > 0); assert 142 src/unexcw.c assert (ret != -1); assert 146 src/unexcw.c assert (ret == my_edata - (char *) start_address); assert 166 src/unexcw.c assert (ret != -1); assert 194 src/unexcw.c assert (ret != -1); assert 201 src/unexcw.c assert (ret != -1); assert 203 src/unexcw.c assert (ret == 1); assert 209 src/unexcw.c assert (ret != -1); assert 213 src/unexcw.c assert (ret == sizeof (exe_header->section_header[i])); assert 224 src/unexcw.c assert (ret != -1); assert 228 src/unexcw.c assert (ret == (my_endbss - (char *) start_address)); assert 238 src/unexcw.c assert (found_bss == 1); assert 239 src/unexcw.c assert (found_data == 1); assert 278 src/unexcw.c assert (fd_in >= 0); assert 280 src/unexcw.c assert (fd_out >= 0); assert 290 src/unexcw.c assert (ret > 0); assert 293 src/unexcw.c assert (ret2 == ret); assert 296 src/unexcw.c assert (ret == 0); assert 301 src/unexcw.c assert (ret == 0); assert 1334 src/unexmacosx.c assert (((vm_address_t) p % 16) == 0); assert 1347 src/unexmacosx.c assert (((vm_address_t) ptr % 16) == 8); assert 1374 src/unexmacosx.c assert (((vm_address_t) p % 16) == 0); assert 1388 src/unexmacosx.c assert (((vm_address_t) ptr % 16) == 8); assert 152 test/manual/etags/c-src/etags.c #define streq(s,t) (assert ((s)!=NULL || (t)!=NULL), !strcmp (s, t)) assert 153 test/manual/etags/c-src/etags.c #define strcaseeq(s,t) (assert ((s)!=NULL && (t)!=NULL), !c_strcasecmp (s, t)) assert 154 test/manual/etags/c-src/etags.c #define strneq(s,t,n) (assert ((s)!=NULL || (t)!=NULL), !strncmp (s, t, n)) assert 155 test/manual/etags/c-src/etags.c #define strncaseeq(s,t,n) (assert ((s)!=NULL && (t)!=NULL), !c_strncasecmp (s, t, n)) assert 1464 test/manual/etags/c-src/etags.c assert (fdp->infname != NULL); assert 1609 test/manual/etags/c-src/etags.c assert (np->left == NULL); assert 1611 test/manual/etags/c-src/etags.c assert (fdhead == curfdp); assert 1612 test/manual/etags/c-src/etags.c assert (last_node->fdp == curfdp); assert 1774 test/manual/etags/c-src/etags.c assert (parser != NULL); assert 1867 test/manual/etags/c-src/etags.c assert (name == NULL || name[0] != '\0'); assert 1977 test/manual/etags/c-src/etags.c assert (last_node->right == NULL); assert 2053 test/manual/etags/c-src/etags.c assert (np->fdp != NULL); assert 2543 test/manual/etags/c-src/etags.c assert (nl == 0 || cstack.bracelev[nl-1] < bracelev); assert 3745 test/manual/etags/c-src/etags.c assert (bracelev == typdefbracelev); assert 3885 test/manual/etags/c-src/etags.c ((assert ("" kw), true) /* syntax error if not a literal string */ \ assert 3892 test/manual/etags/c-src/etags.c ((assert ("" kw), true) /* syntax error if not a literal string */ \ assert 5791 test/manual/etags/c-src/etags.c assert (size >= 0); assert 5806 test/manual/etags/c-src/etags.c assert (t <= result + size); assert 5807 test/manual/etags/c-src/etags.c assert (t - result == (int)strlen (result)); assert 92 test/src/emacs-module-resources/mod-test.c assert (nargs == 2); assert 93 test/src/emacs-module-resources/mod-test.c assert ((uintptr_t) data == 0x1234); assert 109 test/src/emacs-module-resources/mod-test.c assert (env->non_local_exit_check (env) == emacs_funcall_exit_return); assert 121 test/src/emacs-module-resources/mod-test.c assert (env->non_local_exit_check (env) == emacs_funcall_exit_return); assert 134 test/src/emacs-module-resources/mod-test.c assert (nargs == 1); assert 436 test/src/emacs-module-resources/mod-test.c assert (nargs == 2); assert 467 test/src/emacs-module-resources/mod-test.c assert (nargs == 1); assert 469 test/src/emacs-module-resources/mod-test.c assert (time.tv_nsec >= 0); assert 470 test/src/emacs-module-resources/mod-test.c assert (time.tv_nsec < 2000000000); /* possible leap second */ assert 510 test/src/emacs-module-resources/mod-test.c assert (0 < count && count <= max_count); assert 518 test/src/emacs-module-resources/mod-test.c assert (success); assert 555 test/src/emacs-module-resources/mod-test.c assert (written == count); assert 556 test/src/emacs-module-resources/mod-test.c assert (count <= PTRDIFF_MAX); assert 566 test/src/emacs-module-resources/mod-test.c assert (nargs == 1); assert 569 test/src/emacs-module-resources/mod-test.c assert (LONG_MIN <= time.tv_sec && time.tv_sec <= LONG_MAX); assert 572 test/src/emacs-module-resources/mod-test.c assert (0 <= time.tv_nsec && time.tv_nsec <= ULONG_MAX); assert 584 test/src/emacs-module-resources/mod-test.c assert (nargs == 1); assert 670 test/src/emacs-module-resources/mod-test.c assert (nargs == 1); assert 702 test/src/emacs-module-resources/mod-test.c assert (nargs == 1); assert 710 test/src/emacs-module-resources/mod-test.c assert (0 < nargs); assert 718 test/src/emacs-module-resources/mod-test.c assert (nargs == 2); assert 772 test/src/emacs-module-resources/mod-test.c assert (0 < EMACS_LIMB_MAX); assert 773 test/src/emacs-module-resources/mod-test.c assert (1000000000 <= ULONG_MAX); assert 778 test/src/emacs-module-resources/mod-test.c assert (27 <= sizeof dummy);