40 	SNPRINTF_TEST("1111111111111111111111111111111", "%b", INT_MAX);  in ATF_TC_BODY()
47 	SNPRINTF_TEST("0b1111111111111111111111111111111", "%#b", INT_MAX);  in ATF_TC_BODY()
59 	SNPRINTF_TEST("1111111111111111111111111111111", "%B", INT_MAX);  in ATF_TC_BODY()
66 	SNPRINTF_TEST("0B1111111111111111111111111111111", "%#B", INT_MAX);  in ATF_TC_BODY()
78 	SNPRINTF_TEST("2147483647", "%d", INT_MAX);  in ATF_TC_BODY()
79 	SNPRINTF_TEST("  2147483647", "%12d", INT_MAX);  in ATF_TC_BODY()
80 	SNPRINTF_TEST("002147483647", "%012d", INT_MAX);  in ATF_TC_BODY()
81 	SNPRINTF_TEST("2,147,483,647", "%'d", INT_MAX);  in ATF_TC_BODY()
93 	SNPRINTF_TEST("7fffffff", "%x", INT_MAX);  in ATF_TC_BODY()
94 	SNPRINTF_TEST("    7fffffff", "%12x", INT_MAX);  in ATF_TC_BODY()
95 	SNPRINTF_TEST("00007fffffff", "%012x", INT_MAX);  in ATF_TC_BODY()
102 	SNPRINTF_TEST("0x7fffffff", "%#x", INT_MAX);  in ATF_TC_BODY()
103 	SNPRINTF_TEST("  0x7fffffff", "%#12x", INT_MAX);  in ATF_TC_BODY()
104 	SNPRINTF_TEST("0x007fffffff", "%#012x", INT_MAX);  in ATF_TC_BODY()
116 	SNPRINTF_TEST("7FFFFFFF", "%X", INT_MAX);  in ATF_TC_BODY()
117 	SNPRINTF_TEST("    7FFFFFFF", "%12X", INT_MAX);  in ATF_TC_BODY()
118 	SNPRINTF_TEST("00007FFFFFFF", "%012X", INT_MAX);  in ATF_TC_BODY()
125 	SNPRINTF_TEST("0X7FFFFFFF", "%#X", INT_MAX);  in ATF_TC_BODY()
126 	SNPRINTF_TEST("  0X7FFFFFFF", "%#12X", INT_MAX);  in ATF_TC_BODY()
127 	SNPRINTF_TEST("0X007FFFFFFF", "%#012X", INT_MAX);  in ATF_TC_BODY()
147 	SNPRINTF_TEST("2147483647", "%w32d", (int32_t)INT_MAX);  in ATF_TC_BODY()
167 	SNPRINTF_TEST("2147483647", "%wf8d", (int_fast8_t)INT_MAX);  in ATF_TC_BODY()
173 	SNPRINTF_TEST("2147483647", "%wf16d", (int_fast16_t)INT_MAX);  in ATF_TC_BODY()
179 	SNPRINTF_TEST("2147483647", "%wf32d", (int_fast32_t)INT_MAX);  in ATF_TC_BODY()