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));