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