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