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