verify             45 maint/gnulib/lib/argmatch.h     verify (ARRAY_CARDINALITY (Arglist) == ARRAY_CARDINALITY (Vallist) + 1)
verify             99 maint/gnulib/lib/c32is-impl.h   verify (sizeof (char32_t) == sizeof (wchar_t));
verify             47 maint/gnulib/lib/c32snrtombs.c verify (sizeof (char32_t) == sizeof (wchar_t));
verify             47 maint/gnulib/lib/c32srtombs.c verify (sizeof (char32_t) == sizeof (wchar_t));
verify             60 maint/gnulib/lib/exclude.c verify (((EXCLUDE_ANCHORED | EXCLUDE_INCLUDE | EXCLUDE_WILDCARDS)
verify             98 maint/gnulib/lib/fma.c verify (sizeof (mp_limb_t) * CHAR_BIT == GMP_LIMB_BITS);
verify            102 maint/gnulib/lib/fma.c verify (sizeof (mp_twolimb_t) * CHAR_BIT == GMP_TWOLIMB_BITS);
verify             21 maint/gnulib/lib/i-ring.h verify (1 <= I_RING_SIZE);
verify            154 maint/gnulib/lib/ino-map.c       verify (INO_MAP_INSERT_FAILURE + 1 == 0);
verify             35 maint/gnulib/lib/localeinfo.c verify (MB_LEN_MAX <= SCHAR_MAX);
verify            126 maint/gnulib/lib/localeinfo.c verify (1 + 1 + sizeof lonesome_lower / sizeof *lonesome_lower
verify             42 maint/gnulib/lib/malloca.c verify (2 * sa_alignment_max - 1 <= (small_t) -1);
verify             59 maint/gnulib/lib/mbrtoc32.c verify (sizeof (mbstate_t) >= 4);
verify             58 maint/gnulib/lib/mbrtowc.c verify (sizeof (mbstate_t) >= 4);
verify             42 maint/gnulib/lib/mbsinit.c verify (sizeof (mbstate_t) >= 4);
verify             56 maint/gnulib/lib/mbsnrtoc32s.c verify (sizeof (char32_t) == sizeof (wchar_t));
verify             48 maint/gnulib/lib/mbsrtoc32s.c verify (sizeof (char32_t) == sizeof (wchar_t));
verify            126 maint/gnulib/lib/mktime.c verify (INT_MAX <= TYPE_MAXIMUM (long_int) / 4 / 366 / 24 / 60 / 60);
verify            159 maint/gnulib/lib/mktime.c verify (TM_YEAR_BASE % 100 == 0);
verify            208 maint/gnulib/lib/mktime.c   verify (-1 / 2 == 0);
verify             64 maint/gnulib/lib/nanosleep.c     verify (TYPE_MAXIMUM (time_t) / 24 / 24 / 60 / 60);
verify            107 maint/gnulib/lib/parse-datetime.y verify (TYPE_IS_INTEGER (time_t));
verify            108 maint/gnulib/lib/parse-datetime.y verify (!TYPE_SIGNED (time_t) || INTMAX_MIN <= TYPE_MINIMUM (time_t));
verify            109 maint/gnulib/lib/parse-datetime.y verify (TYPE_MAXIMUM (time_t) <= INTMAX_MAX);
verify           1258 maint/gnulib/lib/parse-datetime.y   verify (TM_YEAR_BASE % 100 == 0);
verify             98 maint/gnulib/lib/pipe2.c     verify (O_NONBLOCK == 0);
verify             39 maint/gnulib/lib/rawmemchr.c   verify (UINTPTR_WIDTH == UCHAR_WIDTH * sizeof (longword));
verify            145 maint/gnulib/lib/relocwrapper.c verify (sizeof (libdirs) / sizeof (libdirs[0]) > 1);
verify             59 maint/gnulib/lib/sleep.c   verify (UINT_MAX / 24 / 24 / 60 / 60);
verify            231 maint/gnulib/lib/stat-w32.c               verify (sizeof (ino_t) == sizeof (id.FileId));
verify             58 maint/gnulib/lib/strerror.c       verify (sizeof buf >= sizeof (fmt) + INT_STRLEN_BOUND (n));
verify             65 maint/gnulib/lib/strtoimax.c   verify (sizeof (Int) == sizeof (Unsigned long int)
verify            150 maint/gnulib/lib/utimecmp.c   verify (TYPE_IS_INTEGER (time_t));
verify            411 maint/gnulib/lib/vasnprintf.c verify (sizeof (mp_limb_t) * CHAR_BIT == GMP_LIMB_BITS);
verify            415 maint/gnulib/lib/vasnprintf.c verify (sizeof (mp_twolimb_t) * CHAR_BIT == GMP_TWOLIMB_BITS);
verify           2728 maint/gnulib/lib/vasnprintf.c                   verify (sizeof (TCHAR_T) == 1);
verify           3023 maint/gnulib/lib/vasnprintf.c                   verify (sizeof (TCHAR_T) == 1);
verify           5593 maint/gnulib/lib/vasnprintf.c                         verify (sizeof (TCHAR_T) == 1);
verify             36 maint/gnulib/tests/test-alignof.c   verify (alignof_slot (type) == offsetof (type##_helper, slot2)); \
verify             44 maint/gnulib/tests/test-intprops.c #define verify_stmt(x) do { verify (x); } while (0)
verify             32 maint/gnulib/tests/test-libgmp.c verify (GMP_NUMB_BITS == sizeof (mp_limb_t) * CHAR_BIT);
verify             30 maint/gnulib/tests/test-limits-h.c   verify ((max) >> ((width) - 1 - ((min) < 0)) == 1)
verify             56 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (char) == CHAR_MIN);
verify             57 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (char) == CHAR_MAX);
verify             60 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (signed char) == SCHAR_MIN);
verify             61 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (signed char) == SCHAR_MAX);
verify             64 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (unsigned char) == 0);
verify             65 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (unsigned char) == UCHAR_MAX);
verify             68 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (short int) == SHRT_MIN);
verify             69 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (short int) == SHRT_MAX);
verify             72 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (unsigned short int) == 0);
verify             73 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (unsigned short int) == USHRT_MAX);
verify             76 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (int) == INT_MIN);
verify             77 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (int) == INT_MAX);
verify             80 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (unsigned int) == 0);
verify             81 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (unsigned int) == UINT_MAX);
verify             84 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (long int) == LONG_MIN);
verify             85 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (long int) == LONG_MAX);
verify             88 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (unsigned long int) == 0);
verify             89 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (unsigned long int) == ULONG_MAX);
verify             92 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (long long int) == LLONG_MIN);
verify             93 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (long long int) == LLONG_MAX);
verify             96 maint/gnulib/tests/test-limits-h.c verify (TYPE_MINIMUM (unsigned long long int) == 0);
verify             97 maint/gnulib/tests/test-limits-h.c verify (TYPE_MAXIMUM (unsigned long long int) == ULLONG_MAX);
verify            116 maint/gnulib/tests/test-limits-h.c verify (BOOL_MAX == (((1U << (BOOL_WIDTH - 1)) - 1) * 2) + 1);
verify             42 maint/gnulib/tests/test-locale.c verify (sizeof NULL == sizeof (void *));
verify            103 maint/gnulib/tests/test-round2.c         verify (sizeof janus.f == sizeof janus.i);
verify             36 maint/gnulib/tests/test-stdalign.c verify (__alignof_is_defined == 1);
verify             42 maint/gnulib/tests/test-stdalign.c verify (__alignas_is_defined == 1);
verify             57 maint/gnulib/tests/test-stdalign.c   verify (alignof (type) == offsetof (type##_helper, slot2)); \
verify             58 maint/gnulib/tests/test-stdalign.c   verify (_Alignof (type) == alignof (type)); \
verify             34 maint/gnulib/tests/test-stddef.c verify (sizeof NULL == sizeof (void *));
verify             46 maint/gnulib/tests/test-stddef.c verify (sizeof (offsetof (struct d, e)) == sizeof (size_t));
verify             47 maint/gnulib/tests/test-stddef.c verify (offsetof (struct d, f) == 1);
verify             51 maint/gnulib/tests/test-stddef.c verify ((offsetof (struct d, e) < -1) == (INT_MAX < (size_t) -1));
verify             54 maint/gnulib/tests/test-stddef.c verify (alignof (double) <= alignof (max_align_t));
verify             55 maint/gnulib/tests/test-stddef.c verify (alignof (int) <= alignof (max_align_t));
verify             56 maint/gnulib/tests/test-stddef.c verify (alignof (long double) <= alignof (max_align_t));
verify             57 maint/gnulib/tests/test-stddef.c verify (alignof (long int) <= alignof (max_align_t));
verify             58 maint/gnulib/tests/test-stddef.c verify (alignof (ptrdiff_t) <= alignof (max_align_t));
verify             59 maint/gnulib/tests/test-stddef.c verify (alignof (size_t) <= alignof (max_align_t));
verify             60 maint/gnulib/tests/test-stddef.c verify (alignof (wchar_t) <= alignof (max_align_t));
verify             61 maint/gnulib/tests/test-stddef.c verify (alignof (struct d) <= alignof (max_align_t));
verify             63 maint/gnulib/tests/test-stddef.c verify (__alignof__ (double) <= __alignof__ (max_align_t));
verify             64 maint/gnulib/tests/test-stddef.c verify (__alignof__ (int) <= __alignof__ (max_align_t));
verify             65 maint/gnulib/tests/test-stddef.c verify (__alignof__ (long double) <= __alignof__ (max_align_t));
verify             66 maint/gnulib/tests/test-stddef.c verify (__alignof__ (long int) <= __alignof__ (max_align_t));
verify             67 maint/gnulib/tests/test-stddef.c verify (__alignof__ (ptrdiff_t) <= __alignof__ (max_align_t));
verify             68 maint/gnulib/tests/test-stddef.c verify (__alignof__ (size_t) <= __alignof__ (max_align_t));
verify             69 maint/gnulib/tests/test-stddef.c verify (__alignof__ (wchar_t) <= __alignof__ (max_align_t));
verify             70 maint/gnulib/tests/test-stddef.c verify (__alignof__ (struct d) <= __alignof__ (max_align_t));
verify             43 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int8_t) == INT8_MIN);
verify             44 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int8_t) == INT8_MAX);
verify             49 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int16_t) == INT16_MIN);
verify             50 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int16_t) == INT16_MAX);
verify             55 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int32_t) == INT32_MIN);
verify             56 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int32_t) == INT32_MAX);
verify             62 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int64_t) == INT64_MIN);
verify             63 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int64_t) == INT64_MAX);
verify             69 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint8_t) == UINT8_MAX);
verify             73 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint16_t) == UINT16_MAX);
verify             77 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint32_t) == UINT32_MAX);
verify             82 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint64_t) == UINT64_MAX);
verify            102 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_least8_t) == INT_LEAST8_MIN);
verify            103 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_least8_t) == INT_LEAST8_MAX);
verify            108 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_least16_t) == INT_LEAST16_MIN);
verify            109 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_least16_t) == INT_LEAST16_MAX);
verify            114 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_least32_t) == INT_LEAST32_MIN);
verify            115 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_least32_t) == INT_LEAST32_MAX);
verify            121 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_least64_t) == INT_LEAST64_MIN);
verify            122 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_least64_t) == INT_LEAST64_MAX);
verify            128 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least8_t) == UINT_LEAST8_MAX);
verify            132 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least16_t) == UINT_LEAST16_MAX);
verify            136 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least32_t) == UINT_LEAST32_MAX);
verify            141 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_least64_t) == UINT_LEAST64_MAX);
verify            161 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_fast8_t) == INT_FAST8_MIN);
verify            162 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast8_t) == INT_FAST8_MAX);
verify            167 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_fast16_t) == INT_FAST16_MIN);
verify            168 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast16_t) == INT_FAST16_MAX);
verify            173 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_fast32_t) == INT_FAST32_MIN);
verify            174 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast32_t) == INT_FAST32_MAX);
verify            180 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (int_fast64_t) == INT_FAST64_MIN);
verify            181 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (int_fast64_t) == INT_FAST64_MAX);
verify            187 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast8_t) == UINT_FAST8_MAX);
verify            191 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast16_t) == UINT_FAST16_MAX);
verify            195 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast32_t) == UINT_FAST32_MAX);
verify            200 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uint_fast64_t) == UINT_FAST64_MAX);
verify            220 maint/gnulib/tests/test-stdint.c verify (sizeof (void *) <= sizeof (intptr_t));
verify            221 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (intptr_t) == INTPTR_MIN);
verify            222 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (intptr_t) == INTPTR_MAX);
verify            227 maint/gnulib/tests/test-stdint.c verify (sizeof (void *) <= sizeof (uintptr_t));
verify            228 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uintptr_t) == UINTPTR_MAX);
verify            241 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (intmax_t) == INTMAX_MIN);
verify            242 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (intmax_t) == INTMAX_MAX);
verify            247 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (uintmax_t) == UINTMAX_MAX);
verify            265 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (ptrdiff_t) == PTRDIFF_MIN);
verify            266 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (ptrdiff_t) == PTRDIFF_MAX);
verify            278 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (sig_atomic_t) == SIG_ATOMIC_MIN);
verify            279 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (sig_atomic_t) == SIG_ATOMIC_MAX);
verify            289 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (size_t) == SIZE_MAX);
verify            299 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (wchar_t) == WCHAR_MIN);
verify            300 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (wchar_t) == WCHAR_MAX);
verify            314 maint/gnulib/tests/test-stdint.c verify (TYPE_MINIMUM (wint_t) == WINT_MIN);
verify            315 maint/gnulib/tests/test-stdint.c verify (TYPE_MAXIMUM (wint_t) == WINT_MAX);
verify            328 maint/gnulib/tests/test-stdint.c verify (INT8_C (17) == 17);
verify            330 maint/gnulib/tests/test-stdint.c verify (UINT8_C (17) == 17);
verify            333 maint/gnulib/tests/test-stdint.c verify (INT16_C (17) == 17);
verify            335 maint/gnulib/tests/test-stdint.c verify (UINT16_C (17) == 17);
verify            338 maint/gnulib/tests/test-stdint.c verify (INT32_C (17) == 17);
verify            340 maint/gnulib/tests/test-stdint.c verify (UINT32_C (17) == 17);
verify            344 maint/gnulib/tests/test-stdint.c verify (INT64_C (17) == 17);
verify            348 maint/gnulib/tests/test-stdint.c verify (UINT64_C (17) == 17);
verify            352 maint/gnulib/tests/test-stdint.c verify (INTMAX_C (17) == 17);
verify            354 maint/gnulib/tests/test-stdint.c verify (UINTMAX_C (17) == 17);
verify             30 maint/gnulib/tests/test-stdio.c verify (sizeof NULL == sizeof (void *));
verify             39 maint/gnulib/tests/test-stdlib.c verify (sizeof NULL == sizeof (void *));
verify             27 maint/gnulib/tests/test-string.c verify (sizeof NULL == sizeof (void *));
verify             64 maint/gnulib/tests/test-sys_stat.c verify (S_IRWXU == (S_IRUSR | S_IWUSR | S_IXUSR));
verify             65 maint/gnulib/tests/test-sys_stat.c verify (S_IRWXG == (S_IRGRP | S_IWGRP | S_IXGRP));
verify             66 maint/gnulib/tests/test-sys_stat.c verify (S_IRWXO == (S_IROTH | S_IWOTH | S_IXOTH));
verify             69 maint/gnulib/tests/test-sys_stat.c verify (S_ISBLK (S_IFBLK));
verify             71 maint/gnulib/tests/test-sys_stat.c verify (!S_ISBLK (S_IFCHR));
verify             72 maint/gnulib/tests/test-sys_stat.c verify (!S_ISBLK (S_IFDIR));
verify             73 maint/gnulib/tests/test-sys_stat.c verify (!S_ISBLK (S_IFIFO));
verify             74 maint/gnulib/tests/test-sys_stat.c verify (!S_ISBLK (S_IFREG));
verify             76 maint/gnulib/tests/test-sys_stat.c verify (!S_ISBLK (S_IFLNK));
verify             79 maint/gnulib/tests/test-sys_stat.c verify (!S_ISBLK (S_IFSOCK));
verify             83 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCHR (S_IFBLK));
verify             85 maint/gnulib/tests/test-sys_stat.c verify (S_ISCHR (S_IFCHR));
verify             86 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCHR (S_IFDIR));
verify             87 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCHR (S_IFIFO));
verify             88 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCHR (S_IFREG));
verify             90 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCHR (S_IFLNK));
verify             93 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCHR (S_IFSOCK));
verify             97 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDIR (S_IFBLK));
verify             99 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDIR (S_IFCHR));
verify            100 maint/gnulib/tests/test-sys_stat.c verify (S_ISDIR (S_IFDIR));
verify            101 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDIR (S_IFIFO));
verify            102 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDIR (S_IFREG));
verify            104 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDIR (S_IFLNK));
verify            107 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDIR (S_IFSOCK));
verify            111 maint/gnulib/tests/test-sys_stat.c verify (!S_ISFIFO (S_IFBLK));
verify            113 maint/gnulib/tests/test-sys_stat.c verify (!S_ISFIFO (S_IFCHR));
verify            114 maint/gnulib/tests/test-sys_stat.c verify (!S_ISFIFO (S_IFDIR));
verify            115 maint/gnulib/tests/test-sys_stat.c verify (S_ISFIFO (S_IFIFO));
verify            116 maint/gnulib/tests/test-sys_stat.c verify (!S_ISFIFO (S_IFREG));
verify            118 maint/gnulib/tests/test-sys_stat.c verify (!S_ISFIFO (S_IFLNK));
verify            121 maint/gnulib/tests/test-sys_stat.c verify (!S_ISFIFO (S_IFSOCK));
verify            125 maint/gnulib/tests/test-sys_stat.c verify (!S_ISREG (S_IFBLK));
verify            127 maint/gnulib/tests/test-sys_stat.c verify (!S_ISREG (S_IFCHR));
verify            128 maint/gnulib/tests/test-sys_stat.c verify (!S_ISREG (S_IFDIR));
verify            129 maint/gnulib/tests/test-sys_stat.c verify (!S_ISREG (S_IFIFO));
verify            130 maint/gnulib/tests/test-sys_stat.c verify (S_ISREG (S_IFREG));
verify            132 maint/gnulib/tests/test-sys_stat.c verify (!S_ISREG (S_IFLNK));
verify            135 maint/gnulib/tests/test-sys_stat.c verify (!S_ISREG (S_IFSOCK));
verify            139 maint/gnulib/tests/test-sys_stat.c verify (!S_ISLNK (S_IFBLK));
verify            141 maint/gnulib/tests/test-sys_stat.c verify (!S_ISLNK (S_IFCHR));
verify            142 maint/gnulib/tests/test-sys_stat.c verify (!S_ISLNK (S_IFDIR));
verify            143 maint/gnulib/tests/test-sys_stat.c verify (!S_ISLNK (S_IFIFO));
verify            144 maint/gnulib/tests/test-sys_stat.c verify (!S_ISLNK (S_IFREG));
verify            146 maint/gnulib/tests/test-sys_stat.c verify (S_ISLNK (S_IFLNK));
verify            149 maint/gnulib/tests/test-sys_stat.c verify (!S_ISLNK (S_IFSOCK));
verify            153 maint/gnulib/tests/test-sys_stat.c verify (!S_ISSOCK (S_IFBLK));
verify            155 maint/gnulib/tests/test-sys_stat.c verify (!S_ISSOCK (S_IFCHR));
verify            156 maint/gnulib/tests/test-sys_stat.c verify (!S_ISSOCK (S_IFDIR));
verify            157 maint/gnulib/tests/test-sys_stat.c verify (!S_ISSOCK (S_IFIFO));
verify            158 maint/gnulib/tests/test-sys_stat.c verify (!S_ISSOCK (S_IFREG));
verify            160 maint/gnulib/tests/test-sys_stat.c verify (!S_ISSOCK (S_IFLNK));
verify            163 maint/gnulib/tests/test-sys_stat.c verify (S_ISSOCK (S_IFSOCK));
verify            167 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFBLK));
verify            169 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFCHR));
verify            170 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFDIR));
verify            171 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFIFO));
verify            172 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFREG));
verify            174 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFLNK));
verify            177 maint/gnulib/tests/test-sys_stat.c verify (!S_ISDOOR (S_IFSOCK));
verify            181 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFBLK));
verify            183 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFCHR));
verify            184 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFDIR));
verify            185 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFIFO));
verify            186 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFREG));
verify            188 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFLNK));
verify            191 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPB (S_IFSOCK));
verify            195 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFBLK));
verify            197 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFCHR));
verify            198 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFDIR));
verify            199 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFIFO));
verify            200 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFREG));
verify            202 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFLNK));
verify            205 maint/gnulib/tests/test-sys_stat.c verify (!S_ISMPX (S_IFSOCK));
verify            209 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFBLK));
verify            211 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFCHR));
verify            212 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFDIR));
verify            213 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFIFO));
verify            214 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFREG));
verify            216 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFLNK));
verify            219 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNAM (S_IFSOCK));
verify            223 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFBLK));
verify            225 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFCHR));
verify            226 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFDIR));
verify            227 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFIFO));
verify            228 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFREG));
verify            230 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFLNK));
verify            233 maint/gnulib/tests/test-sys_stat.c verify (!S_ISNWK (S_IFSOCK));
verify            237 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFBLK));
verify            239 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFCHR));
verify            240 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFDIR));
verify            241 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFIFO));
verify            242 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFREG));
verify            244 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFLNK));
verify            247 maint/gnulib/tests/test-sys_stat.c verify (!S_ISPORT (S_IFSOCK));
verify            251 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFBLK));
verify            253 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFCHR));
verify            254 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFDIR));
verify            255 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFIFO));
verify            256 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFREG));
verify            258 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFLNK));
verify            261 maint/gnulib/tests/test-sys_stat.c verify (!S_ISCTG (S_IFSOCK));
verify            265 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFBLK));
verify            267 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFCHR));
verify            268 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFDIR));
verify            269 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFIFO));
verify            270 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFREG));
verify            272 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFLNK));
verify            275 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFD (S_IFSOCK));
verify            279 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFBLK));
verify            281 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFCHR));
verify            282 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFDIR));
verify            283 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFIFO));
verify            284 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFREG));
verify            286 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFLNK));
verify            289 maint/gnulib/tests/test-sys_stat.c verify (!S_ISOFL (S_IFSOCK));
verify            293 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFBLK));
verify            295 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFCHR));
verify            296 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFDIR));
verify            297 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFIFO));
verify            298 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFREG));
verify            300 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFLNK));
verify            303 maint/gnulib/tests/test-sys_stat.c verify (!S_ISWHT (S_IFSOCK));
verify            307 maint/gnulib/tests/test-sys_stat.c verify (S_IRWXU == 00700);
verify            308 maint/gnulib/tests/test-sys_stat.c verify (S_IRUSR == 00400);
verify            309 maint/gnulib/tests/test-sys_stat.c verify (S_IWUSR == 00200);
verify            310 maint/gnulib/tests/test-sys_stat.c verify (S_IXUSR == 00100);
verify            311 maint/gnulib/tests/test-sys_stat.c verify (S_IRWXG == 00070);
verify            312 maint/gnulib/tests/test-sys_stat.c verify (S_IRGRP == 00040);
verify            313 maint/gnulib/tests/test-sys_stat.c verify (S_IWGRP == 00020);
verify            314 maint/gnulib/tests/test-sys_stat.c verify (S_IXGRP == 00010);
verify            315 maint/gnulib/tests/test-sys_stat.c verify (S_IRWXO == 00007);
verify            316 maint/gnulib/tests/test-sys_stat.c verify (S_IROTH == 00004);
verify            317 maint/gnulib/tests/test-sys_stat.c verify (S_IWOTH == 00002);
verify            318 maint/gnulib/tests/test-sys_stat.c verify (S_IXOTH == 00001);
verify            319 maint/gnulib/tests/test-sys_stat.c verify (S_ISUID == 04000);
verify            320 maint/gnulib/tests/test-sys_stat.c verify (S_ISGID == 02000);
verify            321 maint/gnulib/tests/test-sys_stat.c verify (S_ISVTX == 01000);
verify             35 maint/gnulib/tests/test-time.c verify (sizeof NULL == sizeof (void *));
verify             39 maint/gnulib/tests/test-time.c verify (TIME_UTC > 0);
verify             32 maint/gnulib/tests/test-uchar.c verify ((char16_t)(-1) >= 0);
verify             34 maint/gnulib/tests/test-uchar.c verify ((char32_t)(-1) >= 0);
verify             38 maint/gnulib/tests/test-uchar.c verify ((char32_t)0x7FFFFFFF != (char32_t)0x3FFFFFFF);
verify             42 maint/gnulib/tests/test-uchar.c verify (sizeof (char32_t) > sizeof (wchar_t));
verify             44 maint/gnulib/tests/test-uchar.c verify (sizeof (char32_t) == sizeof (wchar_t));
verify             27 maint/gnulib/tests/test-unistd.c verify (sizeof NULL == sizeof (void *));
verify             34 maint/gnulib/tests/test-verify.c verify (gx >= 0);                 /* should give ERROR: non-constant expression */
verify             36 maint/gnulib/tests/test-verify.c verify (C == 2);                  /* should be ok */
verify             38 maint/gnulib/tests/test-verify.c verify (1 + 1 == 3);              /* should give ERROR */
verify             40 maint/gnulib/tests/test-verify.c verify (1 == 1); verify (1 == 1); /* should be ok */
verify             51 maint/gnulib/tests/test-verify.c   verify (n >= 0);                  /* should give ERROR: non-constant expression */
verify             53 maint/gnulib/tests/test-verify.c   verify (C == 2);                  /* should be ok */
verify             55 maint/gnulib/tests/test-verify.c   verify (1 + 1 == 3);              /* should give ERROR */
verify             57 maint/gnulib/tests/test-verify.c   verify (1 == 1); verify (1 == 1); /* should be ok */
verify             31 maint/gnulib/tests/test-wchar.c verify (sizeof NULL == sizeof (void *));