verify 126 lib/mktime.c verify (INT_MAX <= TYPE_MAXIMUM (long_int) / 4 / 366 / 24 / 60 / 60); verify 159 lib/mktime.c verify (TM_YEAR_BASE % 100 == 0); verify 208 lib/mktime.c verify (-1 / 2 == 0); verify 694 src/alloc.c verify (LISP_ALIGNMENT % GCALIGNMENT == 0); verify 824 src/alloc.c verify (INT_MAX <= PTRDIFF_MAX); verify 1056 src/alloc.c verify (POWER_OF_2 (BLOCK_ALIGN)); verify 1076 src/alloc.c verify (BLOCK_ALIGN % sizeof (void *) == 0 verify 1078 src/alloc.c verify (MALLOC_IS_LISP_ALIGNED verify 1191 src/alloc.c verify (ABLOCKS_BYTES % BLOCK_ALIGN == 0); verify 2885 src/alloc.c verify (VECTOR_BLOCK_SIZE % roundup_size == 0); verify 2886 src/alloc.c verify (VECTOR_BLOCK_SIZE <= (1 << PSEUDOVECTOR_SIZE_BITS)); verify 3104 src/alloc.c verify (header_size <= bool_header_size); verify 3411 src/alloc.c verify (size_max + rest_max <= VECTOR_ELTS_MAX); verify 569 src/bidi.c verify (BIDI_CACHE_CHUNK < BIDI_CACHE_MAX_ELTS_PER_SLOT); verify 2616 src/bidi.c verify (MAX_BPA_STACK >= 100); verify 4817 src/buffer.c { verify (sizeof (EMACS_INT) == word_size); } verify 282 src/casefiddle.c verify (offsetof (struct casing_str_buf, data) == 0); verify 4635 src/dispnew.c verify (NEXT_ALMOST_PRIME_LIMIT == 11); verify 5082 src/dispnew.c verify (sizeof (int) <= sizeof (unsigned)); verify 5083 src/dispnew.c verify (alignof (unsigned) % alignof (int) == 0); verify 3430 src/editfns.c verify (USEFUL_PRECISION_MAX > 0); verify 963 src/emacs-module.c verify (CHAR_BIT == 8); verify 964 src/emacs-module.c verify ((sizeof (emacs_limb_t) == 4 && EMACS_LIMB_MAX == 0xFFFFFFFF) verify 1001 src/emacs-module.c verify (0 < required && +required <= module_bignum_count_max); verify 1020 src/emacs-module.c verify (required * bits < PTRDIFF_MAX); verify 1181 src/eval.c #define clobbered_eassert(E) verify (sizeof (E) != 0) verify 3761 src/fileio.c verify (GCALIGNED (union read_non_regular)); verify 6131 src/fileio.c verify (BUF_BYTES_MAX <= EMACS_INT_MAX / growth_factor); verify 4260 src/fns.c verify (NEXT_ALMOST_PRIME_LIMIT == 11); verify 1811 src/fringe.c verify (NIL_IS_ZERO); verify 483 src/keyboard.h verify (alignof (struct input_event) == alignof (union buffered_input_event) verify 521 src/keymap.c verify (GCALIGNED (union map_keymap)); verify 135 src/lisp.h verify (BITS_WORD_MAX >> (BITS_PER_BITS_WORD - 1) == 1); verify 896 src/lisp.h verify (GCALIGNED (struct Lisp_Symbol)); verify 1474 src/lisp.h verify (GCALIGNED (struct Lisp_Cons)); verify 1603 src/lisp.h verify (GCALIGNED (struct Lisp_String)); verify 1994 src/lisp.h verify (NIL_IS_ZERO); verify 2199 src/lisp.h verify (GCALIGNED (union Aligned_Lisp_Subr)); verify 2240 src/lisp.h verify (offsetof (struct Lisp_Char_Table, defalt) == header_size); verify 2241 src/lisp.h verify (offsetof (struct Lisp_Char_Table, extras) verify 2243 src/lisp.h verify (offsetof (struct Lisp_Sub_Char_Table, contents) verify 2480 src/lisp.h verify (offsetof (struct Lisp_Hash_Table, weak) == header_size); verify 2943 src/lisp.h verify (GCALIGNED (struct Lisp_Float)); verify 4060 src/lisp.h verify (FLT_RADIX == 2 || FLT_RADIX == 16); verify 3444 src/lread.c verify (ARRAYELTS (saved_strings) == 2); verify 101 src/pdumper.c verify (sizeof (ptrdiff_t) == sizeof (void *)); verify 102 src/pdumper.c verify (sizeof (intptr_t) == sizeof (ptrdiff_t)); verify 103 src/pdumper.c verify (sizeof (void (*) (void)) == sizeof (void *)); verify 104 src/pdumper.c verify (sizeof (ptrdiff_t) <= sizeof (Lisp_Object)); verify 105 src/pdumper.c verify (sizeof (ptrdiff_t) <= sizeof (EMACS_INT)); verify 106 src/pdumper.c verify (CHAR_BIT == 8); verify 279 src/pdumper.c verify (RELOC_DUMP_TO_EMACS_LV + 8 < (1 << DUMP_RELOC_TYPE_BITS)); verify 280 src/pdumper.c verify (DUMP_ALIGNMENT >= GCALIGNMENT); verify 287 src/pdumper.c verify (sizeof (struct dump_reloc) == sizeof (dump_off)); verify 2241 src/pdumper.c verify (sizeof (out->value) >= sizeof (struct bignum_reload_info)); verify 4181 src/pdumper.c verify (sizeof (ctx->header.magic) == sizeof (dump_magic)); verify 4185 src/pdumper.c verify (sizeof (fingerprint) == sizeof (ctx->header.fingerprint)); verify 5461 src/pdumper.c verify (sizeof (reload_info) <= sizeof (*bignum_val (bignum))); verify 5655 src/pdumper.c verify (sizeof (header->fingerprint) == sizeof (fingerprint)); verify 919 src/process.c verify (GNUTLS_STAGE_EMPTY == 0); verify 1896 src/process.c verify (GNUTLS_STAGE_EMPTY == 0); verify 2126 src/process.c verify (PROCESS_OPEN_FDS == EXEC_MONITOR_OUTPUT + 1); verify 3521 src/process.c verify ((offsetof (struct sockaddr_in, sin_port) verify 1280 src/regex-emacs.c verify (LONG_MIN <= -(MAX_BUF_SIZE - 1) && MAX_BUF_SIZE - 1 <= LONG_MAX); verify 2181 src/sysdep.c verify (sizeof v <= 256); verify 2510 src/sysdep.c verify (MAX_RW_COUNT <= PTRDIFF_MAX); verify 2511 src/sysdep.c verify (MAX_RW_COUNT <= SIZE_MAX); verify 2512 src/sysdep.c verify (MAX_RW_COUNT <= SSIZE_MAX); verify 2518 src/sysdep.c verify (MAX_RW_COUNT <= INT_MAX); verify 2519 src/sysdep.c verify (MAX_RW_COUNT <= UINT_MAX); verify 46 src/thread.c verify (GCALIGNED (union aligned_thread_state)); verify 111 src/timefns.c verify (TRILLION <= INTMAX_MAX); verify 185 src/unexelf.c verify ((! TYPE_SIGNED (ElfW (Half)) verify 15040 src/xterm.c verify (INTPTR_WIDTH <= 64); verify 131 test/manual/etags/c-src/emacs/src/lisp.h verify (BITS_WORD_MAX >> (BITS_PER_BITS_WORD - 1) == 1); verify 1523 test/manual/etags/c-src/emacs/src/lisp.h verify (NIL_IS_ZERO); verify 1714 test/manual/etags/c-src/emacs/src/lisp.h verify (offsetof (struct Lisp_Sub_Char_Table, contents)