1 // RUN: %clang_cc1 -fsyntax-only %s 2>&1 | FileCheck %s -strict-whitespace 2 3 #define M1(x) x 4 #define M2 1; 5 void foo() { 6 M1( 7 M2); 8 // CHECK: {{.*}}:7:{{[0-9]+}}: warning: expression result unused 9 // CHECK: {{.*}}:4:{{[0-9]+}}: note: expanded from macro 'M2' 10 // CHECK: {{.*}}:3:{{[0-9]+}}: note: expanded from macro 'M1' 11 } 12 13 #define A(x) x 14 #define B(x) A(x) 15 #define C(x) B(x) 16 void bar() { 17 C(1); 18 // CHECK: {{.*}}:17:5: warning: expression result unused 19 } 20 21 // rdar://7597492 22 #define sprintf(str, A, B) \ 23 __builtin___sprintf_chk (str, 0, 42, A, B) 24 25 void baz(char *Msg) { 26 sprintf(Msg, " sizeof FoooLib : =%3u\n", 12LL); 27 } 28 29 30 // PR9279: comprehensive tests for multi-level macro back traces 31 #define macro_args1(x) x 32 #define macro_args2(x) macro_args1(x) 33 #define macro_args3(x) macro_args2(x) 34 35 #define macro_many_args1(x, y, z) y 36 #define macro_many_args2(x, y, z) macro_many_args1(x, y, z) 37 #define macro_many_args3(x, y, z) macro_many_args2(x, y, z) 38 39 void test() { 40 macro_args3(11); 41 // CHECK: {{.*}}:40:15: warning: expression result unused 42 // Also check that the 'caret' printing agrees with the location here where 43 // its easy to FileCheck. 44 // CHECK-NEXT: macro_args3(11); 45 // CHECK-NEXT: {{^ \^~}} 46 47 macro_many_args3( 48 1, 49 2, 50 3); 51 // CHECK: {{.*}}:49:5: warning: expression result unused 52 // CHECK: {{.*}}:37:55: note: expanded from macro 'macro_many_args3' 53 // CHECK: {{.*}}:36:55: note: expanded from macro 'macro_many_args2' 54 // CHECK: {{.*}}:35:35: note: expanded from macro 'macro_many_args1' 55 56 macro_many_args3( 57 1, 58 M2, 59 3); 60 // CHECK: {{.*}}:58:5: warning: expression result unused 61 // CHECK: {{.*}}:4:12: note: expanded from macro 'M2' 62 // CHECK: {{.*}}:37:55: note: expanded from macro 'macro_many_args3' 63 // CHECK: {{.*}}:36:55: note: expanded from macro 'macro_many_args2' 64 // CHECK: {{.*}}:35:35: note: expanded from macro 'macro_many_args1' 65 66 macro_many_args3( 67 1, 68 macro_args2(22), 69 3); 70 // CHECK: {{.*}}:68:17: warning: expression result unused 71 // This caret location needs to be printed *inside* a different macro's 72 // arguments. 73 // CHECK-NEXT: macro_args2(22), 74 // CHECK-NEXT: {{^ \^~}} 75 // CHECK: {{.*}}:32:36: note: expanded from macro 'macro_args2' 76 // CHECK: {{.*}}:31:24: note: expanded from macro 'macro_args1' 77 // CHECK: {{.*}}:37:55: note: expanded from macro 'macro_many_args3' 78 // CHECK: {{.*}}:36:55: note: expanded from macro 'macro_many_args2' 79 // CHECK: {{.*}}:35:35: note: expanded from macro 'macro_many_args1' 80 } 81 82 #define variadic_args1(x, y, ...) y 83 #define variadic_args2(x, ...) variadic_args1(x, __VA_ARGS__) 84 #define variadic_args3(x, y, ...) variadic_args2(x, y, __VA_ARGS__) 85 86 void test2() { 87 variadic_args3(1, 22, 3, 4); 88 // CHECK: {{.*}}:87:21: warning: expression result unused 89 // CHECK-NEXT: variadic_args3(1, 22, 3, 4); 90 // CHECK-NEXT: {{^ \^~}} 91 // CHECK: {{.*}}:84:53: note: expanded from macro 'variadic_args3' 92 // CHECK: {{.*}}:83:50: note: expanded from macro 'variadic_args2' 93 // CHECK: {{.*}}:82:35: note: expanded from macro 'variadic_args1' 94 } 95 96 #define variadic_pasting_args1(x, y, z) y 97 #define variadic_pasting_args2(x, ...) variadic_pasting_args1(x ## __VA_ARGS__) 98 #define variadic_pasting_args2a(x, y, ...) variadic_pasting_args1(x, y ## __VA_ARGS__) 99 #define variadic_pasting_args3(x, y, ...) variadic_pasting_args2(x, y, __VA_ARGS__) 100 #define variadic_pasting_args3a(x, y, ...) variadic_pasting_args2a(x, y, __VA_ARGS__) 101 102 void test3() { 103 variadic_pasting_args3(1, 2, 3, 4); 104 // CHECK: {{.*}}:103:32: warning: expression result unused 105 // CHECK: {{.*}}:99:72: note: expanded from macro 'variadic_pasting_args3' 106 // CHECK: {{.*}}:97:68: note: expanded from macro 'variadic_pasting_args2' 107 // CHECK: {{.*}}:96:41: note: expanded from macro 'variadic_pasting_args1' 108 109 variadic_pasting_args3a(1, 2, 3, 4); 110 // CHECK: {{.*}}:109:3: warning: expression result unused 111 // CHECK-NEXT: variadic_pasting_args3a(1, 2, 3, 4); 112 // CHECK-NEXT: {{ \^~~~~~~~~~~~~~~~~~~~~~~}} 113 // CHECK: {{.*}}:100:44: note: expanded from macro 'variadic_pasting_args3a' 114 // CHECK-NEXT: #define variadic_pasting_args3a(x, y, ...) variadic_pasting_args2a(x, y, __VA_ARGS__) 115 // CHECK-NEXT: {{ \^~~~~~~~~~~~~~~~~~~~~~~}} 116 // CHECK: {{.*}}:98:70: note: expanded from macro 'variadic_pasting_args2a' 117 // CHECK-NEXT: #define variadic_pasting_args2a(x, y, ...) variadic_pasting_args1(x, y ## __VA_ARGS__) 118 // CHECK-NEXT: {{ \^~~~~~~~~~~~~~~~}} 119 // CHECK: {{.*}}:96:41: note: expanded from macro 'variadic_pasting_args1' 120 // CHECK-NEXT: #define variadic_pasting_args1(x, y, z) y 121 // CHECK-NEXT: {{ \^}} 122 } 123 124 #define BAD_CONDITIONAL_OPERATOR (2<3)?2:3 125 int test4 = BAD_CONDITIONAL_OPERATOR+BAD_CONDITIONAL_OPERATOR; 126 // CHECK: {{.*}}:124:39: note: expanded from macro 'BAD_CONDITIONAL_OPERATOR' 127 // CHECK-NEXT: #define BAD_CONDITIONAL_OPERATOR (2<3)?2:3 128 // CHECK-NEXT: {{^ \^}} 129 // CHECK: {{.*}}:124:39: note: expanded from macro 'BAD_CONDITIONAL_OPERATOR' 130 // CHECK-NEXT: #define BAD_CONDITIONAL_OPERATOR (2<3)?2:3 131 // CHECK-NEXT: {{^ \^}} 132 // CHECK: {{.*}}:124:39: note: expanded from macro 'BAD_CONDITIONAL_OPERATOR' 133 // CHECK-NEXT: #define BAD_CONDITIONAL_OPERATOR (2<3)?2:3 134 // CHECK-NEXT: {{^ ~~~~~\^~~~}} 135 136 #define QMARK ? 137 #define TWOL (2< 138 #define X 1+TWOL 3) QMARK 4:5 139 int x = X; 140 // CHECK: {{.*}}:139:9: note: place parentheses around the '+' expression to silence this warning 141 // CHECK-NEXT: int x = X; 142 // CHECK-NEXT: {{^ \^}} 143 // CHECK-NEXT: {{.*}}:138:21: note: expanded from macro 'X' 144 // CHECK-NEXT: #define X 1+TWOL 3) QMARK 4:5 145 // CHECK-NEXT: {{^ ~~~~~~~~~ \^}} 146 // CHECK-NEXT: {{.*}}:136:15: note: expanded from macro 'QMARK' 147 // CHECK-NEXT: #define QMARK ? 148 // CHECK-NEXT: {{^ \^}} 149 // CHECK-NEXT: {{.*}}:139:9: note: place parentheses around the '?:' expression to evaluate it first 150 // CHECK-NEXT: int x = X; 151 // CHECK-NEXT: {{^ \^}} 152 // CHECK-NEXT: {{.*}}:138:21: note: expanded from macro 'X' 153 // CHECK-NEXT: #define X 1+TWOL 3) QMARK 4:5 154 // CHECK-NEXT: {{^ ~~~~~~~~\^~~~~~~~~}} 155 156 #define ONEPLUS 1+ 157 #define Y ONEPLUS (2<3) QMARK 4:5 158 int y = Y; 159 // CHECK: {{.*}}:158:9: warning: operator '?:' has lower precedence than '+'; '+' will be evaluated first 160 // CHECK-NEXT: int y = Y; 161 // CHECK-NEXT: {{^ \^}} 162 // CHECK-NEXT: {{.*}}:157:25: note: expanded from macro 'Y' 163 // CHECK-NEXT: #define Y ONEPLUS (2<3) QMARK 4:5 164 // CHECK-NEXT: {{^ ~~~~~~~~~~~~~ \^}} 165 // CHECK-NEXT: {{.*}}:136:15: note: expanded from macro 'QMARK' 166 // CHECK-NEXT: #define QMARK ? 167 // CHECK-NEXT: {{^ \^}} 168 169 // PR14399 170 void iequals(int,int,int); 171 void foo_aa(char* s) 172 { 173 #define /* */ BARC(c, /* */b, a) (a + b ? c : c) 174 iequals(__LINE__, BARC(123, (456 < 345), 789), 8); 175 } 176 // CHECK: {{.*}}:174:21: warning: operator '?:' has lower precedence than '+' 177 // CHECK-NEXT: iequals(__LINE__, BARC(123, (456 < 345), 789), 8); 178 // CHECK-NEXT: {{^ \^~~~~~~~~~~~~~~~~~~~~~~~~~~}} 179 // CHECK-NEXT: {{.*}}:173:41: note: expanded from macro 'BARC' 180 // CHECK-NEXT: #define /* */ BARC(c, /* */b, a) (a + b ? c : c) 181 // CHECK-NEXT: {{^ ~~~~~ \^}} 182 183 #define APPEND2(NUM, SUFF) -1 != NUM ## SUFF 184 #define APPEND(NUM, SUFF) APPEND2(NUM, SUFF) 185 #define UTARG_MAX_U APPEND (MAX_UINT, UL) 186 #define MAX_UINT 18446744073709551615 187 #if UTARG_MAX_U 188 #endif 189 190 // CHECK: {{.*}}:187:5: warning: left side of operator converted from negative value to unsigned: -1 to 18446744073709551615 191 // CHECK-NEXT: #if UTARG_MAX_U 192 // CHECK-NEXT: {{^ \^~~~~~~~~~~}} 193 // CHECK-NEXT: {{.*}}:185:21: note: expanded from macro 'UTARG_MAX_U' 194 // CHECK-NEXT: #define UTARG_MAX_U APPEND (MAX_UINT, UL) 195 // CHECK-NEXT: {{^ \^~~~~~~~~~~~~~~~~~~~~}} 196 // CHECK-NEXT: {{.*}}:184:27: note: expanded from macro 'APPEND' 197 // CHECK-NEXT: #define APPEND(NUM, SUFF) APPEND2(NUM, SUFF) 198 // CHECK-NEXT: {{^ \^~~~~~~~~~~~~~~~~~}} 199 // CHECK-NEXT: {{.*}}:183:31: note: expanded from macro 'APPEND2' 200 // CHECK-NEXT: #define APPEND2(NUM, SUFF) -1 != NUM ## SUFF 201 // CHECK-NEXT: {{^ ~~ \^ ~~~~~~~~~~~}} 202 203 unsigned long strlen_test(const char *s); 204 #define __darwin_obsz(object) __builtin_object_size (object, 1) 205 #define sprintf2(str, ...) \ 206 __builtin___sprintf_chk (str, 0, __darwin_obsz(str), __VA_ARGS__) 207 #define Cstrlen(a) strlen_test(a) 208 #define Csprintf sprintf2 209 void f(char* pMsgBuf, char* pKeepBuf) { 210 Csprintf(pMsgBuf,"\nEnter minimum anagram length (2-%1d): ", strlen_test(pKeepBuf)); 211 // FIXME: Change test to use 'Cstrlen' instead of 'strlen_test' when macro printing is fixed. 212 } 213 // CHECK: {{.*}}:210:62: warning: format specifies type 'int' but the argument has type 'unsigned long' 214 // CHECK-NEXT: Csprintf(pMsgBuf,"\nEnter minimum anagram length (2-%1d): ", strlen_test(pKeepBuf)); 215 // CHECK-NEXT: {{^ ~~~ \^~~~~~~~~~~~~~~~~~~~~}} 216 // CHECK-NEXT: {{^ %1lu}} 217 // CHECK-NEXT: {{.*}}:208:21: note: expanded from macro 'Csprintf' 218 // CHECK-NEXT: #define Csprintf sprintf2 219 // CHECK-NEXT: {{^ \^}} 220 // CHECK-NEXT: {{.*}}:206:56: note: expanded from macro 'sprintf2' 221 // CHECK-NEXT: __builtin___sprintf_chk (str, 0, __darwin_obsz(str), __VA_ARGS__) 222 // CHECK-NEXT: {{^ \^~~~~~~~~~~}} 223 224 #define SWAP_AND_APPLY(arg, macro) macro arg 225 #define APPLY(macro, arg) macro arg 226 #define DECLARE_HELPER() __builtin_printf("%d\n", mylong); 227 void use_evil_macros(long mylong) { 228 SWAP_AND_APPLY((), DECLARE_HELPER) 229 APPLY(DECLARE_HELPER, ()) 230 } 231 // CHECK: {{.*}}:228:22: warning: format specifies type 'int' but the argument has type 'long' 232 // CHECK-NEXT: SWAP_AND_APPLY((), DECLARE_HELPER) 233 // CHECK-NEXT: ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~ 234 // CHECK-NEXT: {{.*}}:224:36: note: expanded from macro 'SWAP_AND_APPLY' 235 // CHECK-NEXT: #define SWAP_AND_APPLY(arg, macro) macro arg 236 // CHECK-NEXT: ^~~~~~~~~ 237 // CHECK-NEXT: {{.*}}:226:51: note: expanded from macro 'DECLARE_HELPER' 238 // CHECK-NEXT: #define DECLARE_HELPER() __builtin_printf("%d\n", mylong); 239 // CHECK-NEXT: ~~ ^~~~~~ 240 // CHECK-NEXT: {{.*}}:229:9: warning: format specifies type 'int' but the argument has type 'long' 241 // CHECK-NEXT: APPLY(DECLARE_HELPER, ()) 242 // CHECK-NEXT: ~~~~~~^~~~~~~~~~~~~~~~~~~ 243 // CHECK-NEXT: {{.*}}:225:27: note: expanded from macro 'APPLY' 244 // CHECK-NEXT: #define APPLY(macro, arg) macro arg 245 // CHECK-NEXT: ^~~~~~~~~ 246 // CHECK-NEXT: {{.*}}:226:51: note: expanded from macro 'DECLARE_HELPER' 247 // CHECK-NEXT: #define DECLARE_HELPER() __builtin_printf("%d\n", mylong); 248 // CHECK-NEXT: ~~ ^~~~~~ 249
