- printf ("0031: [%9s]\n", "abcdefgh");
- printf ("0063: [%- o]\n", 036657730000);
- printf ("0064: [%- u]\n", 4139757568);
- printf ("0065: [%- x]\n", 0xf6bfb000);
- printf ("0178: [%-to]\n", (ptrdiff_t) 036657730000);
- printf ("0191: [%-tu]\n", (ptrdiff_t) 4139757568);
- printf ("0242: [%-zi]\n", (size_t) -155209728);
- printf ("0257: [%-zd]\n", (size_t) -155209728);
- printf ("0347: [%+#o]\n", 036657730000);
- printf ("0349: [%+#x]\n", 0xf6bfb000);
- printf ("0539: [% zi]\n", (size_t) -155209728);
- printf ("0540: [% zd]\n", (size_t) -155209728);
- printf ("0602: [% tu]\n", (ptrdiff_t) 4139757568);
- printf ("0605: [% #o]\n", 036657730000);
- printf ("0607: [% #x]\n", 0xf6bfb000);
- printf ("0702: [%# x]\n", 0xf6bfb000);
- printf ("0875: [%#zd]\n", (size_t) -155209728);
- printf ("1184: [%0zi]\n", (size_t) -155209728);
- printf ("1483: [%'tu]\n", (ptrdiff_t) 4139757568);
- printf ("1557: [%-'d]\n", -155209728);
- printf ("1676: [%.zi]\n", (size_t) -155209728);
- printf ("1897: [%zi]\n", (size_t) -155209728);
- printf ("1899: [%zd]\n", (size_t) -155209728);
- printf ("2791: [%+zi]\n", (size_t) -155209728);
-}
+ checkf ("12345", "%5d", 12345);
+ checkf ("12345", "%-5d", 12345);
+ checkf ("+12345", "%+5d", 12345);
+ checkf ("+12345", "%+-5d", 12345);
+ checkf (" 12345", "% 5d", 12345);
+ checkf ("12345", "%05d", 12345);
+ checkf ("12345", "%5.0d", 12345);
+ checkf ("12345", "%5.2d", 12345);
+ checkf ("12345", "%d", 12345);
+
+ checkf ("123456", "%5d", 123456);
+ checkf ("123456", "%-5d", 123456);
+ checkf ("+123456", "%+5d", 123456);
+ checkf ("+123456", "%+-5d", 123456);
+ checkf (" 123456", "% 5d", 123456);
+ checkf ("123456", "%05d", 123456);
+ checkf ("123456", "%5.0d", 123456);
+ checkf ("123456", "%5.2d", 123456);
+ checkf ("123456", "%d", 123456);
+
+ /* Check unsigned integer conversions. */
+ checkf (" 0", "%5u", 0);
+ checkf (" 0", "%5o", 0);
+ checkf (" 0", "%5x", 0);
+ checkf (" 0", "%5X", 0);
+ checkf (" 0", "%#5o", 0);
+ checkf (" 0", "%#5x", 0);
+ checkf (" 0", "%#5X", 0);
+ checkf (" 00000000", "%#10.8x", 0);
+
+ checkf (" 1", "%5u", 1);
+ checkf (" 1", "%5o", 1);
+ checkf (" 1", "%5x", 1);
+ checkf (" 1", "%5X", 1);
+ checkf (" 01", "%#5o", 1);
+ checkf (" 0x1", "%#5x", 1);
+ checkf (" 0X1", "%#5X", 1);
+ checkf ("0x00000001", "%#10.8x", 1);
+
+ checkf ("123456", "%5u", 123456);
+ checkf ("361100", "%5o", 123456);
+ checkf ("1e240", "%5x", 123456);
+ checkf ("1E240", "%5X", 123456);
+ checkf ("0361100", "%#5o", 123456);
+ checkf ("0x1e240", "%#5x", 123456);
+ checkf ("0X1E240", "%#5X", 123456);
+ checkf ("0x0001e240", "%#10.8x", 123456);
+
+ /* Character and string conversions. */
+ checkf ("foobar", "%c%c%c%c%c%c", 'f', 'o', 'o', 'b', 'a', 'r');
+ checkf (" left-right ", "%6s%s%-7s", "left", "-", "right");
+ checkf ("trim", "%.4s", "trimoff");
+ checkf ("%%", "%%%%");
+
+ /* From Cristian Cadar's automatic test case generator. */
+ checkf (" abcdefgh", "%9s", "abcdefgh");
+ checkf ("36657730000", "%- o", 036657730000);
+ checkf ("4139757568", "%- u", 4139757568);
+ checkf ("f6bfb000", "%- x", 0xf6bfb000);
+ checkf ("36657730000", "%-to", (ptrdiff_t) 036657730000);
+ checkf ("4139757568", "%-tu", (ptrdiff_t) 4139757568);
+ checkf ("-155209728", "%-zi", (size_t) -155209728);
+ checkf ("-155209728", "%-zd", (size_t) -155209728);
+ checkf ("036657730000", "%+#o", 036657730000);
+ checkf ("0xf6bfb000", "%+#x", 0xf6bfb000);
+ checkf ("-155209728", "% zi", (size_t) -155209728);
+ checkf ("-155209728", "% zd", (size_t) -155209728);
+ checkf ("4139757568", "% tu", (ptrdiff_t) 4139757568);
+ checkf ("036657730000", "% #o", 036657730000);
+ checkf ("0xf6bfb000", "% #x", 0xf6bfb000);
+ checkf ("0xf6bfb000", "%# x", 0xf6bfb000);
+ checkf ("-155209728", "%#zd", (size_t) -155209728);
+ checkf ("-155209728", "%0zi", (size_t) -155209728);
+ checkf ("4,139,757,568", "%'tu", (ptrdiff_t) 4139757568);
+ checkf ("-155,209,728", "%-'d", -155209728);
+ checkf ("-155209728", "%.zi", (size_t) -155209728);
+ checkf ("-155209728", "%zi", (size_t) -155209728);
+ checkf ("-155209728", "%zd", (size_t) -155209728);
+ checkf ("-155209728", "%+zi", (size_t) -155209728);
+
+ printf ("\nstdio: PASS\n");
+}