eassume 918 src/alloc.c eassume (0 < item_size && 0 < nitems_incr_min && 0 <= n0 && -1 <= nitems_max); eassume 1336 src/alloc.c eassume (0 <= busy && busy <= 2 * ABLOCKS_SIZE - 1); eassume 2066 src/alloc.c eassume (STRING_MULTIBYTE (string)); eassume 2957 src/alloc.c eassume (0 < count); eassume 3064 src/alloc.c #define vroundup(x) (eassume ((x) >= 0), vroundup_ct (x)) eassume 3100 src/alloc.c eassume (VBLOCK_BYTES_MIN <= nbytes); eassume 3174 src/alloc.c eassume (header_size <= nbytes); eassume 3220 src/alloc.c eassume (VBLOCK_BYTES_MIN <= nbytes && nbytes <= VBLOCK_BYTES_MAX); eassume 3221 src/alloc.c eassume (nbytes % roundup_size == 0); eassume 7023 src/alloc.c eassume (!mark_stack_empty_p ()); eassume 7061 src/alloc.c eassume (n >= 0); eassume 7085 src/alloc.c eassume (mark_stk.sp >= base_sp && base_sp >= 0); eassume 136 src/android.h eassume (value >= __ANDROID_API__); value; }) eassume 3832 src/androidterm.c eassume (ch <= MAX_CHAR); eassume 316 src/bignum.c eassume (0 <= size && size <= INT_MAX); eassume 530 src/bignum.c eassume (0 < nlimbs); eassume 1235 src/buffer.c eassume (0 <= r); eassume 861 src/character.c eassume (CHARACTERP (args[i])); eassume 230 src/character.h eassume (0 <= c); eassume 250 src/character.h eassume (0 < len && len <= MAX_MULTIBYTE_LENGTH); eassume 381 src/character.h eassume (0xC0 <= c); eassume 394 src/character.h eassume (MAX_2_BYTE_CHAR < d && d <= MAX_3_BYTE_CHAR); eassume 402 src/character.h eassume (MAX_3_BYTE_CHAR < d && d <= MAX_4_BYTE_CHAR); eassume 408 src/character.h eassume (MAX_4_BYTE_CHAR < d && d <= MAX_5_BYTE_CHAR); eassume 861 src/composite.c eassume (0 < len); eassume 2764 src/data.c eassume (false); eassume 2973 src/data.c eassume (p > buffer && p - 1 < end); eassume 3085 src/data.c default: eassume (false); eassume 3146 src/data.c eassume (false); eassume 3170 src/data.c eassume (2 <= nargs); eassume 3210 src/data.c default: eassume (false); eassume 3467 src/data.c eassume (FIXNUMP (value)); eassume 3760 src/data.c eassume (0); eassume 3772 src/data.c eassume (precondition); eassume 398 src/dispnew.c eassume (w != NULL || matrix->pool != NULL); eassume 345 src/doprnt.c eassume (false); eassume 382 src/doprnt.c eassume (false); eassume 2012 src/editfns.c eassume (size_a >= 0); eassume 2013 src/editfns.c eassume (size_b >= 0); eassume 2164 src/editfns.c eassume (0 <= i); eassume 2171 src/editfns.c eassume (0 <= i); eassume 1190 src/emacs-module.c eassume (false); eassume 1259 src/emacs-module.c eassume (0 <= func->min_arity); eassume 2626 src/emacs.c eassume (false); eassume 1698 src/eval.c eassume (false); eassume 3024 src/eval.c eassume (numargs >= 0); eassume 3035 src/eval.c eassume (subr->max_args <= ARRAYELTS (argbuf)); eassume 1822 src/frame.c eassume (CONSP (Vframe_list)); eassume 1846 src/frame.c eassume (CONSP (Vframe_list)); eassume 2175 src/frame.c eassume (CONSP (Vframe_list)); eassume 1645 src/frame.h eassume (0 <= used); eassume 1667 src/frame.h eassume (0 <= used); eassume 5170 src/gtkutil.c eassume (false); eassume 1269 src/haikuterm.c eassume (ch <= MAX_CHAR); eassume 11896 src/image.c eassume (rsvg_handle); eassume 12103 src/image.c eassume (rsvg_handle); eassume 12201 src/image.c eassume (err == NULL); eassume 680 src/json.c eassume (false); eassume 1699 src/lisp.h eassume (0 <= nchars); eassume 1714 src/lisp.h eassume (0 <= nbytes); eassume 1773 src/lisp.h eassume (0 <= size); eassume 1864 src/lisp.h eassume (0 <= size && size <= EMACS_INT_MAX - (BITS_PER_BITS_WORD - 1)); eassume 1871 src/lisp.h eassume (0 <= size && size <= EMACS_INT_MAX - (BITS_PER_BITS_WORD - 1)); eassume 1898 src/lisp.h eassume (0 <= size); eassume 1919 src/lisp.h eassume (0 <= i); eassume 1936 src/lisp.h eassume (0 <= i); eassume 2288 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_VARALIAS && sym->u.s.val.alias); eassume 2294 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_LOCALIZED && sym->u.s.val.blv); eassume 2300 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_FORWARDED && sym->u.s.val.fwd.fwdptr); eassume 2313 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_VARALIAS && v); eassume 2319 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_LOCALIZED && v); eassume 2325 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_FORWARDED && v); eassume 2520 src/lisp.h eassume (0 < size); eassume 3019 src/lisp.h eassume (0 <= result); eassume 3943 src/lisp.h eassume (0 <= a && a >> 30 >> 30 == 0); eassume 3912 src/lread.c eassume (rdstack.sp > 0); eassume 3919 src/lread.c eassume (rdstack.sp > 0); eassume 1577 src/menu.c eassume (f && FRAME_LIVE_P (f)); eassume 3805 src/pdumper.c eassume (ctx); /* Pacify GCC 9.2.1 -O3 -Wnull-dereference. */ eassume 3818 src/pdumper.c eassume (!"not reached"); eassume 5497 src/pdumper.c eassume (reloc.length > 0); eassume 5503 src/pdumper.c eassume (reloc.length > 0); eassume 5504 src/pdumper.c eassume (reloc.length <= sizeof (reloc.u.immediate)); eassume 5521 src/pdumper.c eassume (reloc.length <= Lisp_Float); eassume 1608 src/pgtkterm.c eassume (ch <= MAX_CHAR); eassume 1355 src/print.c eassume (n >= 0); eassume 1373 src/print.c eassume (!pp_stack_empty_p ()); eassume 3588 src/regex-emacs.c eassume (0 <= c && 0 <= corig); eassume 3895 src/regex-emacs.c eassume (0 <= size1); eassume 3896 src/regex-emacs.c eassume (0 <= size2); eassume 3897 src/regex-emacs.c eassume (0 <= pos && pos <= stop && stop <= size1 + size2); eassume 3947 src/regex-emacs.c eassume (0 < num_regs); eassume 1831 src/search.c eassume (0x80 <= char_base && char_base <= MAX_CHAR); eassume 132 src/sort.c eassume (lo <= start && start <= hi); eassume 141 src/sort.c eassume (l < r); eassume 149 src/sort.c eassume (l == r); eassume 172 src/sort.c eassume (lo < hi); eassume 228 src/sort.c eassume (a && n > 0 && hint >= 0 && hint < n); eassume 243 src/sort.c eassume (ofs <= (PTRDIFF_MAX - 1) / 2); eassume 266 src/sort.c eassume (ofs <= (PTRDIFF_MAX - 1) / 2); eassume 278 src/sort.c eassume (-1 <= lastofs && lastofs < ofs && ofs <= n); eassume 292 src/sort.c eassume (lastofs == ofs); /* Then a[ofs-1] < key <= a[ofs]. */ eassume 312 src/sort.c eassume (a && n > 0 && hint >= 0 && hint < n); eassume 327 src/sort.c eassume (ofs <= (PTRDIFF_MAX - 1) / 2); eassume 351 src/sort.c eassume (ofs <= (PTRDIFF_MAX - 1) / 2); eassume 362 src/sort.c eassume (-1 <= lastofs && lastofs < ofs && ofs <= n); eassume 376 src/sort.c eassume (lastofs == ofs); /* Now a[ofs-1] <= key < a[ofs]. */ eassume 385 src/sort.c eassume (ms != NULL); eassume 407 src/sort.c eassume (ms != NULL); eassume 411 src/sort.c eassume (ms->reloc.src != NULL); eassume 425 src/sort.c eassume (ms != NULL); eassume 435 src/sort.c eassume (*ms->reloc.src != NULL && *ms->reloc.dst != NULL); eassume 454 src/sort.c eassume (ms != NULL); eassume 496 src/sort.c eassume (ms && ssa && ssb && na > 0 && nb > 0); eassume 497 src/sort.c eassume (ssa + na == ssb); eassume 521 src/sort.c eassume (na > 1 && nb > 0); eassume 552 src/sort.c eassume (na > 1 && nb > 0); eassume 601 src/sort.c eassume (na == 1 && nb > 0); eassume 621 src/sort.c eassume (ms && ssa && ssb && na > 0 && nb > 0); eassume 622 src/sort.c eassume (ssa + na == ssb); eassume 647 src/sort.c eassume (na > 0 && nb > 1); eassume 677 src/sort.c eassume (na > 0 && nb > 1); eassume 727 src/sort.c eassume (nb == 1 && na > 0); eassume 742 src/sort.c eassume (ms != NULL); eassume 743 src/sort.c eassume (ms->n >= 2); eassume 744 src/sort.c eassume (i >= 0); eassume 745 src/sort.c eassume (i == ms->n - 2 || i == ms->n - 3); eassume 751 src/sort.c eassume (na > 0 && nb > 0); eassume 752 src/sort.c eassume (ssa + na == ssb); eassume 765 src/sort.c eassume (k >= 0); eassume 776 src/sort.c eassume (nb > 0); eassume 794 src/sort.c eassume (s1 >= 0); eassume 795 src/sort.c eassume (n1 > 0 && n2 > 0); eassume 796 src/sort.c eassume (s1 + n1 + n2 <= n); eassume 814 src/sort.c eassume (b >= a); eassume 822 src/sort.c eassume (a < b && b < n); eassume 839 src/sort.c eassume (ms != NULL); eassume 842 src/sort.c eassume (ms->n > 0); eassume 851 src/sort.c eassume (ms->n < 2 || p[ms->n - 2].power < power); eassume 865 src/sort.c eassume (ms != NULL); eassume 890 src/sort.c eassume (n >= 0); eassume 954 src/sort.c eassume (ms.n == 0 || ms.pending[ms.n - 1].base + eassume 958 src/sort.c eassume (ms.n < MAX_MERGE_PENDING); eassume 968 src/sort.c eassume (ms.n == 1); eassume 969 src/sort.c eassume (ms.pending[0].len == length); eassume 69 src/sysselect.h eassume (0 <= fd && fd < FD_SETSIZE); eassume 76 src/sysselect.h eassume (0 <= fd && fd < FD_SETSIZE); eassume 83 src/sysselect.h eassume (0 <= fd && fd < FD_SETSIZE); eassume 421 src/timefns.c eassume (scale < flt_radix_power_size); eassume 672 src/timefns.c eassume (0 <= lo_2digits && lo_2digits < FLT_RADIX * FLT_RADIX); eassume 752 src/timefns.c eassume (false); eassume 809 src/timefns.c eassume (false); eassume 647 src/treesit.c eassume (handle != NULL); eassume 308 src/unexelf.c eassume (old_bss_seg); eassume 552 src/w32font.c eassume (0 <= nglyphs); /* pacify GCC warning on next line */ eassume 22536 src/xdisp.c eassume (row && MATRIX_ROW_DISPLAYS_TEXT_P (row)); eassume 22728 src/xdisp.c eassume (false); eassume 30134 src/xdisp.c eassume (pcm); eassume 30488 src/xdisp.c eassume (false) eassume 32662 src/xdisp.c eassume (0 < glyph_len); /* See Bug#8512. */ eassume 3004 src/xterm.c eassume (dpyinfo); eassume 8815 src/xterm.c eassume (ch <= MAX_CHAR); eassume 9058 src/xterm.c eassume (dpyinfo); eassume 9336 src/xterm.c eassume (dpyinfo); eassume 9446 src/xterm.c eassume (dpyinfo); eassume 27791 src/xterm.c eassume (0 <= actual_bytes); eassume 30257 src/xterm.c eassume (gdpy); eassume 236 src/xwidget.h INLINE void x_draw_xwidget_glyph_string (struct glyph_string *s) { eassume (0); } eassume 237 src/xwidget.h INLINE struct xwidget *lookup_xwidget (Lisp_Object obj) { eassume (0); } eassume 1402 test/manual/etags/c-src/emacs/src/lisp.h eassume (0 <= size); eassume 1423 test/manual/etags/c-src/emacs/src/lisp.h eassume (0 <= size && size <= EMACS_INT_MAX - (BITS_PER_BITS_WORD - 1)); eassume 1430 test/manual/etags/c-src/emacs/src/lisp.h eassume (0 <= size && size <= EMACS_INT_MAX - (BITS_PER_BITS_WORD - 1)); eassume 1439 test/manual/etags/c-src/emacs/src/lisp.h eassume (0 <= i && i < bool_vector_size (a)); eassume 1457 test/manual/etags/c-src/emacs/src/lisp.h eassume (0 <= i && i < bool_vector_size (a)); eassume 65 test/manual/noverlay/emacs-compat.h #ifndef eassume