verify 127 lib/mktime.c verify (INT_MAX <= TYPE_MAXIMUM (long_int) / 4 / 366 / 24 / 60 / 60); verify 160 lib/mktime.c verify (TM_YEAR_BASE % 100 == 0); verify 209 lib/mktime.c verify (-1 / 2 == 0); verify 729 src/alloc.c verify (LISP_ALIGNMENT % GCALIGNMENT == 0); verify 859 src/alloc.c verify (INT_MAX <= PTRDIFF_MAX); verify 1095 src/alloc.c verify (POWER_OF_2 (BLOCK_ALIGN)); verify 1115 src/alloc.c verify (BLOCK_ALIGN % sizeof (void *) == 0 verify 1117 src/alloc.c verify (MALLOC_IS_LISP_ALIGNED verify 1240 src/alloc.c verify (ABLOCKS_BYTES % BLOCK_ALIGN == 0); verify 3058 src/alloc.c verify (VECTOR_BLOCK_SIZE % roundup_size == 0); verify 3059 src/alloc.c verify (VECTOR_BLOCK_SIZE <= (1 << PSEUDOVECTOR_SIZE_BITS)); verify 3298 src/alloc.c verify (header_size <= bool_header_size); verify 3615 src/alloc.c verify (size_max + rest_max <= VECTOR_ELTS_MAX); verify 657 src/androidfont.c verify (sizeof (unsigned int) == sizeof (jint)); verify 937 src/androidfont.c verify (sizeof (unsigned int) == sizeof (jint)); 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 4827 src/buffer.c { verify (sizeof (EMACS_INT) == word_size); } verify 282 src/casefiddle.c verify (offsetof (struct casing_str_buf, data) == 0); verify 4667 src/dispnew.c verify (NEXT_ALMOST_PRIME_LIMIT == 11); verify 5118 src/dispnew.c verify (sizeof (int) <= sizeof (unsigned)); verify 5119 src/dispnew.c verify (alignof (unsigned) % alignof (int) == 0); verify 3438 src/editfns.c verify (USEFUL_PRECISION_MAX > 0); verify 1041 src/emacs-module.c verify (CHAR_BIT == 8); verify 1042 src/emacs-module.c verify ((sizeof (emacs_limb_t) == 4 && EMACS_LIMB_MAX == 0xFFFFFFFF) verify 1082 src/emacs-module.c verify (0 < required && +required <= module_bignum_count_max); verify 1102 src/emacs-module.c verify (required * bits < PTRDIFF_MAX); verify 1193 src/eval.c #define clobbered_eassert(E) verify (sizeof (E) != 0) verify 3909 src/fileio.c verify (GCALIGNED (union read_non_regular)); verify 6311 src/fileio.c verify (BUF_BYTES_MAX <= EMACS_INT_MAX / growth_factor); verify 4297 src/fns.c verify (NEXT_ALMOST_PRIME_LIMIT == 11); verify 1816 src/fringe.c verify (NIL_IS_ZERO); verify 500 src/keyboard.h verify (alignof (struct input_event) == alignof (union buffered_input_event) verify 521 src/keymap.c verify (GCALIGNED (union map_keymap)); verify 141 src/lisp.h verify (BITS_WORD_MAX >> (BITS_PER_BITS_WORD - 1) == 1); verify 894 src/lisp.h verify (GCALIGNED (struct Lisp_Symbol)); verify 1472 src/lisp.h verify (GCALIGNED (struct Lisp_Cons)); verify 1601 src/lisp.h verify (GCALIGNED (struct Lisp_String)); verify 1992 src/lisp.h verify (NIL_IS_ZERO); verify 2195 src/lisp.h verify (GCALIGNED (union Aligned_Lisp_Subr)); verify 2236 src/lisp.h verify (offsetof (struct Lisp_Char_Table, defalt) == header_size); verify 2237 src/lisp.h verify (offsetof (struct Lisp_Char_Table, extras) verify 2239 src/lisp.h verify (offsetof (struct Lisp_Sub_Char_Table, contents) verify 2476 src/lisp.h verify (offsetof (struct Lisp_Hash_Table, weak) == header_size); verify 2939 src/lisp.h verify (GCALIGNED (struct Lisp_Float)); verify 3933 src/lisp.h verify (PTRDIFF_MAX <= ULLONG_MAX); verify 4065 src/lisp.h verify (FLT_RADIX == 2 || FLT_RADIX == 16); verify 3693 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 278 src/pdumper.c verify (RELOC_DUMP_TO_EMACS_LV + 8 < (1 << DUMP_RELOC_TYPE_BITS)); verify 279 src/pdumper.c verify (DUMP_ALIGNMENT >= GCALIGNMENT); verify 286 src/pdumper.c verify (sizeof (struct dump_reloc) == sizeof (dump_off)); verify 2240 src/pdumper.c verify (sizeof (out->value) >= sizeof (struct bignum_reload_info)); verify 4182 src/pdumper.c verify (sizeof (ctx->header.magic) == sizeof (dump_magic)); verify 4186 src/pdumper.c verify (sizeof (fingerprint) == sizeof (ctx->header.fingerprint)); verify 5459 src/pdumper.c verify (sizeof (reload_info) <= sizeof (*bignum_val (bignum))); verify 5653 src/pdumper.c verify (sizeof (header->fingerprint) == sizeof (fingerprint)); verify 925 src/process.c verify (GNUTLS_STAGE_EMPTY == 0); verify 1913 src/process.c verify (GNUTLS_STAGE_EMPTY == 0); verify 2143 src/process.c verify (PROCESS_OPEN_FDS == EXEC_MONITOR_OUTPUT + 1); verify 3537 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 2251 src/sysdep.c verify (sizeof v <= 256); verify 2745 src/sysdep.c verify (MAX_RW_COUNT <= PTRDIFF_MAX); verify 2746 src/sysdep.c verify (MAX_RW_COUNT <= SIZE_MAX); verify 2747 src/sysdep.c verify (MAX_RW_COUNT <= SSIZE_MAX); verify 2753 src/sysdep.c verify (MAX_RW_COUNT <= INT_MAX); verify 2754 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 15410 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)