xref: /freebsd/lib/libc/tests/stdio/printbasic_test.c (revision c3fa65b1c83d0d9ba05d7898c5cad5c79a8a613c)
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