@@ -76,10 +76,11 @@ int main(int argc, char **argv) {
76
76
77
77
// opt-remarks tests generated using `gen-opt-remarks-check-lines.py`
78
78
79
+
79
80
// OPT-REM: --- !Analysis
80
81
// OPT-REM-NEXT: Pass: annotation-remarks
81
82
// OPT-REM-NEXT: Name: AnnotationSummary
82
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
83
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
83
84
// OPT-REM-NEXT: Line: 9, Column: 0 }
84
85
// OPT-REM-NEXT: Function: foo
85
86
// OPT-REM-NEXT: Args:
@@ -92,7 +93,7 @@ int main(int argc, char **argv) {
92
93
// OPT-REM-NEXT: --- !Analysis
93
94
// OPT-REM-NEXT: Pass: annotation-remarks
94
95
// OPT-REM-NEXT: Name: AnnotationSummary
95
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
96
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
96
97
// OPT-REM-NEXT: Line: 9, Column: 0 }
97
98
// OPT-REM-NEXT: Function: foo
98
99
// OPT-REM-NEXT: Args:
@@ -105,7 +106,7 @@ int main(int argc, char **argv) {
105
106
// OPT-REM-NEXT: --- !Analysis
106
107
// OPT-REM-NEXT: Pass: annotation-remarks
107
108
// OPT-REM-NEXT: Name: AnnotationSummary
108
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
109
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
109
110
// OPT-REM-NEXT: Line: 9, Column: 0 }
110
111
// OPT-REM-NEXT: Function: foo
111
112
// OPT-REM-NEXT: Args:
@@ -118,7 +119,7 @@ int main(int argc, char **argv) {
118
119
// OPT-REM-NEXT: --- !Analysis
119
120
// OPT-REM-NEXT: Pass: annotation-remarks
120
121
// OPT-REM-NEXT: Name: BoundsSafetyCheck
121
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
122
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
122
123
// OPT-REM-NEXT: Line: 10, Column: 16 }
123
124
// OPT-REM-NEXT: Function: foo
124
125
// OPT-REM-NEXT: Args:
@@ -130,22 +131,18 @@ int main(int argc, char **argv) {
130
131
// OPT-REM-NEXT: - String: "used for:\n"
131
132
// OPT-REM-NEXT: - String: bounds-safety-check-ptr-lt-upper-bound, bounds-safety-check-ptr-ge-lower-bound
132
133
// OPT-REM-NEXT: - String: |
133
- // OPT-REM-NEXT: {{^[ ]+$}}
134
- // OPT-REM-NEXT: {{^[ ]+$}}
135
- // OPT-REM-NEXT: instructions:
136
- // OPT-REM-EMPTY:
134
+ // OPT-REM: instructions:
137
135
// OPT-REM-NEXT: - String: |
138
136
// OPT-REM-NEXT: cmp ult (LLVM IR 'icmp')
139
137
// OPT-REM-NEXT: cond branch (LLVM IR 'br')
140
138
// OPT-REM-NEXT: cmp uge (LLVM IR 'icmp')
141
139
// OPT-REM-NEXT: cond branch (LLVM IR 'br')
142
- // OPT-REM-EMPTY:
143
140
// OPT-REM-NEXT: ...
144
141
145
142
// OPT-REM-NEXT: --- !Analysis
146
143
// OPT-REM-NEXT: Pass: annotation-remarks
147
144
// OPT-REM-NEXT: Name: BoundsSafetyCheck
148
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
145
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
149
146
// OPT-REM-NEXT: Line: 0, Column: 0 }
150
147
// OPT-REM-NEXT: Function: foo
151
148
// OPT-REM-NEXT: Args:
@@ -157,17 +154,14 @@ int main(int argc, char **argv) {
157
154
// OPT-REM-NEXT: - String: "used for:\n"
158
155
// OPT-REM-NEXT: - String: bounds-safety-check-ptr-lt-upper-bound
159
156
// OPT-REM-NEXT: - String: |
160
- // OPT-REM-NEXT: {{^[ ]+$}}
161
- // OPT-REM-NEXT: {{^[ ]+$}}
162
- // OPT-REM-NEXT: instructions:
163
- // OPT-REM-EMPTY:
157
+ // OPT-REM: instructions:
164
158
// OPT-REM-NEXT: - String: "trap (LLVM IR 'call')\nother (LLVM IR 'unreachable')"
165
159
// OPT-REM-NEXT: ...
166
160
167
161
// OPT-REM-NEXT: --- !Analysis
168
162
// OPT-REM-NEXT: Pass: annotation-remarks
169
163
// OPT-REM-NEXT: Name: BoundsSafetyCheck
170
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
164
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
171
165
// OPT-REM-NEXT: Line: 0, Column: 0 }
172
166
// OPT-REM-NEXT: Function: foo
173
167
// OPT-REM-NEXT: Args:
@@ -179,17 +173,14 @@ int main(int argc, char **argv) {
179
173
// OPT-REM-NEXT: - String: "used for:\n"
180
174
// OPT-REM-NEXT: - String: bounds-safety-check-ptr-ge-lower-bound
181
175
// OPT-REM-NEXT: - String: |
182
- // OPT-REM-NEXT: {{^[ ]+$}}
183
- // OPT-REM-NEXT: {{^[ ]+$}}
184
- // OPT-REM-NEXT: instructions:
185
- // OPT-REM-EMPTY:
176
+ // OPT-REM: instructions:
186
177
// OPT-REM-NEXT: - String: "trap (LLVM IR 'call')\nother (LLVM IR 'unreachable')"
187
178
// OPT-REM-NEXT: ...
188
179
189
180
// OPT-REM-NEXT: --- !Analysis
190
181
// OPT-REM-NEXT: Pass: annotation-remarks
191
182
// OPT-REM-NEXT: Name: AnnotationSummary
192
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
183
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
193
184
// OPT-REM-NEXT: Line: 13, Column: 0 }
194
185
// OPT-REM-NEXT: Function: main
195
186
// OPT-REM-NEXT: Args:
@@ -202,7 +193,7 @@ int main(int argc, char **argv) {
202
193
// OPT-REM-NEXT: --- !Analysis
203
194
// OPT-REM-NEXT: Pass: annotation-remarks
204
195
// OPT-REM-NEXT: Name: AnnotationSummary
205
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
196
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
206
197
// OPT-REM-NEXT: Line: 13, Column: 0 }
207
198
// OPT-REM-NEXT: Function: main
208
199
// OPT-REM-NEXT: Args:
@@ -215,7 +206,7 @@ int main(int argc, char **argv) {
215
206
// OPT-REM-NEXT: --- !Analysis
216
207
// OPT-REM-NEXT: Pass: annotation-remarks
217
208
// OPT-REM-NEXT: Name: AnnotationSummary
218
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
209
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
219
210
// OPT-REM-NEXT: Line: 13, Column: 0 }
220
211
// OPT-REM-NEXT: Function: main
221
212
// OPT-REM-NEXT: Args:
@@ -228,7 +219,7 @@ int main(int argc, char **argv) {
228
219
// OPT-REM-NEXT: --- !Analysis
229
220
// OPT-REM-NEXT: Pass: annotation-remarks
230
221
// OPT-REM-NEXT: Name: BoundsSafetyCheck
231
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
222
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
232
223
// OPT-REM-NEXT: Line: 15, Column: 11 }
233
224
// OPT-REM-NEXT: Function: main
234
225
// OPT-REM-NEXT: Args:
@@ -240,17 +231,14 @@ int main(int argc, char **argv) {
240
231
// OPT-REM-NEXT: - String: "used for:\n"
241
232
// OPT-REM-NEXT: - String: bounds-safety-zero-init
242
233
// OPT-REM-NEXT: - String: |
243
- // OPT-REM-NEXT: {{^[ ]+$}}
244
- // OPT-REM-NEXT: {{^[ ]+$}}
245
- // OPT-REM-NEXT: instructions:
246
- // OPT-REM-EMPTY:
234
+ // OPT-REM: instructions:
247
235
// OPT-REM-NEXT: - String: 'call (LLVM IR ''call'')'
248
236
// OPT-REM-NEXT: ...
249
237
250
238
// OPT-REM-NEXT: --- !Analysis
251
239
// OPT-REM-NEXT: Pass: annotation-remarks
252
240
// OPT-REM-NEXT: Name: BoundsSafetyCheck
253
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
241
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
254
242
// OPT-REM-NEXT: Line: 16, Column: 9 }
255
243
// OPT-REM-NEXT: Function: main
256
244
// OPT-REM-NEXT: Args:
@@ -262,10 +250,7 @@ int main(int argc, char **argv) {
262
250
// OPT-REM-NEXT: - String: "used for:\n"
263
251
// OPT-REM-NEXT: - String: bounds-safety-generic
264
252
// OPT-REM-NEXT: - String: |
265
- // OPT-REM-NEXT: {{^[ ]+$}}
266
- // OPT-REM-NEXT: {{^[ ]+$}}
267
- // OPT-REM-NEXT: instructions:
268
- // OPT-REM-EMPTY:
253
+ // OPT-REM: instructions:
269
254
// OPT-REM-NEXT: - String: |
270
255
// OPT-REM-NEXT: call (LLVM IR 'call')
271
256
// OPT-REM-NEXT: other (LLVM IR 'getelementptr')
@@ -325,13 +310,12 @@ int main(int argc, char **argv) {
325
310
// OPT-REM-NEXT: other (LLVM IR 'ptrtoint')
326
311
// OPT-REM-NEXT: other (LLVM IR 'sub')
327
312
// OPT-REM-NEXT: other (LLVM IR 'sdiv')
328
- // OPT-REM-EMPTY:
329
313
// OPT-REM-NEXT: ...
330
314
331
315
// OPT-REM-NEXT: --- !Analysis
332
316
// OPT-REM-NEXT: Pass: annotation-remarks
333
317
// OPT-REM-NEXT: Name: BoundsSafetyCheck
334
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
318
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
335
319
// OPT-REM-NEXT: Line: 16, Column: 5 }
336
320
// OPT-REM-NEXT: Function: main
337
321
// OPT-REM-NEXT: Args:
@@ -343,24 +327,20 @@ int main(int argc, char **argv) {
343
327
// OPT-REM-NEXT: - String: "used for:\n"
344
328
// OPT-REM-NEXT: - String: bounds-safety-generic
345
329
// OPT-REM-NEXT: - String: |
346
- // OPT-REM-NEXT: {{^[ ]+$}}
347
- // OPT-REM-NEXT: {{^[ ]+$}}
348
- // OPT-REM-NEXT: instructions:
349
- // OPT-REM-EMPTY:
330
+ // OPT-REM: instructions:
350
331
// OPT-REM-NEXT: - String: |
351
332
// OPT-REM-NEXT: cmp ule (LLVM IR 'icmp')
352
333
// OPT-REM-NEXT: cond branch (LLVM IR 'br')
353
334
// OPT-REM-NEXT: cmp ule (LLVM IR 'icmp')
354
335
// OPT-REM-NEXT: cond branch (LLVM IR 'br')
355
336
// OPT-REM-NEXT: cmp ule (LLVM IR 'icmp')
356
337
// OPT-REM-NEXT: cond branch (LLVM IR 'br')
357
- // OPT-REM-EMPTY:
358
338
// OPT-REM-NEXT: ...
359
339
360
340
// OPT-REM-NEXT: --- !Analysis
361
341
// OPT-REM-NEXT: Pass: annotation-remarks
362
342
// OPT-REM-NEXT: Name: BoundsSafetyCheck
363
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
343
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
364
344
// OPT-REM-NEXT: Line: 16, Column: 12 }
365
345
// OPT-REM-NEXT: Function: main
366
346
// OPT-REM-NEXT: Args:
@@ -372,17 +352,14 @@ int main(int argc, char **argv) {
372
352
// OPT-REM-NEXT: - String: "used for:\n"
373
353
// OPT-REM-NEXT: - String: bounds-safety-generic
374
354
// OPT-REM-NEXT: - String: |
375
- // OPT-REM-NEXT: {{^[ ]+$}}
376
- // OPT-REM-NEXT: {{^[ ]+$}}
377
- // OPT-REM-NEXT: instructions:
378
- // OPT-REM-EMPTY:
355
+ // OPT-REM: instructions:
379
356
// OPT-REM-NEXT: - String: 'other (LLVM IR ''zext'')'
380
357
// OPT-REM-NEXT: ...
381
358
382
359
// OPT-REM-NEXT: --- !Analysis
383
360
// OPT-REM-NEXT: Pass: annotation-remarks
384
361
// OPT-REM-NEXT: Name: BoundsSafetyCheck
385
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
362
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
386
363
// OPT-REM-NEXT: Line: 0, Column: 0 }
387
364
// OPT-REM-NEXT: Function: main
388
365
// OPT-REM-NEXT: Args:
@@ -394,17 +371,14 @@ int main(int argc, char **argv) {
394
371
// OPT-REM-NEXT: - String: "used for:\n"
395
372
// OPT-REM-NEXT: - String: bounds-safety-generic
396
373
// OPT-REM-NEXT: - String: |
397
- // OPT-REM-NEXT: {{^[ ]+$}}
398
- // OPT-REM-NEXT: {{^[ ]+$}}
399
- // OPT-REM-NEXT: instructions:
400
- // OPT-REM-EMPTY:
374
+ // OPT-REM: instructions:
401
375
// OPT-REM-NEXT: - String: 'other (LLVM IR ''phi'')'
402
376
// OPT-REM-NEXT: ...
403
377
404
378
// OPT-REM-NEXT: --- !Analysis
405
379
// OPT-REM-NEXT: Pass: annotation-remarks
406
380
// OPT-REM-NEXT: Name: BoundsSafetyCheck
407
- // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
381
+ // OPT-REM-NEXT: DebugLoc: { File: '{{.*}}ptr-bounds-argc-O0.c',
408
382
// OPT-REM-NEXT: Line: 0, Column: 0 }
409
383
// OPT-REM-NEXT: Function: main
410
384
// OPT-REM-NEXT: Args:
@@ -416,10 +390,7 @@ int main(int argc, char **argv) {
416
390
// OPT-REM-NEXT: - String: "used for:\n"
417
391
// OPT-REM-NEXT: - String: bounds-safety-generic
418
392
// OPT-REM-NEXT: - String: |
419
- // OPT-REM-NEXT: {{^[ ]+$}}
420
- // OPT-REM-NEXT: {{^[ ]+$}}
421
- // OPT-REM-NEXT: instructions:
422
- // OPT-REM-EMPTY:
393
+ // OPT-REM: instructions:
423
394
// OPT-REM-NEXT: - String: "trap (LLVM IR 'call')\nother (LLVM IR 'unreachable')"
424
395
// OPT-REM-NEXT: ...
425
396
0 commit comments