void runFailure() {
char buf[] = "";
//@ assert \valid(buf+(0..\block_length(buf)-1));
//@ assert \exists integer x; buf[x] == '\0';
wctrans_t t = wctrans_l(buf, locale());
if (t == 0) {return;}
towctrans_l(invalid(), t, locale());
}
void testValues() {
f = 2;
wint_t result;
char buf[] = "";
//@ assert \valid(buf+(0..\block_length(buf)-1));
//@ assert \exists integer x; buf[x] == '\0';
wctrans_t t = wctrans_l(buf, locale());
if (t == 0) {return;}
towctrans_l(anychar(), t, locale());
//@ assert f == 2;
//@ assert vacuous: \false;
}
void wctype_check_functions(wint_t i, wctype_t t, wctrans_t tr, locale_t l)
{
(void)iswalnum(i);
(void)iswalnum_l(i, l);
(void)iswalpha(i);
(void)iswalpha_l(i, l);
(void)iswblank(i);
(void)iswblank_l(i, l);
(void)iswcntrl(i);
(void)iswcntrl_l(i, l);
(void)iswctype(i, t);
(void)iswctype_l(i, t, l);
(void)iswdigit(i);
(void)iswdigit_l(i, l);
(void)iswgraph(i);
(void)iswgraph_l(i, l);
(void)iswlower(i);
(void)iswlower_l(i, l);
(void)iswprint(i);
(void)iswprint_l(i, l);
(void)iswpunct(i);
(void)iswpunct_l(i, l);
(void)iswspace(i);
(void)iswspace_l(i, l);
(void)iswupper(i);
(void)iswupper_l(i, l);
(void)iswxdigit(i);
(void)iswxdigit_l(i, l);
(void)towctrans(i, tr);
(void)towctrans_l(i, tr, l);
(void)towlower(i);
(void)towlower_l(i, l);
(void)towupper(i);
(void)towupper_l(i, l);
(void)wctrans((const char *)1234);
(void)wctrans_l((const char *)1234, l);
(void)wctype((const char *)1234);
(void)wctype_l((const char *)1234, l);
}
wctrans_t
wctrans(const char *charclass)
{
return wctrans_l(charclass, 0);
}
wctrans_t
wctrans(const char *charmap)
{
return wctrans_l(charmap, _current_locale());
}
wctrans_t
wctrans(const char *charclass)
{
return (wctrans_l(charclass, uselocale(NULL)));
}
