1// RUN: %clang_cc1 -fsyntax-only %s 2>&1 | FileCheck %s -strict-whitespace 2 3#define M1(x) x 4#define M2 1; 5void 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) 16void 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 25void 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 39void 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 86void 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 102void 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 125int 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 139int 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 158int 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 170void iequals(int,int,int); 171void 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 203unsigned 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 209void f(char* pMsgBuf, char* pKeepBuf) { 210Csprintf(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); 227void 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