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 | |
Hans Wennborg | 6fcd932 | 2011-12-10 13:20:11 +0000 | [diff] [blame^] | 13 | typedef __SIZE_TYPE__ size_t; |
| 14 | typedef __INTMAX_TYPE__ intmax_t; |
| 15 | typedef __UINTMAX_TYPE__ uintmax_t; |
| 16 | typedef __PTRDIFF_TYPE__ ptrdiff_t; |
| 17 | |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 18 | void test() { |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 19 | // Basic types |
| 20 | printf("%s", (int) 123); |
| 21 | printf("abc%0f", "testing testing 123"); |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 22 | printf("%u", (long) -12); |
Ted Kremenek | 13927a4 | 2010-06-16 21:23:04 +0000 | [diff] [blame] | 23 | printf("%p", 123); |
Ted Kremenek | 01cb1aa | 2010-06-17 01:12:20 +0000 | [diff] [blame] | 24 | printf("%c\n", "x"); |
| 25 | printf("%c\n", 1.23); |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 26 | |
| 27 | // Larger types |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 28 | printf("%+.2d", (unsigned long long) 123456); |
| 29 | printf("%1d", (long double) 1.23); |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 30 | |
| 31 | // Flag handling |
Tom Care | 45f9b7e | 2010-06-21 21:21:01 +0000 | [diff] [blame] | 32 | printf("%0+s", (unsigned) 31337); // 0 flag should stay |
Tom Care | 4c60219 | 2010-06-18 03:02:16 +0000 | [diff] [blame] | 33 | printf("%#p", (void *) 0); |
Tom Care | 45f9b7e | 2010-06-21 21:21:01 +0000 | [diff] [blame] | 34 | printf("% +f", 1.23); // + flag should stay |
| 35 | printf("%0-f", 1.23); // - flag should stay |
Tom Care | 876e994 | 2010-06-11 04:22:02 +0000 | [diff] [blame] | 36 | |
| 37 | // Positional arguments |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 38 | 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] | 39 | |
| 40 | // Precision |
| 41 | printf("%10.5d", 1l); // (bug 7394) |
| 42 | printf("%.2c", 'a'); |
| 43 | |
| 44 | // Ignored flags |
| 45 | printf("%0-f", 1.23); |
| 46 | |
| 47 | // Bad length modifiers |
| 48 | printf("%hhs", "foo"); |
| 49 | printf("%1$zp", (void *)0); |
Hans Wennborg | 117348c | 2011-12-09 10:51:29 +0000 | [diff] [blame] | 50 | |
Ted Kremenek | 1e713f5 | 2011-04-25 22:32:59 +0000 | [diff] [blame] | 51 | // Perserve the original formatting for unsigned integers. |
| 52 | unsigned long val = 42; |
| 53 | printf("%X", val); |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 54 | |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 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); |
Hans Wennborg | 117348c | 2011-12-09 10:51:29 +0000 | [diff] [blame] | 60 | |
| 61 | // string |
| 62 | printf("%ld", "foo"); |
Tom Care | 3bfc5f4 | 2010-06-09 04:11:11 +0000 | [diff] [blame] | 63 | } |
Ted Kremenek | 1e713f5 | 2011-04-25 22:32:59 +0000 | [diff] [blame] | 64 | |
Hans Wennborg | 6fcd932 | 2011-12-10 13:20:11 +0000 | [diff] [blame^] | 65 | int scanf(char const *, ...); |
| 66 | |
| 67 | void test2() { |
| 68 | char str[100]; |
| 69 | short shortVar; |
| 70 | unsigned short uShortVar; |
| 71 | int intVar; |
| 72 | unsigned uIntVar; |
| 73 | float floatVar; |
| 74 | double doubleVar; |
| 75 | long double longDoubleVar; |
| 76 | long longVar; |
| 77 | unsigned long uLongVar; |
| 78 | long long longLongVar; |
| 79 | unsigned long long uLongLongVar; |
| 80 | size_t sizeVar; |
| 81 | intmax_t intmaxVar; |
| 82 | uintmax_t uIntmaxVar; |
| 83 | ptrdiff_t ptrdiffVar; |
| 84 | |
| 85 | scanf("%lf", str); |
| 86 | scanf("%f", &shortVar); |
| 87 | scanf("%f", &uShortVar); |
| 88 | scanf("%p", &intVar); |
| 89 | scanf("%Lf", &uIntVar); |
| 90 | scanf("%ld", &floatVar); |
| 91 | scanf("%f", &doubleVar); |
| 92 | scanf("%d", &longDoubleVar); |
| 93 | scanf("%f", &longVar); |
| 94 | scanf("%f", &uLongVar); |
| 95 | scanf("%f", &longLongVar); |
| 96 | scanf("%f", &uLongLongVar); |
| 97 | |
| 98 | // Some named ints. |
| 99 | scanf("%f", &sizeVar); |
| 100 | scanf("%f", &intmaxVar); |
| 101 | scanf("%f", &uIntmaxVar); |
| 102 | scanf("%f", &ptrdiffVar); |
| 103 | |
| 104 | // Perserve the original formatting for unsigned integers. |
| 105 | scanf("%o", &uLongVar); |
| 106 | scanf("%x", &uLongVar); |
| 107 | scanf("%X", &uLongVar); |
| 108 | } |
| 109 | |
Ted Kremenek | 1e713f5 | 2011-04-25 22:32:59 +0000 | [diff] [blame] | 110 | // Validate the fixes... |
| 111 | // CHECK: printf("%d", (int) 123); |
| 112 | // CHECK: printf("abc%s", "testing testing 123"); |
| 113 | // CHECK: printf("%ld", (long) -12); |
| 114 | // CHECK: printf("%d", 123); |
| 115 | // CHECK: printf("%s\n", "x"); |
| 116 | // CHECK: printf("%f\n", 1.23); |
| 117 | // CHECK: printf("%.2llu", (unsigned long long) 123456); |
| 118 | // CHECK: printf("%1Lf", (long double) 1.23); |
| 119 | // CHECK: printf("%0u", (unsigned) 31337); |
| 120 | // CHECK: printf("%p", (void *) 0); |
| 121 | // CHECK: printf("%+f", 1.23); |
| 122 | // CHECK: printf("%-f", 1.23); |
| 123 | // CHECK: printf("%1$d:%2$.*3$d:%4$.*3$d\n", 1, 2, 3, 4); |
| 124 | // CHECK: printf("%10.5ld", 1l); |
| 125 | // CHECK: printf("%c", 'a'); |
| 126 | // CHECK: printf("%-f", 1.23); |
| 127 | // CHECK: printf("%s", "foo"); |
| 128 | // CHECK: printf("%1$p", (void *)0); |
| 129 | // CHECK: printf("%lX", val); |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 130 | // CHECK: printf("%zu", (size_t) 42); |
Hans Wennborg | a7da215 | 2011-10-18 08:10:06 +0000 | [diff] [blame] | 131 | // CHECK: printf("%jd", (intmax_t) 42); |
| 132 | // CHECK: printf("%ju", (uintmax_t) 42); |
| 133 | // CHECK: printf("%td", (ptrdiff_t) 42); |
Hans Wennborg | 117348c | 2011-12-09 10:51:29 +0000 | [diff] [blame] | 134 | // CHECK: printf("%s", "foo"); |
Hans Wennborg | 6fcd932 | 2011-12-10 13:20:11 +0000 | [diff] [blame^] | 135 | |
| 136 | // CHECK: scanf("%s", str); |
| 137 | // CHECK: scanf("%hd", &shortVar); |
| 138 | // CHECK: scanf("%hu", &uShortVar); |
| 139 | // CHECK: scanf("%d", &intVar); |
| 140 | // CHECK: scanf("%u", &uIntVar); |
| 141 | // CHECK: scanf("%f", &floatVar); |
| 142 | // CHECK: scanf("%lf", &doubleVar); |
| 143 | // CHECK: scanf("%Lf", &longDoubleVar); |
| 144 | // CHECK: scanf("%ld", &longVar); |
| 145 | // CHECK: scanf("%lu", &uLongVar); |
| 146 | // CHECK: scanf("%lld", &longLongVar); |
| 147 | // CHECK: scanf("%llu", &uLongLongVar); |
| 148 | // CHECK: scanf("%zu", &sizeVar); |
| 149 | // CHECK: scanf("%jd", &intmaxVar); |
| 150 | // CHECK: scanf("%ju", &uIntmaxVar); |
| 151 | // CHECK: scanf("%td", &ptrdiffVar); |
| 152 | // CHECK: scanf("%lo", &uLongVar); |
| 153 | // CHECK: scanf("%lx", &uLongVar); |
| 154 | // CHECK: scanf("%lX", &uLongVar); |