11ee02192SEnji Cooper /*- 21ee02192SEnji Cooper * Copyright (c) 2009 David Schultz <das@FreeBSD.org> 31ee02192SEnji Cooper * All rights reserved. 41ee02192SEnji Cooper * 51ee02192SEnji Cooper * Redistribution and use in source and binary forms, with or without 61ee02192SEnji Cooper * modification, are permitted provided that the following conditions 71ee02192SEnji Cooper * are met: 81ee02192SEnji Cooper * 1. Redistributions of source code must retain the above copyright 91ee02192SEnji Cooper * notice, this list of conditions and the following disclaimer. 101ee02192SEnji Cooper * 2. Redistributions in binary form must reproduce the above copyright 111ee02192SEnji Cooper * notice, this list of conditions and the following disclaimer in the 121ee02192SEnji Cooper * documentation and/or other materials provided with the distribution. 131ee02192SEnji Cooper * 141ee02192SEnji Cooper * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 151ee02192SEnji Cooper * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 161ee02192SEnji Cooper * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 171ee02192SEnji Cooper * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 181ee02192SEnji Cooper * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 191ee02192SEnji Cooper * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 201ee02192SEnji Cooper * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 211ee02192SEnji Cooper * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 221ee02192SEnji Cooper * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 231ee02192SEnji Cooper * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 241ee02192SEnji Cooper * SUCH DAMAGE. 251ee02192SEnji Cooper */ 261ee02192SEnji Cooper 271ee02192SEnji Cooper /* 281ee02192SEnji Cooper * Tests for basic and miscellaneous printf() formats. 291ee02192SEnji Cooper */ 301ee02192SEnji Cooper 311ee02192SEnji Cooper #include <sys/cdefs.h> 321ee02192SEnji Cooper __FBSDID("$FreeBSD$"); 331ee02192SEnji Cooper 341ee02192SEnji Cooper #include <err.h> 351ee02192SEnji Cooper #include <limits.h> 361ee02192SEnji Cooper #include <locale.h> 371ee02192SEnji Cooper #include <stdio.h> 381ee02192SEnji Cooper #include <stdarg.h> 391ee02192SEnji Cooper #include <stddef.h> 401ee02192SEnji Cooper #include <stdint.h> 411ee02192SEnji Cooper #include <stdlib.h> 421ee02192SEnji Cooper #include <string.h> 431ee02192SEnji Cooper #include <wchar.h> 441ee02192SEnji Cooper 451ee02192SEnji Cooper #include <atf-c.h> 461ee02192SEnji Cooper 471ee02192SEnji Cooper #define S_UINT64MAX "18446744073709551615" 481ee02192SEnji Cooper #define S_UINT32MAX "4294967295" 491ee02192SEnji Cooper #define S_INT64MIN "-9223372036854775808" 501ee02192SEnji Cooper #define S_INT32MIN "-2147483648" 511ee02192SEnji Cooper 521ee02192SEnji Cooper #define S_SIZEMAX (SIZE_MAX == UINT64_MAX ? S_UINT64MAX : S_UINT32MAX) 531ee02192SEnji Cooper #define S_ULONGMAX (ULONG_MAX == UINT64_MAX ? S_UINT64MAX : S_UINT32MAX) 541ee02192SEnji Cooper #define S_ULLONGMAX (ULLONG_MAX == UINT64_MAX ? S_UINT64MAX : S_UINT32MAX) 551ee02192SEnji Cooper 561ee02192SEnji Cooper static void 571ee02192SEnji Cooper smash_stack(void) 581ee02192SEnji Cooper { 591ee02192SEnji Cooper static uint32_t junk = 0xdeadbeef; 601ee02192SEnji Cooper uint32_t buf[512]; 611ee02192SEnji Cooper int i; 621ee02192SEnji Cooper 631ee02192SEnji Cooper for (i = 0; i < sizeof(buf) / sizeof(buf[0]); i++) 641ee02192SEnji Cooper buf[i] = junk; 651ee02192SEnji Cooper } 661ee02192SEnji Cooper 671ee02192SEnji Cooper #define testfmt(result, fmt, ...) \ 681ee02192SEnji Cooper _testfmt((result), #__VA_ARGS__, fmt, __VA_ARGS__) 691ee02192SEnji Cooper static void 701ee02192SEnji Cooper _testfmt(const char *result, const char *argstr, const char *fmt,...) 711ee02192SEnji Cooper { 721ee02192SEnji Cooper #define BUF 100 731ee02192SEnji Cooper wchar_t ws[BUF], wfmt[BUF], wresult[BUF]; 741ee02192SEnji Cooper char s[BUF]; 751ee02192SEnji Cooper va_list ap, ap2; 761ee02192SEnji Cooper 771ee02192SEnji Cooper va_start(ap, fmt); 781ee02192SEnji Cooper va_copy(ap2, ap); 791ee02192SEnji Cooper smash_stack(); 801ee02192SEnji Cooper vsnprintf(s, sizeof(s), fmt, ap); 811ee02192SEnji Cooper if (strcmp(result, s) != 0) { 821ee02192SEnji Cooper atf_tc_fail( 83e57c1140SEnji Cooper "printf(\"%s\", %s) ==> [%s], expected [%s]", 841ee02192SEnji Cooper fmt, argstr, s, result); 851ee02192SEnji Cooper } 861ee02192SEnji Cooper 871ee02192SEnji Cooper smash_stack(); 881ee02192SEnji Cooper mbstowcs(ws, s, BUF - 1); 891ee02192SEnji Cooper mbstowcs(wfmt, fmt, BUF - 1); 901ee02192SEnji Cooper mbstowcs(wresult, result, BUF - 1); 911ee02192SEnji Cooper vswprintf(ws, sizeof(ws) / sizeof(ws[0]), wfmt, ap2); 921ee02192SEnji Cooper if (wcscmp(wresult, ws) != 0) { 931ee02192SEnji Cooper atf_tc_fail( 94e57c1140SEnji Cooper "wprintf(\"%ls\", %s) ==> [%ls], expected [%ls]", 951ee02192SEnji Cooper wfmt, argstr, ws, wresult); 961ee02192SEnji Cooper } 973e227991SEnji Cooper va_end(ap); 983e227991SEnji Cooper va_end(ap2); 991ee02192SEnji Cooper } 1001ee02192SEnji Cooper 1011ee02192SEnji Cooper ATF_TC_WITHOUT_HEAD(int_within_limits); 1021ee02192SEnji Cooper ATF_TC_BODY(int_within_limits, tc) 1031ee02192SEnji Cooper { 1041ee02192SEnji Cooper 1051ee02192SEnji Cooper ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 1061ee02192SEnji Cooper 1071ee02192SEnji Cooper /* The test requires these to be true. */ 1081ee02192SEnji Cooper ATF_REQUIRE(UINTMAX_MAX == UINT64_MAX); 1091ee02192SEnji Cooper ATF_REQUIRE(UINT_MAX == UINT32_MAX); 1101ee02192SEnji Cooper ATF_REQUIRE(USHRT_MAX == 0xffff); 1111ee02192SEnji Cooper ATF_REQUIRE(UCHAR_MAX == 0xff); 1121ee02192SEnji Cooper 1131ee02192SEnji Cooper /* Make sure we handle signed vs. unsigned args correctly. */ 1141ee02192SEnji Cooper testfmt("-1", "%jd", (intmax_t)-1); 1151ee02192SEnji Cooper testfmt(S_UINT64MAX, "%ju", UINT64_MAX); 1161ee02192SEnji Cooper 1171ee02192SEnji Cooper testfmt("-1", "%td", (ptrdiff_t)-1); 1181ee02192SEnji Cooper testfmt(S_SIZEMAX, "%tu", (size_t)-1); 1191ee02192SEnji Cooper 1201ee02192SEnji Cooper testfmt("-1", "%zd", (ssize_t)-1); 1211ee02192SEnji Cooper testfmt(S_SIZEMAX, "%zu", (ssize_t)-1); 1221ee02192SEnji Cooper 1231ee02192SEnji Cooper testfmt("-1", "%ld", (long)-1); 1241ee02192SEnji Cooper testfmt(S_ULONGMAX, "%lu", ULONG_MAX); 1251ee02192SEnji Cooper 1261ee02192SEnji Cooper testfmt("-1", "%lld", (long long)-1); 127*c3fa65b1SRuslan Bukin testfmt(S_ULLONGMAX, "%llu", ULLONG_MAX); 1281ee02192SEnji Cooper 1291ee02192SEnji Cooper testfmt("-1", "%d", -1); 130*c3fa65b1SRuslan Bukin testfmt(S_UINT32MAX, "%u", UINT32_MAX); 1311ee02192SEnji Cooper 1321ee02192SEnji Cooper testfmt("-1", "%hd", -1); 1331ee02192SEnji Cooper testfmt("65535", "%hu", USHRT_MAX); 1341ee02192SEnji Cooper 1351ee02192SEnji Cooper testfmt("-1", "%hhd", -1); 1361ee02192SEnji Cooper testfmt("255", "%hhu", UCHAR_MAX); 1371ee02192SEnji Cooper } 1381ee02192SEnji Cooper 1391ee02192SEnji Cooper ATF_TC_WITHOUT_HEAD(int_limits); 1401ee02192SEnji Cooper ATF_TC_BODY(int_limits, tc) 1411ee02192SEnji Cooper { 1421ee02192SEnji Cooper 1431ee02192SEnji Cooper ATF_REQUIRE(setlocale(LC_NUMERIC, "C")); 1441ee02192SEnji Cooper 1451ee02192SEnji Cooper /* 1461ee02192SEnji Cooper * Check that printing the largest negative number does not cause 1471ee02192SEnji Cooper * overflow when it is negated. 1481ee02192SEnji Cooper */ 1491ee02192SEnji Cooper testfmt(S_INT32MIN, "%d", INT_MIN); 1501ee02192SEnji Cooper testfmt(S_INT64MIN, "%jd", INTMAX_MIN); 1511ee02192SEnji Cooper } 1521ee02192SEnji Cooper 1531ee02192SEnji Cooper ATF_TP_ADD_TCS(tp) 1541ee02192SEnji Cooper { 1551ee02192SEnji Cooper 1561ee02192SEnji Cooper ATF_TP_ADD_TC(tp, int_within_limits); 1571ee02192SEnji Cooper ATF_TP_ADD_TC(tp, int_limits); 1581ee02192SEnji Cooper 1591ee02192SEnji Cooper return (atf_no_error()); 1601ee02192SEnji Cooper } 161