assert 897 exec/exec.c assert (new3 == new + effective_size); assert 900 exec/exec.c assert (!(new3 & (sizeof new3 - 2))); assert 1227 exec/exec.c assert (!(loader_area_used & (sizeof (USER_WORD) - 1))); assert 189 exec/trace.c assert (n_bytes < sizeof (word)); assert 439 exec/trace.c assert (tracee->new_child); assert 1016 exec/trace.c assert (!tracee->waiting_for_syscall); assert 889 lib-src/ebrowse.c assert (cls != NULL); assert 1098 lib-src/ebrowse.c assert (namespace_sp > 0); assert 3036 lib-src/ebrowse.c assert (LOOKING_AT (IDENT)); assert 1652 lib-src/etags.c assert (fdp->infname != NULL); assert 1829 lib-src/etags.c assert (np->left == NULL); assert 1831 lib-src/etags.c assert (fdhead == curfdp); assert 1832 lib-src/etags.c assert (last_node->fdp == curfdp); assert 1980 lib-src/etags.c assert (parser != NULL); assert 2248 lib-src/etags.c assert (last_node->right == NULL); assert 2380 lib-src/etags.c assert (np->fdp != NULL); assert 2925 lib-src/etags.c assert (nl == 0 || cstack.bracelev[nl-1] < bracelev); assert 4245 lib-src/etags.c assert (bracelev == typdefbracelev); assert 4382 lib-src/etags.c ((assert ("" kw), true) /* syntax error if not a literal string */ \ assert 4389 lib-src/etags.c ((assert ("" kw), true) /* syntax error if not a literal string */ \ assert 7106 lib-src/etags.c assert (size >= 0); assert 7121 lib-src/etags.c assert (t <= result + size); assert 7122 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 300 lib/mini-gmp.c assert (size > 0); assert 377 lib/mini-gmp.c assert (size > 0); assert 451 lib/mini-gmp.c assert (n > 0); assert 489 lib/mini-gmp.c assert (an >= bn); assert 502 lib/mini-gmp.c assert (n > 0); assert 541 lib/mini-gmp.c assert (an >= bn); assert 554 lib/mini-gmp.c assert (n >= 1); assert 577 lib/mini-gmp.c assert (n >= 1); assert 603 lib/mini-gmp.c assert (n >= 1); assert 627 lib/mini-gmp.c assert (un >= vn); assert 628 lib/mini-gmp.c assert (vn >= 1); assert 629 lib/mini-gmp.c assert (!GMP_MPN_OVERLAP_P(rp, un + vn, up, un)); assert 630 lib/mini-gmp.c assert (!GMP_MPN_OVERLAP_P(rp, un + vn, vp, vn)); assert 668 lib/mini-gmp.c assert (n >= 1); assert 669 lib/mini-gmp.c assert (cnt >= 1); assert 670 lib/mini-gmp.c assert (cnt < GMP_LIMB_BITS); assert 698 lib/mini-gmp.c assert (n >= 1); assert 699 lib/mini-gmp.c assert (cnt >= 1); assert 700 lib/mini-gmp.c assert (cnt < GMP_LIMB_BITS); assert 724 lib/mini-gmp.c assert (ux == 0 || ux == GMP_LIMB_MAX); assert 725 lib/mini-gmp.c assert (0 <= i && i <= un ); assert 796 lib/mini-gmp.c assert (sizeof (unsigned) * 2 >= sizeof (mp_limb_t)); assert 911 lib/mini-gmp.c assert (d > 0); assert 924 lib/mini-gmp.c assert (d1 > 0); assert 941 lib/mini-gmp.c assert (dn > 0); assert 954 lib/mini-gmp.c assert (d1 > 0); assert 1018 lib/mini-gmp.c assert (nn >= 2); assert 1045 lib/mini-gmp.c assert ((r0 & (GMP_LIMB_MAX >> (GMP_LIMB_BITS - shift))) == 0); assert 1066 lib/mini-gmp.c assert (dn > 2); assert 1067 lib/mini-gmp.c assert (nn >= dn); assert 1072 lib/mini-gmp.c assert ((d1 & GMP_LIMB_HIGHBIT) != 0); assert 1122 lib/mini-gmp.c assert (dn > 0); assert 1123 lib/mini-gmp.c assert (nn >= dn); assert 1134 lib/mini-gmp.c assert (inv->d1 == dp[dn-1]); assert 1135 lib/mini-gmp.c assert (inv->d0 == dp[dn-2]); assert 1136 lib/mini-gmp.c assert ((inv->d1 & GMP_LIMB_HIGHBIT) != 0); assert 1157 lib/mini-gmp.c assert (dn > 0); assert 1158 lib/mini-gmp.c assert (nn >= dn); assert 1219 lib/mini-gmp.c assert (u > 0); assert 1268 lib/mini-gmp.c assert ((r & (GMP_LIMB_MAX >> (GMP_LIMB_BITS - binv->shift))) == 0); assert 1325 lib/mini-gmp.c assert (un > 0); assert 1326 lib/mini-gmp.c assert (up[un-1] > 0); assert 1379 lib/mini-gmp.c assert (sn > 0); assert 1403 lib/mini-gmp.c assert (j == sn); assert 1672 lib/mini-gmp.c assert (n > 0); assert 1745 lib/mini-gmp.c assert (x < 1.0); assert 1753 lib/mini-gmp.c assert (x < 1.0); assert 2435 lib/mini-gmp.c assert (rn > 0); assert 2671 lib/mini-gmp.c assert ( (u | v) > 0); assert 2731 lib/mini-gmp.c assert (r->_mp_size > 0); assert 2958 lib/mini-gmp.c assert (mpz_even_p (t0) && mpz_even_p (s0)); assert 3310 lib/mini-gmp.c assert (n > 0); assert 3311 lib/mini-gmp.c assert (p [n-1] != 0); assert 3321 lib/mini-gmp.c assert (n > 0); assert 3322 lib/mini-gmp.c assert (p [n-1] != 0); assert 3328 lib/mini-gmp.c assert (s->_mp_size == (n+1)/2); assert 3391 lib/mini-gmp.c assert (b & 1); assert 3392 lib/mini-gmp.c assert (a != 0); assert 3418 lib/mini-gmp.c assert (a != 0); assert 3450 lib/mini-gmp.c assert (b0 > 0); assert 3451 lib/mini-gmp.c assert (Q <= - (LONG_MIN / 2)); assert 3452 lib/mini-gmp.c assert (Q >= - (LONG_MAX / 2)); assert 3453 lib/mini-gmp.c assert (mpz_cmp_ui (n, 4) > 0); assert 3454 lib/mini-gmp.c assert (mpz_odd_p (n)); assert 3512 lib/mini-gmp.c assert (mpz_odd_p (n)); assert 3558 lib/mini-gmp.c assert (k > 0); assert 3598 lib/mini-gmp.c assert (n->_mp_size != 0); assert 3637 lib/mini-gmp.c assert (j >= 30); assert 3761 lib/mini-gmp.c assert (limb_index < dn); assert 3862 lib/mini-gmp.c assert (vc == 0); assert 3935 lib/mini-gmp.c assert (vc == 0); assert 4004 lib/mini-gmp.c assert (vc == 0); assert 4087 lib/mini-gmp.c assert (vn < 0); assert 4108 lib/mini-gmp.c assert (vc == 0); assert 4199 lib/mini-gmp.c assert (base >= 2); assert 4200 lib/mini-gmp.c assert (base <= 62); assert 4328 lib/mini-gmp.c assert (base == 0 || (base >= 2 && base <= 62)); assert 4413 lib/mini-gmp.c assert (rn > 0); assert 4416 lib/mini-gmp.c assert (rn <= alloc); assert 4476 lib/mini-gmp.c assert (order == 1 || order == -1); assert 4477 lib/mini-gmp.c assert (endian >= -1 && endian <= 1); assert 4515 lib/mini-gmp.c assert (i + (bytes > 0) == rn); assert 4534 lib/mini-gmp.c assert (order == 1 || order == -1); assert 4535 lib/mini-gmp.c assert (endian >= -1 && endian <= 1); assert 4536 lib/mini-gmp.c assert (size > 0 || u->_mp_size == 0); assert 4556 lib/mini-gmp.c assert (limb != 0); assert 4619 lib/mini-gmp.c assert (i == un); assert 4620 lib/mini-gmp.c assert (k == count); assert 44 lib/regex_internal.h # define DEBUG_ASSERT(x) assert (x) assert 95 src/android-asset.h assert (manager->class); assert 101 src/android-asset.h assert (manager->open); assert 105 src/android-asset.h assert (manager->fd_class); assert 110 src/android-asset.h assert (manager->get_length); assert 116 src/android-asset.h assert (manager->create_input_stream); assert 121 src/android-asset.h assert (manager->close); assert 125 src/android-asset.h assert (manager->input_stream_class); assert 130 src/android-asset.h assert (manager->read); assert 135 src/android-asset.h assert (manager->stream_close); assert 141 src/android-asset.h assert (manager->class); assert 146 src/android-asset.h assert (manager->fd_class); assert 151 src/android-asset.h assert (manager->input_stream_class); assert 360 src/android-asset.h assert (nbytes >= 0); assert 1508 src/android.c assert (service_class.c_name); assert 1624 src/android.c assert (pixmap_class.c_name); assert 1656 src/android.c assert (point_class.c_name); assert 1686 src/android.c assert (drawable_class.c_name); assert 1717 src/android.c assert (window_class.c_name); assert 1770 src/android.c assert (cursor_class.c_name); assert 2565 src/android.c assert (class != NULL); assert 2570 src/android.c assert (method != NULL); assert 2713 src/android.c assert (class != NULL); assert 2719 src/android.c assert (constructor != NULL); assert 2795 src/android.c assert (android_rect_class); assert 2800 src/android.c assert (emacs_gc_constructor); assert 2822 src/android.c assert (emacs_gc_class); assert 2828 src/android.c assert (emacs_gc_constructor); assert 2834 src/android.c assert (emacs_gc_mark_dirty); assert 6391 src/android.c assert (android_query_function != NULL); assert 90 src/androidselect.c assert (clipboard_class.c_name); assert 107 src/androidselect.c assert (clipboard_class.make_clipboard); assert 5487 src/androidterm.c assert (class); assert 5491 src/androidterm.c assert (request_class.hint_max_chars); assert 5495 src/androidterm.c assert (request_class.token); assert 5505 src/androidterm.c assert (text_class.class); assert 5510 src/androidterm.c assert (text_class.class); assert 5809 src/androidterm.c assert (class); assert 5821 src/androidterm.c assert (constructor); assert 5917 src/androidterm.c assert (class); assert 5929 src/androidterm.c assert (constructor); assert 331 src/androidvfs.c assert (cursor_class.c_name); assert 362 src/androidvfs.c assert (entry_class.d_type && entry_class.d_name); assert 390 src/androidvfs.c assert (fd_class.c_name); assert 3107 src/androidvfs.c assert (rc != 1); assert 6333 src/androidvfs.c assert (java_string_class); assert 6338 src/androidvfs.c assert (java_string_class); assert 6472 src/androidvfs.c assert (rc != 1); 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 4297 src/sfnt.c assert (start <= row_end); assert 4313 src/sfnt.c assert (start <= row_end); assert 4340 src/sfnt.c assert (start <= row_end); assert 4352 src/sfnt.c assert (start <= row_end); 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);