Google Git
Sign in
llvm / llvm-project / 37d72991c136244fe53be02f5af0ad643247a1e6 / . / clang / test / Misc / caret-diags-multiline.cpp
blob: 90b50ff398acefee04a247b6f16a20f81689bd0e [file] [log] [blame]
Richard Smith0c7d4d7e2017-05-22 23:51:40 +0000[diff] [blame]1// RUN: not %clang_cc1 -std=c++11 -fcaret-diagnostics-max-lines 5 -Wsometimes-uninitialized %s 2>&1 | FileCheck %s --strict-whitespace
2
3void line(int);
4
5// Check we expand the range as much as possible within the limit.
6
7// CHECK: warning: variable 'a' is used uninitialized whenever 'if' condition is true
8// CHECK-NEXT: {{^}} if (cond) {
9// CHECK-NEXT: {{^}} ^~~~{{$}}
10// CHECK-NEXT: note: uninitialized use occurs here
11// CHECK-NEXT: {{^}} return a;
12// CHECK-NEXT: {{^}} ^
13// CHECK-NEXT: note: remove the 'if' if its condition is always false
14// CHECK-NEXT: {{^}} if (cond) {
15// CHECK-NEXT: {{^}} ^~~~~~~~~~~{{$}}
16// CHECK-NEXT: {{^}} line(1);
17// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
18// CHECK-NEXT: {{^}} } else {
19// CHECK-NEXT: {{^}}~~~~~~~~~{{$}}
20// CHECK-NEXT: note: initialize the variable
21int f1(int cond) {
22 int a;
23 if (cond) {
24 line(1);
25 } else {
26 a = 3;
27 }
28 return a;
29}
30
31// CHECK: warning: variable 'a' is used uninitialized whenever 'if' condition is true
32// CHECK-NEXT: {{^}} if (cond) {
33// CHECK-NEXT: {{^}} ^~~~{{$}}
34// CHECK-NEXT: note: uninitialized use occurs here
35// CHECK-NEXT: {{^}} return a;
36// CHECK-NEXT: {{^}} ^
37// CHECK-NEXT: note: remove the 'if' if its condition is always false
38// CHECK-NEXT: {{^}} if (cond) {
39// CHECK-NEXT: {{^}} ^~~~~~~~~~~{{$}}
40// CHECK-NEXT: {{^}} line(1);
41// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
42// CHECK-NEXT: {{^}} line(2);
43// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
44// CHECK-NEXT: {{^}} } else {
45// CHECK-NEXT: {{^}}~~~~~~~~~{{$}}
46// CHECK-NEXT: note: initialize the variable
47int f2(int cond) {
48 int a;
49 if (cond) {
50 line(1);
51 line(2);
52 } else {
53 a = 3;
54 }
55 return a;
56}
57
58// CHECK: warning: variable 'a' is used uninitialized whenever 'if' condition is true
59// CHECK-NEXT: {{^}} if (cond) {
60// CHECK-NEXT: {{^}} ^~~~{{$}}
61// CHECK-NEXT: note: uninitialized use occurs here
62// CHECK-NEXT: {{^}} return a;
63// CHECK-NEXT: {{^}} ^
64// CHECK-NEXT: note: remove the 'if' if its condition is always false
65// CHECK-NEXT: {{^}} if (cond) {
66// CHECK-NEXT: {{^}} ^~~~~~~~~~~{{$}}
67// CHECK-NEXT: {{^}} line(1);
68// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
69// CHECK-NEXT: {{^}} line(2);
70// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
71// CHECK-NEXT: {{^}} line(3);
72// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
73// CHECK-NEXT: {{^}} } else {
74// CHECK-NEXT: {{^}}~~~~~~~~~{{$}}
75// CHECK-NEXT: note: initialize the variable
76int f3(int cond) {
77 int a;
78 if (cond) {
79 line(1);
80 line(2);
81 line(3);
82 } else {
83 a = 3;
84 }
85 return a;
86}
87
88// CHECK: warning: variable 'a' is used uninitialized whenever 'if' condition is true
89// CHECK-NEXT: {{^}} if (cond) {
90// CHECK-NEXT: {{^}} ^~~~{{$}}
91// CHECK-NEXT: note: uninitialized use occurs here
92// CHECK-NEXT: {{^}} return a;
93// CHECK-NEXT: {{^}} ^
94// CHECK-NEXT: note: remove the 'if' if its condition is always false
95// CHECK-NEXT: {{^}} if (cond) {
96// CHECK-NEXT: {{^}} ^~~~~~~~~~~{{$}}
97// CHECK-NEXT: {{^}} line(1);
98// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
99// CHECK-NEXT: {{^}} line(2);
100// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
101// CHECK-NEXT: {{^}} line(3);
102// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
103// CHECK-NEXT: {{^}} line(4);
104// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
105// CHECK-NEXT: note: initialize the variable
106int f4(int cond) {
107 int a;
108 if (cond) {
109 line(1);
110 line(2);
111 line(3);
112 line(4);
113 } else {
114 a = 3;
115 }
116 return a;
117}
118
119// CHECK: warning: variable 'a' is used uninitialized whenever 'if' condition is true
120// CHECK-NEXT: {{^}} if (cond) {
121// CHECK-NEXT: {{^}} ^~~~{{$}}
122// CHECK-NEXT: note: uninitialized use occurs here
123// CHECK-NEXT: {{^}} return a;
124// CHECK-NEXT: {{^}} ^
125// CHECK-NEXT: note: remove the 'if' if its condition is always false
126// CHECK-NEXT: {{^}} if (cond) {
127// CHECK-NEXT: {{^}} ^~~~~~~~~~~{{$}}
128// CHECK-NEXT: {{^}} line(1);
129// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
130// CHECK-NEXT: {{^}} line(2);
131// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
132// CHECK-NEXT: {{^}} line(3);
133// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
134// CHECK-NEXT: {{^}} line(4);
135// CHECK-NEXT: {{^}}~~~~~~~~~~~~{{$}}
136// CHECK-NEXT: note: initialize the variable
137int f5(int cond) {
138 int a;
139 if (cond) {
140 line(1);
141 line(2);
142 line(3);
143 line(4);
144 line(5);
145 } else {
146 a = 3;
147 }
148 return a;
149}
150
151
152// Check that we don't include lines with no interesting code if we can't reach
153// the interesting part within the line limit.
154
155// CHECK: error: no matching function for call to 'g
156
157// CHECK: note: candidate template ignored: substitution failure
158// CHECK-NEXT: {{^}}decltype(T()
159// CHECK-NEXT: {{^}} ~{{$}}
160// CHECK-NEXT: {{^}} + 1
161// CHECK-NEXT: {{^}} + 2
162// CHECK-NEXT: {{^}} + 3
163// CHECK-NEXT: {{^}}void g();
164// CHECK-NEXT: {{^}} ^{{$}}
165template<typename T>
166decltype(T()
167 + 1
168 + 2
169 + 3)
170void g();
171
172// CHECK: note: candidate template ignored: substitution failure
173// CHECK-NEXT: {{^}}void g();
174// CHECK-NEXT: {{^}} ^{{$}}
175template<typename T>
176decltype(T()
177 + 1
178 + 2
179 + 3
180 + 4)
181void g();
182
183void h() { g<int()>(); }
184
185
186void multiple_ranges(int a, int b) {
187 // CHECK: error: invalid operands
188 // CHECK-NEXT: &(a)
189 // CHECK-NEXT: ~~~~
190 // CHECK-NEXT: +
191 // CHECK-NEXT: ^
192 // CHECK-NEXT: &(b)
193 // CHECK-NEXT: ~~~~
194 &(a)
195 +
196 &(b);
197
198 // CHECK-NEXT: error: invalid operands
199 // CHECK-NEXT: &(
200 // CHECK-NEXT: ~~
201 // CHECK-NEXT: a
202 // CHECK-NEXT: ~
203 // CHECK-NEXT: )
204 // CHECK-NEXT: ~
205 // CHECK-NEXT: +
206 // CHECK-NEXT: ^
207 // CHECK-NEXT: &(
208 // CHECK-NEXT: ~~
209 &(
210 a
211 )
212 +
213 &(
214 b
215 );
216
217 // CHECK-NEXT: error: invalid operands
218 // CHECK-NEXT: &(a
219 // CHECK-NEXT: ~~
220 // CHECK-NEXT: )
221 // CHECK-NEXT: ~
222 // CHECK-NEXT: +
223 // CHECK-NEXT: ^
224 // CHECK-NEXT: &(
225 // CHECK-NEXT: ~~
226 // CHECK-NEXT: b
227 // CHECK-NEXT: ~
228 &(a
229 )
230 +
231 &(
232 b
233 );
234}
Richard Smithfb5afbd2017-07-30 06:31:29 +0000[diff] [blame]235
236#define pr33902_a(b) #b
237#define pr33902_c(d) _Pragma(pr33902_a(d))
238#define pr33902_e(f) pr33902_c(GCC warning #f)
239pr33902_e() pr33902_e()