void runSuccess() {
isxdigit_l('1', locale());
isxdigit_l('a', locale());
isxdigit_l('\t', locale());
isxdigit_l(EOF, locale());
isxdigit_l(anychar(), locale());
}
void xlocale2_check_functions(nl_item ni, locale_t l)
{
/* ctype.h */
(void)isalnum_l(0, l);
(void)isdigit_l(0, l);
(void)isxdigit_l(0, l);
/* inttypes.h */
(void)strtoimax_l("", (char**)1234, 10, l);
/* langinfo.h */
(void)nl_langinfo_l(ni, l);
/* monetary.h */
(void)strfmon_l((char*)1234, (size_t)0, l, "%n", 0.0);
/* stdio.h */
(void)printf_l(l, "%d", 0);
/* stdlib.h */
(void)strtol_l("", (char**)1234, 10, l);
/* string.h */
(void)strcoll_l("", "", l);
/* time.h */
(void)strftime_l((char*)1234, (size_t)0, "%s", (const struct tm *)1234, l);
/* wchar.h */
(void)wcstol_l(L"", (wchar_t**)1234, 10, l);
/* wctype.h */
(void)iswalnum_l((wint_t)0, l);
(void)iswdigit_l((wint_t)0, l);
(void)iswxdigit_l((wint_t)0, l);
}
void testValues() {
f = 2;
int result;
result = isxdigit_l('1', locale());
//@ assert result != 0;
result = isxdigit_l('0', locale());
//@ assert result != 0;
result = isxdigit_l('9', locale());
//@ assert result != 0;
result = isxdigit_l(' ', locale());
//@ assert result == 0;
result = isxdigit_l('A', locale());
//@ assert result != 0;
result = isxdigit_l('f', locale());
//@ assert result != 0;
result = isxdigit_l('z', locale());
//@ assert result == 0;
result = isxdigit_l('\t', locale());
//@ assert result == 0;
//@ assert f == 2;
//@ assert vacuous: \false;
}
void runFailure() {
isxdigit_l(invalid(), locale());
}
int isxdigit(int c) {
return isxdigit_l(c, uselocale((locale_t)0));
}
