verify 37 gnulib-tests/argmatch.h verify (ARRAY_CARDINALITY (Arglist) == ARRAY_CARDINALITY (Vallist) + 1)
verify 61 gnulib-tests/sleep.c verify (UINT_MAX / 24 / 24 / 60 / 60);
verify 43 gnulib-tests/test-intprops.c # define VERIFY(x) do { verify (x); } while (0)
verify 45 gnulib-tests/test-locale.c verify (sizeof NULL == sizeof (void *));
verify 34 gnulib-tests/test-stddef.c verify (sizeof NULL == sizeof (void *));
verify 46 gnulib-tests/test-stddef.c verify (sizeof (offsetof (struct d, e)) == sizeof (size_t));
verify 47 gnulib-tests/test-stddef.c verify (offsetof (struct d, e) < -1); /* Must be unsigned. */
verify 48 gnulib-tests/test-stddef.c verify (offsetof (struct d, f) == 1);
verify 47 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int8_t) == INT8_MIN);
verify 48 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int8_t) == INT8_MAX);
verify 53 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int16_t) == INT16_MIN);
verify 54 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int16_t) == INT16_MAX);
verify 59 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int32_t) == INT32_MIN);
verify 60 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int32_t) == INT32_MAX);
verify 66 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int64_t) == INT64_MIN);
verify 67 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int64_t) == INT64_MAX);
verify 73 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint8_t) == UINT8_MAX);
verify 77 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint16_t) == UINT16_MAX);
verify 81 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint32_t) == UINT32_MAX);
verify 86 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint64_t) == UINT64_MAX);
verify 106 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_least8_t) == INT_LEAST8_MIN);
verify 107 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_least8_t) == INT_LEAST8_MAX);
verify 112 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_least16_t) == INT_LEAST16_MIN);
verify 113 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_least16_t) == INT_LEAST16_MAX);
verify 118 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_least32_t) == INT_LEAST32_MIN);
verify 119 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_least32_t) == INT_LEAST32_MAX);
verify 125 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_least64_t) == INT_LEAST64_MIN);
verify 126 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_least64_t) == INT_LEAST64_MAX);
verify 132 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least8_t) == UINT_LEAST8_MAX);
verify 136 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least16_t) == UINT_LEAST16_MAX);
verify 140 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least32_t) == UINT_LEAST32_MAX);
verify 145 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least64_t) == UINT_LEAST64_MAX);
verify 165 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_fast8_t) == INT_FAST8_MIN);
verify 166 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast8_t) == INT_FAST8_MAX);
verify 171 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_fast16_t) == INT_FAST16_MIN);
verify 172 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast16_t) == INT_FAST16_MAX);
verify 177 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_fast32_t) == INT_FAST32_MIN);
verify 178 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast32_t) == INT_FAST32_MAX);
verify 184 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (int_fast64_t) == INT_FAST64_MIN);
verify 185 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast64_t) == INT_FAST64_MAX);
verify 191 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast8_t) == UINT_FAST8_MAX);
verify 195 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast16_t) == UINT_FAST16_MAX);
verify 199 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast32_t) == UINT_FAST32_MAX);
verify 204 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast64_t) == UINT_FAST64_MAX);
verify 224 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (intptr_t) == INTPTR_MIN);
verify 225 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (intptr_t) == INTPTR_MAX);
verify 230 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uintptr_t) == UINTPTR_MAX);
verify 243 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (intmax_t) == INTMAX_MIN);
verify 244 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (intmax_t) == INTMAX_MAX);
verify 249 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (uintmax_t) == UINTMAX_MAX);
verify 266 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (ptrdiff_t) == PTRDIFF_MIN);
verify 267 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (ptrdiff_t) == PTRDIFF_MAX);
verify 279 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (sig_atomic_t) == SIG_ATOMIC_MIN);
verify 280 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (sig_atomic_t) == SIG_ATOMIC_MAX);
verify 290 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (size_t) == SIZE_MAX);
verify 300 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (wchar_t) == WCHAR_MIN);
verify 301 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (wchar_t) == WCHAR_MAX);
verify 315 gnulib-tests/test-stdint.c verify (TYPE_MINIMUM (wint_t) == WINT_MIN);
verify 316 gnulib-tests/test-stdint.c verify (TYPE_MAXIMUM (wint_t) == WINT_MAX);
verify 329 gnulib-tests/test-stdint.c verify (INT8_C (17) == 17);
verify 331 gnulib-tests/test-stdint.c verify (UINT8_C (17) == 17);
verify 334 gnulib-tests/test-stdint.c verify (INT16_C (17) == 17);
verify 336 gnulib-tests/test-stdint.c verify (UINT16_C (17) == 17);
verify 339 gnulib-tests/test-stdint.c verify (INT32_C (17) == 17);
verify 341 gnulib-tests/test-stdint.c verify (UINT32_C (17) == 17);
verify 345 gnulib-tests/test-stdint.c verify (INT64_C (17) == 17);
verify 349 gnulib-tests/test-stdint.c verify (UINT64_C (17) == 17);
verify 353 gnulib-tests/test-stdint.c verify (INTMAX_C (17) == 17);
verify 355 gnulib-tests/test-stdint.c verify (UINTMAX_C (17) == 17);
verify 32 gnulib-tests/test-stdio.c verify (sizeof NULL == sizeof (void *));
verify 41 gnulib-tests/test-stdlib.c verify (sizeof NULL == sizeof (void *));
verify 29 gnulib-tests/test-string.c verify (sizeof NULL == sizeof (void *));
verify 62 gnulib-tests/test-sys_stat.c verify (S_IRWXU == (S_IRUSR | S_IWUSR | S_IXUSR));
verify 63 gnulib-tests/test-sys_stat.c verify (S_IRWXG == (S_IRGRP | S_IWGRP | S_IXGRP));
verify 64 gnulib-tests/test-sys_stat.c verify (S_IRWXO == (S_IROTH | S_IWOTH | S_IXOTH));
verify 66 gnulib-tests/test-sys_stat.c verify (S_ISBLK (S_IFBLK));
verify 67 gnulib-tests/test-sys_stat.c verify (!S_ISBLK (S_IFCHR));
verify 68 gnulib-tests/test-sys_stat.c verify (!S_ISBLK (S_IFDIR));
verify 69 gnulib-tests/test-sys_stat.c verify (!S_ISBLK (S_IFIFO));
verify 70 gnulib-tests/test-sys_stat.c verify (!S_ISBLK (S_IFREG));
verify 72 gnulib-tests/test-sys_stat.c verify (!S_ISBLK (S_IFLNK));
verify 75 gnulib-tests/test-sys_stat.c verify (!S_ISBLK (S_IFSOCK));
verify 78 gnulib-tests/test-sys_stat.c verify (!S_ISCHR (S_IFBLK));
verify 79 gnulib-tests/test-sys_stat.c verify (S_ISCHR (S_IFCHR));
verify 80 gnulib-tests/test-sys_stat.c verify (!S_ISCHR (S_IFDIR));
verify 81 gnulib-tests/test-sys_stat.c verify (!S_ISCHR (S_IFIFO));
verify 82 gnulib-tests/test-sys_stat.c verify (!S_ISCHR (S_IFREG));
verify 84 gnulib-tests/test-sys_stat.c verify (!S_ISCHR (S_IFLNK));
verify 87 gnulib-tests/test-sys_stat.c verify (!S_ISCHR (S_IFSOCK));
verify 90 gnulib-tests/test-sys_stat.c verify (!S_ISDIR (S_IFBLK));
verify 91 gnulib-tests/test-sys_stat.c verify (!S_ISDIR (S_IFCHR));
verify 92 gnulib-tests/test-sys_stat.c verify (S_ISDIR (S_IFDIR));
verify 93 gnulib-tests/test-sys_stat.c verify (!S_ISDIR (S_IFIFO));
verify 94 gnulib-tests/test-sys_stat.c verify (!S_ISDIR (S_IFREG));
verify 96 gnulib-tests/test-sys_stat.c verify (!S_ISDIR (S_IFLNK));
verify 99 gnulib-tests/test-sys_stat.c verify (!S_ISDIR (S_IFSOCK));
verify 102 gnulib-tests/test-sys_stat.c verify (!S_ISFIFO (S_IFBLK));
verify 103 gnulib-tests/test-sys_stat.c verify (!S_ISFIFO (S_IFCHR));
verify 104 gnulib-tests/test-sys_stat.c verify (!S_ISFIFO (S_IFDIR));
verify 105 gnulib-tests/test-sys_stat.c verify (S_ISFIFO (S_IFIFO));
verify 106 gnulib-tests/test-sys_stat.c verify (!S_ISFIFO (S_IFREG));
verify 108 gnulib-tests/test-sys_stat.c verify (!S_ISFIFO (S_IFLNK));
verify 111 gnulib-tests/test-sys_stat.c verify (!S_ISFIFO (S_IFSOCK));
verify 114 gnulib-tests/test-sys_stat.c verify (!S_ISREG (S_IFBLK));
verify 115 gnulib-tests/test-sys_stat.c verify (!S_ISREG (S_IFCHR));
verify 116 gnulib-tests/test-sys_stat.c verify (!S_ISREG (S_IFDIR));
verify 117 gnulib-tests/test-sys_stat.c verify (!S_ISREG (S_IFIFO));
verify 118 gnulib-tests/test-sys_stat.c verify (S_ISREG (S_IFREG));
verify 120 gnulib-tests/test-sys_stat.c verify (!S_ISREG (S_IFLNK));
verify 123 gnulib-tests/test-sys_stat.c verify (!S_ISREG (S_IFSOCK));
verify 126 gnulib-tests/test-sys_stat.c verify (!S_ISLNK (S_IFBLK));
verify 127 gnulib-tests/test-sys_stat.c verify (!S_ISLNK (S_IFCHR));
verify 128 gnulib-tests/test-sys_stat.c verify (!S_ISLNK (S_IFDIR));
verify 129 gnulib-tests/test-sys_stat.c verify (!S_ISLNK (S_IFIFO));
verify 130 gnulib-tests/test-sys_stat.c verify (!S_ISLNK (S_IFREG));
verify 132 gnulib-tests/test-sys_stat.c verify (S_ISLNK (S_IFLNK));
verify 135 gnulib-tests/test-sys_stat.c verify (!S_ISLNK (S_IFSOCK));
verify 138 gnulib-tests/test-sys_stat.c verify (!S_ISSOCK (S_IFBLK));
verify 139 gnulib-tests/test-sys_stat.c verify (!S_ISSOCK (S_IFCHR));
verify 140 gnulib-tests/test-sys_stat.c verify (!S_ISSOCK (S_IFDIR));
verify 141 gnulib-tests/test-sys_stat.c verify (!S_ISSOCK (S_IFIFO));
verify 142 gnulib-tests/test-sys_stat.c verify (!S_ISSOCK (S_IFREG));
verify 144 gnulib-tests/test-sys_stat.c verify (!S_ISSOCK (S_IFLNK));
verify 147 gnulib-tests/test-sys_stat.c verify (S_ISSOCK (S_IFSOCK));
verify 150 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFBLK));
verify 151 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFCHR));
verify 152 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFDIR));
verify 153 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFIFO));
verify 154 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFREG));
verify 156 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFLNK));
verify 159 gnulib-tests/test-sys_stat.c verify (!S_ISDOOR (S_IFSOCK));
verify 162 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFBLK));
verify 163 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFCHR));
verify 164 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFDIR));
verify 165 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFIFO));
verify 166 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFREG));
verify 168 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFLNK));
verify 171 gnulib-tests/test-sys_stat.c verify (!S_ISMPB (S_IFSOCK));
verify 174 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFBLK));
verify 175 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFCHR));
verify 176 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFDIR));
verify 177 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFIFO));
verify 178 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFREG));
verify 180 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFLNK));
verify 183 gnulib-tests/test-sys_stat.c verify (!S_ISNAM (S_IFSOCK));
verify 186 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFBLK));
verify 187 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFCHR));
verify 188 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFDIR));
verify 189 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFIFO));
verify 190 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFREG));
verify 192 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFLNK));
verify 195 gnulib-tests/test-sys_stat.c verify (!S_ISNWK (S_IFSOCK));
verify 198 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFBLK));
verify 199 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFCHR));
verify 200 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFDIR));
verify 201 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFIFO));
verify 202 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFREG));
verify 204 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFLNK));
verify 207 gnulib-tests/test-sys_stat.c verify (!S_ISPORT (S_IFSOCK));
verify 210 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFBLK));
verify 211 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFCHR));
verify 212 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFDIR));
verify 213 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFIFO));
verify 214 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFREG));
verify 216 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFLNK));
verify 219 gnulib-tests/test-sys_stat.c verify (!S_ISCTG (S_IFSOCK));
verify 222 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFBLK));
verify 223 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFCHR));
verify 224 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFDIR));
verify 225 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFIFO));
verify 226 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFREG));
verify 228 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFLNK));
verify 231 gnulib-tests/test-sys_stat.c verify (!S_ISOFD (S_IFSOCK));
verify 234 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFBLK));
verify 235 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFCHR));
verify 236 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFDIR));
verify 237 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFIFO));
verify 238 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFREG));
verify 240 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFLNK));
verify 243 gnulib-tests/test-sys_stat.c verify (!S_ISOFL (S_IFSOCK));
verify 246 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFBLK));
verify 247 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFCHR));
verify 248 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFDIR));
verify 249 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFIFO));
verify 250 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFREG));
verify 252 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFLNK));
verify 255 gnulib-tests/test-sys_stat.c verify (!S_ISWHT (S_IFSOCK));
verify 259 gnulib-tests/test-sys_stat.c verify (S_IRWXU == 00700);
verify 260 gnulib-tests/test-sys_stat.c verify (S_IRUSR == 00400);
verify 261 gnulib-tests/test-sys_stat.c verify (S_IWUSR == 00200);
verify 262 gnulib-tests/test-sys_stat.c verify (S_IXUSR == 00100);
verify 263 gnulib-tests/test-sys_stat.c verify (S_IRWXG == 00070);
verify 264 gnulib-tests/test-sys_stat.c verify (S_IRGRP == 00040);
verify 265 gnulib-tests/test-sys_stat.c verify (S_IWGRP == 00020);
verify 266 gnulib-tests/test-sys_stat.c verify (S_IXGRP == 00010);
verify 267 gnulib-tests/test-sys_stat.c verify (S_IRWXO == 00007);
verify 268 gnulib-tests/test-sys_stat.c verify (S_IROTH == 00004);
verify 269 gnulib-tests/test-sys_stat.c verify (S_IWOTH == 00002);
verify 270 gnulib-tests/test-sys_stat.c verify (S_IXOTH == 00001);
verify 271 gnulib-tests/test-sys_stat.c verify (S_ISUID == 04000);
verify 272 gnulib-tests/test-sys_stat.c verify (S_ISGID == 02000);
verify 273 gnulib-tests/test-sys_stat.c verify (S_ISVTX == 01000);
verify 31 gnulib-tests/test-time.c verify (sizeof NULL == sizeof (void *));
verify 29 gnulib-tests/test-unistd.c verify (sizeof NULL == sizeof (void *));
verify 34 gnulib-tests/test-verify.c verify (x >= 0); /* should give ERROR: non-constant expression */
verify 36 gnulib-tests/test-verify.c verify (c == 2); /* should be ok */
verify 38 gnulib-tests/test-verify.c verify (1 + 1 == 3); /* should give ERROR */
verify 40 gnulib-tests/test-verify.c verify (1 == 1); verify (1 == 1); /* should be ok */
verify 51 gnulib-tests/test-verify.c verify (n >= 0); /* should give ERROR: non-constant expression */
verify 53 gnulib-tests/test-verify.c verify (c == 2); /* should be ok */
verify 55 gnulib-tests/test-verify.c verify (1 + 1 == 3); /* should give ERROR */
verify 57 gnulib-tests/test-verify.c verify (1 == 1); verify (1 == 1); /* should be ok */
verify 33 gnulib-tests/test-wchar.c verify (sizeof NULL == sizeof (void *));
verify 329 gnulib-tests/vasnprintf.c verify (sizeof (mp_limb_t) * CHAR_BIT == GMP_LIMB_BITS);
verify 333 gnulib-tests/vasnprintf.c verify (sizeof (mp_twolimb_t) * CHAR_BIT == GMP_TWOLIMB_BITS);
verify 2629 gnulib-tests/vasnprintf.c verify (sizeof (TCHAR_T) == 1);
verify 5300 gnulib-tests/vasnprintf.c verify (sizeof (TCHAR_T) == 1);
verify 58 lib/exclude.c verify (((EXCLUDE_ANCHORED | EXCLUDE_INCLUDE | EXCLUDE_WILDCARDS)
verify 58 lib/malloca.c verify (HEADER_SIZE == sizeof (struct header));
verify 34 lib/mbrtowc.c verify (sizeof (mbstate_t) >= 4);
verify 51 lib/mbsinit.c verify (sizeof (mbstate_t) >= 4);
verify 78 lib/mktime.c verify (long_int_is_wide_enough, INT_MAX == INT_MAX * (long_int) 2 / 2);
verify 132 lib/mktime.c verify (time_t_is_integer, TYPE_IS_INTEGER (time_t));
verify 133 lib/mktime.c verify (twos_complement_arithmetic,
verify 140 lib/mktime.c verify (base_year_is_a_multiple_of_100, TM_YEAR_BASE % 100 == 0);
verify 201 lib/mktime.c verify (C99_integer_division, -1 / 2 == 0);
verify 258 lib/mktime.c verify (int_no_wider_than_time_t, INT_MAX <= TIME_T_MAX);
verify 1398 lib/regex_internal.c verify (! TYPE_SIGNED (Idx));
verify 384 lib/regexec.c verify (! TYPE_SIGNED (Idx));
verify 440 lib/regexec.c verify (! TYPE_SIGNED (Idx));
verify 90 lib/stat.c verify (PATH_MAX <= 4096);
verify 58 lib/strerror.c verify (sizeof buf >= sizeof (fmt) + INT_STRLEN_BOUND (n));
verify 65 lib/strtoimax.c verify (sizeof (Int) == sizeof (Unsigned long int)
verify 71 lib/strtoimax.c verify (sizeof (Int) == sizeof (Unsigned long int));
verify 55 src/context.c verify (TYPE_IS_INTEGER (time_t));
verify 34 src/io.c verify (! TYPE_SIGNED (hash_value));
verify 740 src/io.c verify (sizeof (size_t) * CHAR_BIT <= sizeof prime_offset);
verify 133 src/system.h verify (TYPE_SIGNED (lin));
verify 134 src/system.h verify (sizeof (ptrdiff_t) <= sizeof (lin));
verify 135 src/system.h verify (sizeof (lin) <= sizeof (long int));