Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 1 | // RUN: cp %s %t |
Richard Smith | 2315318 | 2011-09-06 03:01:15 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -pedantic -Wall -fixit %t |
Ted Kremenek | 1ad35be | 2011-07-14 17:05:32 +0000 | [diff] [blame] | 3 | // RUN: %clang_cc1 -fsyntax-only -pedantic -Wall -Werror %t |
| 4 | // RUN: %clang_cc1 -E -o - %t | FileCheck %s |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 5 | |
| 6 | /* This is a test of the various code modification hints that are |
| 7 | provided as part of warning or extension diagnostics. All of the |
| 8 | warnings will be fixed by -fixit, and the resulting file should |
| 9 | compile cleanly with -Werror -pedantic. */ |
| 10 | |
| 11 | int printf(char const *, ...); |
| 12 | |
| 13 | void test() { |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 14 | // Basic types |
| 15 | printf("%s", (int) 123); |
| 16 | printf("abc%0f", "testing testing 123"); |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 17 | printf("%u", (long) -12); |
Ted Kremenek | 13927a4 | 2010-06-16 21:23:04 +0000 | [diff] [blame] | 18 | printf("%p", 123); |
Ted Kremenek | 01cb1aa | 2010-06-17 01:12:20 +0000 | [diff] [blame] | 19 | printf("%c\n", "x"); |
| 20 | printf("%c\n", 1.23); |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 21 | |
| 22 | // Larger types |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 23 | printf("%+.2d", (unsigned long long) 123456); |
| 24 | printf("%1d", (long double) 1.23); |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 25 | |
| 26 | // Flag handling |
Tom Care | 45f9b7e | 2010-06-21 21:21:01 +0000 | [diff] [blame] | 27 | printf("%0+s", (unsigned) 31337); // 0 flag should stay |
Tom Care | 4c60219 | 2010-06-18 03:02:16 +0000 | [diff] [blame] | 28 | printf("%#p", (void *) 0); |
Tom Care | 45f9b7e | 2010-06-21 21:21:01 +0000 | [diff] [blame] | 29 | printf("% +f", 1.23); // + flag should stay |
| 30 | printf("%0-f", 1.23); // - flag should stay |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 31 | |
| 32 | // Positional arguments |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 33 | printf("%1$f:%2$.*3$f:%4$.*3$f\n", 1, 2, 3, 4); |
Tom Care | 4c60219 | 2010-06-18 03:02:16 +0000 | [diff] [blame] | 34 | |
| 35 | // Precision |
| 36 | printf("%10.5d", 1l); // (bug 7394) |
| 37 | printf("%.2c", 'a'); |
| 38 | |
| 39 | // Ignored flags |
| 40 | printf("%0-f", 1.23); |
| 41 | |
| 42 | // Bad length modifiers |
| 43 | printf("%hhs", "foo"); |
| 44 | printf("%1$zp", (void *)0); |
Ted Kremenek | 1e713f5 | 2011-04-25 22:32:59 +0000 | [diff] [blame] | 45 | |
| 46 | // Perserve the original formatting for unsigned integers. |
| 47 | unsigned long val = 42; |
| 48 | printf("%X", val); |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 49 | |
| 50 | typedef __SIZE_TYPE__ size_t; |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 51 | typedef __INTMAX_TYPE__ intmax_t; |
| 52 | typedef __UINTMAX_TYPE__ uintmax_t; |
| 53 | typedef __PTRDIFF_TYPE__ ptrdiff_t; |
| 54 | |
| 55 | // size_t, etc. |
Hans Wennborg | 36e7608 | 2011-10-18 09:30:37 +0000 | [diff] [blame] | 56 | printf("%f", (size_t) 42); |
Hans Wennborg | 36e7608 | 2011-10-18 09:30:37 +0000 | [diff] [blame] | 57 | printf("%f", (intmax_t) 42); |
| 58 | printf("%f", (uintmax_t) 42); |
| 59 | printf("%f", (ptrdiff_t) 42); |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 60 | } |
Ted Kremenek | 1e713f5 | 2011-04-25 22:32:59 +0000 | [diff] [blame] | 61 | |
| 62 | // Validate the fixes... |
| 63 | // CHECK: printf("%d", (int) 123); |
| 64 | // CHECK: printf("abc%s", "testing testing 123"); |
| 65 | // CHECK: printf("%ld", (long) -12); |
| 66 | // CHECK: printf("%d", 123); |
| 67 | // CHECK: printf("%s\n", "x"); |
| 68 | // CHECK: printf("%f\n", 1.23); |
| 69 | // CHECK: printf("%.2llu", (unsigned long long) 123456); |
| 70 | // CHECK: printf("%1Lf", (long double) 1.23); |
| 71 | // CHECK: printf("%0u", (unsigned) 31337); |
| 72 | // CHECK: printf("%p", (void *) 0); |
| 73 | // CHECK: printf("%+f", 1.23); |
| 74 | // CHECK: printf("%-f", 1.23); |
| 75 | // CHECK: printf("%1$d:%2$.*3$d:%4$.*3$d\n", 1, 2, 3, 4); |
| 76 | // CHECK: printf("%10.5ld", 1l); |
| 77 | // CHECK: printf("%c", 'a'); |
| 78 | // CHECK: printf("%-f", 1.23); |
| 79 | // CHECK: printf("%s", "foo"); |
| 80 | // CHECK: printf("%1$p", (void *)0); |
| 81 | // CHECK: printf("%lX", val); |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 82 | // CHECK: printf("%zu", (size_t) 42); |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 83 | // CHECK: printf("%jd", (intmax_t) 42); |
| 84 | // CHECK: printf("%ju", (uintmax_t) 42); |
| 85 | // CHECK: printf("%td", (ptrdiff_t) 42); |