eassume 883 src/alloc.c eassume (0 < item_size && 0 < nitems_incr_min && 0 <= n0 && -1 <= nitems_max); eassume 1284 src/alloc.c eassume (0 <= busy && busy <= 2 * ABLOCKS_SIZE - 1); eassume 1941 src/alloc.c eassume (STRING_MULTIBYTE (string)); eassume 2784 src/alloc.c eassume (0 < count); eassume 2891 src/alloc.c #define vroundup(x) (eassume ((x) >= 0), vroundup_ct (x)) eassume 2927 src/alloc.c eassume (VBLOCK_BYTES_MIN <= nbytes); eassume 2988 src/alloc.c eassume (header_size <= nbytes); eassume 3033 src/alloc.c eassume (VBLOCK_BYTES_MIN <= nbytes && nbytes <= VBLOCK_BYTES_MAX); eassume 3034 src/alloc.c eassume (nbytes % roundup_size == 0); eassume 6705 src/alloc.c eassume (!mark_stack_empty_p ()); eassume 6743 src/alloc.c eassume (n >= 0); eassume 6767 src/alloc.c eassume (mark_stk.sp >= base_sp && base_sp >= 0); eassume 316 src/bignum.c eassume (0 <= size && size <= INT_MAX); eassume 530 src/bignum.c eassume (0 < nlimbs); eassume 1227 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 2817 src/data.c eassume (false); eassume 3026 src/data.c eassume (p > buffer && p - 1 < end); eassume 3137 src/data.c default: eassume (false); eassume 3198 src/data.c eassume (false); eassume 3222 src/data.c eassume (2 <= nargs); eassume 3262 src/data.c default: eassume (false); eassume 3519 src/data.c eassume (FIXNUMP (value)); eassume 3812 src/data.c eassume (0); eassume 3824 src/data.c eassume (precondition); eassume 394 src/dispnew.c eassume (w != NULL || matrix->pool != NULL); eassume 345 src/doprnt.c eassume (false); eassume 382 src/doprnt.c eassume (false); eassume 2004 src/editfns.c eassume (size_a >= 0); eassume 2005 src/editfns.c eassume (size_b >= 0); eassume 2156 src/editfns.c eassume (0 <= i); eassume 2163 src/editfns.c eassume (0 <= i); eassume 1089 src/emacs-module.c eassume (false); eassume 1158 src/emacs-module.c eassume (0 <= func->min_arity); eassume 2522 src/emacs.c eassume (false); eassume 1686 src/eval.c eassume (false); eassume 3011 src/eval.c eassume (numargs >= 0); eassume 3022 src/eval.c eassume (subr->max_args <= ARRAYELTS (argbuf)); eassume 1801 src/frame.c eassume (CONSP (Vframe_list)); eassume 1825 src/frame.c eassume (CONSP (Vframe_list)); eassume 2105 src/frame.c eassume (CONSP (Vframe_list)); eassume 1490 src/frame.h eassume (0 <= used); eassume 1512 src/frame.h eassume (0 <= used); eassume 5170 src/gtkutil.c eassume (false); eassume 1269 src/haikuterm.c eassume (ch <= MAX_CHAR); eassume 11257 src/image.c eassume (rsvg_handle); eassume 11463 src/image.c eassume (rsvg_handle); eassume 11561 src/image.c eassume (err == NULL); eassume 827 src/itree.c eassume (other != NULL); eassume 865 src/itree.c eassume (other != NULL); eassume 680 src/json.c eassume (false); eassume 1701 src/lisp.h eassume (0 <= nchars); eassume 1716 src/lisp.h eassume (0 <= nbytes); eassume 1775 src/lisp.h eassume (0 <= size); eassume 1866 src/lisp.h eassume (0 <= size && size <= EMACS_INT_MAX - (BITS_PER_BITS_WORD - 1)); eassume 1873 src/lisp.h eassume (0 <= size && size <= EMACS_INT_MAX - (BITS_PER_BITS_WORD - 1)); eassume 1900 src/lisp.h eassume (0 <= size); eassume 1921 src/lisp.h eassume (0 <= i); eassume 1938 src/lisp.h eassume (0 <= i); eassume 2292 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_VARALIAS && sym->u.s.val.alias); eassume 2298 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_LOCALIZED && sym->u.s.val.blv); eassume 2304 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_FORWARDED && sym->u.s.val.fwd.fwdptr); eassume 2317 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_VARALIAS && v); eassume 2323 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_LOCALIZED && v); eassume 2329 src/lisp.h eassume (sym->u.s.redirect == SYMBOL_FORWARDED && v); eassume 2524 src/lisp.h eassume (0 < size); eassume 3022 src/lisp.h eassume (0 <= result); eassume 3938 src/lisp.h eassume (0 <= a && a >> 30 >> 30 == 0); eassume 3663 src/lread.c eassume (rdstack.sp > 0); eassume 3670 src/lread.c eassume (rdstack.sp > 0); eassume 1575 src/menu.c eassume (f && FRAME_LIVE_P (f)); eassume 3806 src/pdumper.c eassume (ctx); /* Pacify GCC 9.2.1 -O3 -Wnull-dereference. */ eassume 3819 src/pdumper.c eassume (!"not reached"); eassume 5499 src/pdumper.c eassume (reloc.length > 0); eassume 5505 src/pdumper.c eassume (reloc.length > 0); eassume 5506 src/pdumper.c eassume (reloc.length <= sizeof (reloc.u.immediate)); eassume 5523 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 3590 src/regex-emacs.c eassume (0 <= c && 0 <= corig); eassume 3900 src/regex-emacs.c eassume (0 <= size1); eassume 3901 src/regex-emacs.c eassume (0 <= size2); eassume 3902 src/regex-emacs.c eassume (0 <= pos && pos <= stop && stop <= size1 + size2); eassume 3952 src/regex-emacs.c eassume (0 < num_regs); eassume 1827 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 633 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 22330 src/xdisp.c eassume (row && MATRIX_ROW_DISPLAYS_TEXT_P (row)); eassume 22522 src/xdisp.c eassume (false); eassume 29849 src/xdisp.c eassume (pcm); eassume 30203 src/xdisp.c eassume (false) eassume 32345 src/xdisp.c eassume (0 < glyph_len); /* See Bug#8512. */ eassume 2923 src/xterm.c eassume (dpyinfo); eassume 8542 src/xterm.c eassume (ch <= MAX_CHAR); eassume 8785 src/xterm.c eassume (dpyinfo); eassume 9064 src/xterm.c eassume (dpyinfo); eassume 9174 src/xterm.c eassume (dpyinfo); eassume 26998 src/xterm.c eassume (0 <= actual_bytes); eassume 29390 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