1 // RUN: %clang_cc1 -fsyntax-only %s 2>&1 | FileCheck %s
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 1
14 #define B A
15 #define C B
bar()16 void bar() {
17 C;
18 // CHECK: :17:3: warning: expression result unused
19 // CHECK: :15:11: note: expanded from macro 'C'
20 // CHECK: :14:11: note: expanded from macro 'B'
21 // CHECK: :13:11: 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(1);
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(1);
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(2),
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(2),
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, 2, 3, 4);
94 // CHECK: {{.*}}:93:21: warning: expression result unused
95 // CHECK-NEXT: variadic_args3(1, 2, 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:30: warning: expression result unused
117 // CHECK: {{.*}}:106:71: note: expanded from macro 'variadic_pasting_args3a'
118 // CHECK: {{.*}}:104:70: note: expanded from macro 'variadic_pasting_args2a'
119 // CHECK: {{.*}}:102:41: note: expanded from macro 'variadic_pasting_args1'
120 }
121