Clang Project

clang_source_code/test/Misc/caret-diags-macros.c
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
CodeThinker, Enjoy your reading code