@@ -76,10 +76,11 @@ int main(int argc, char **argv) {
7676
7777// opt-remarks tests generated using `gen-opt-remarks-check-lines.py`
7878
79+
7980// OPT-REM: --- !Analysis
8081// OPT-REM-NEXT: Pass: annotation-remarks
8182// 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',
8384// OPT-REM-NEXT: Line: 9, Column: 0 }
8485// OPT-REM-NEXT: Function: foo
8586// OPT-REM-NEXT: Args:
@@ -92,7 +93,7 @@ int main(int argc, char **argv) {
9293// OPT-REM-NEXT: --- !Analysis
9394// OPT-REM-NEXT: Pass: annotation-remarks
9495// 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',
9697// OPT-REM-NEXT: Line: 9, Column: 0 }
9798// OPT-REM-NEXT: Function: foo
9899// OPT-REM-NEXT: Args:
@@ -105,7 +106,7 @@ int main(int argc, char **argv) {
105106// OPT-REM-NEXT: --- !Analysis
106107// OPT-REM-NEXT: Pass: annotation-remarks
107108// 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',
109110// OPT-REM-NEXT: Line: 9, Column: 0 }
110111// OPT-REM-NEXT: Function: foo
111112// OPT-REM-NEXT: Args:
@@ -118,7 +119,7 @@ int main(int argc, char **argv) {
118119// OPT-REM-NEXT: --- !Analysis
119120// OPT-REM-NEXT: Pass: annotation-remarks
120121// 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',
122123// OPT-REM-NEXT: Line: 10, Column: 16 }
123124// OPT-REM-NEXT: Function: foo
124125// OPT-REM-NEXT: Args:
@@ -130,22 +131,18 @@ int main(int argc, char **argv) {
130131// OPT-REM-NEXT: - String: "used for:\n"
131132// OPT-REM-NEXT: - String: bounds-safety-check-ptr-lt-upper-bound, bounds-safety-check-ptr-ge-lower-bound
132133// 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:
137135// OPT-REM-NEXT: - String: |
138136// OPT-REM-NEXT: cmp ult (LLVM IR 'icmp')
139137// OPT-REM-NEXT: cond branch (LLVM IR 'br')
140138// OPT-REM-NEXT: cmp uge (LLVM IR 'icmp')
141139// OPT-REM-NEXT: cond branch (LLVM IR 'br')
142- // OPT-REM-EMPTY:
143140// OPT-REM-NEXT: ...
144141
145142// OPT-REM-NEXT: --- !Analysis
146143// OPT-REM-NEXT: Pass: annotation-remarks
147144// 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',
149146// OPT-REM-NEXT: Line: 0, Column: 0 }
150147// OPT-REM-NEXT: Function: foo
151148// OPT-REM-NEXT: Args:
@@ -157,17 +154,14 @@ int main(int argc, char **argv) {
157154// OPT-REM-NEXT: - String: "used for:\n"
158155// OPT-REM-NEXT: - String: bounds-safety-check-ptr-lt-upper-bound
159156// 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:
164158// OPT-REM-NEXT: - String: "trap (LLVM IR 'call')\nother (LLVM IR 'unreachable')"
165159// OPT-REM-NEXT: ...
166160
167161// OPT-REM-NEXT: --- !Analysis
168162// OPT-REM-NEXT: Pass: annotation-remarks
169163// 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',
171165// OPT-REM-NEXT: Line: 0, Column: 0 }
172166// OPT-REM-NEXT: Function: foo
173167// OPT-REM-NEXT: Args:
@@ -179,17 +173,14 @@ int main(int argc, char **argv) {
179173// OPT-REM-NEXT: - String: "used for:\n"
180174// OPT-REM-NEXT: - String: bounds-safety-check-ptr-ge-lower-bound
181175// 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:
186177// OPT-REM-NEXT: - String: "trap (LLVM IR 'call')\nother (LLVM IR 'unreachable')"
187178// OPT-REM-NEXT: ...
188179
189180// OPT-REM-NEXT: --- !Analysis
190181// OPT-REM-NEXT: Pass: annotation-remarks
191182// 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',
193184// OPT-REM-NEXT: Line: 13, Column: 0 }
194185// OPT-REM-NEXT: Function: main
195186// OPT-REM-NEXT: Args:
@@ -202,7 +193,7 @@ int main(int argc, char **argv) {
202193// OPT-REM-NEXT: --- !Analysis
203194// OPT-REM-NEXT: Pass: annotation-remarks
204195// 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',
206197// OPT-REM-NEXT: Line: 13, Column: 0 }
207198// OPT-REM-NEXT: Function: main
208199// OPT-REM-NEXT: Args:
@@ -215,7 +206,7 @@ int main(int argc, char **argv) {
215206// OPT-REM-NEXT: --- !Analysis
216207// OPT-REM-NEXT: Pass: annotation-remarks
217208// 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',
219210// OPT-REM-NEXT: Line: 13, Column: 0 }
220211// OPT-REM-NEXT: Function: main
221212// OPT-REM-NEXT: Args:
@@ -228,7 +219,7 @@ int main(int argc, char **argv) {
228219// OPT-REM-NEXT: --- !Analysis
229220// OPT-REM-NEXT: Pass: annotation-remarks
230221// 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',
232223// OPT-REM-NEXT: Line: 15, Column: 11 }
233224// OPT-REM-NEXT: Function: main
234225// OPT-REM-NEXT: Args:
@@ -240,17 +231,14 @@ int main(int argc, char **argv) {
240231// OPT-REM-NEXT: - String: "used for:\n"
241232// OPT-REM-NEXT: - String: bounds-safety-zero-init
242233// 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:
247235// OPT-REM-NEXT: - String: 'call (LLVM IR ''call'')'
248236// OPT-REM-NEXT: ...
249237
250238// OPT-REM-NEXT: --- !Analysis
251239// OPT-REM-NEXT: Pass: annotation-remarks
252240// 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',
254242// OPT-REM-NEXT: Line: 16, Column: 9 }
255243// OPT-REM-NEXT: Function: main
256244// OPT-REM-NEXT: Args:
@@ -262,10 +250,7 @@ int main(int argc, char **argv) {
262250// OPT-REM-NEXT: - String: "used for:\n"
263251// OPT-REM-NEXT: - String: bounds-safety-generic
264252// 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:
269254// OPT-REM-NEXT: - String: |
270255// OPT-REM-NEXT: call (LLVM IR 'call')
271256// OPT-REM-NEXT: other (LLVM IR 'getelementptr')
@@ -325,13 +310,12 @@ int main(int argc, char **argv) {
325310// OPT-REM-NEXT: other (LLVM IR 'ptrtoint')
326311// OPT-REM-NEXT: other (LLVM IR 'sub')
327312// OPT-REM-NEXT: other (LLVM IR 'sdiv')
328- // OPT-REM-EMPTY:
329313// OPT-REM-NEXT: ...
330314
331315// OPT-REM-NEXT: --- !Analysis
332316// OPT-REM-NEXT: Pass: annotation-remarks
333317// 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',
335319// OPT-REM-NEXT: Line: 16, Column: 5 }
336320// OPT-REM-NEXT: Function: main
337321// OPT-REM-NEXT: Args:
@@ -343,24 +327,20 @@ int main(int argc, char **argv) {
343327// OPT-REM-NEXT: - String: "used for:\n"
344328// OPT-REM-NEXT: - String: bounds-safety-generic
345329// 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:
350331// OPT-REM-NEXT: - String: |
351332// OPT-REM-NEXT: cmp ule (LLVM IR 'icmp')
352333// OPT-REM-NEXT: cond branch (LLVM IR 'br')
353334// OPT-REM-NEXT: cmp ule (LLVM IR 'icmp')
354335// OPT-REM-NEXT: cond branch (LLVM IR 'br')
355336// OPT-REM-NEXT: cmp ule (LLVM IR 'icmp')
356337// OPT-REM-NEXT: cond branch (LLVM IR 'br')
357- // OPT-REM-EMPTY:
358338// OPT-REM-NEXT: ...
359339
360340// OPT-REM-NEXT: --- !Analysis
361341// OPT-REM-NEXT: Pass: annotation-remarks
362342// 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',
364344// OPT-REM-NEXT: Line: 16, Column: 12 }
365345// OPT-REM-NEXT: Function: main
366346// OPT-REM-NEXT: Args:
@@ -372,17 +352,14 @@ int main(int argc, char **argv) {
372352// OPT-REM-NEXT: - String: "used for:\n"
373353// OPT-REM-NEXT: - String: bounds-safety-generic
374354// 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:
379356// OPT-REM-NEXT: - String: 'other (LLVM IR ''zext'')'
380357// OPT-REM-NEXT: ...
381358
382359// OPT-REM-NEXT: --- !Analysis
383360// OPT-REM-NEXT: Pass: annotation-remarks
384361// 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',
386363// OPT-REM-NEXT: Line: 0, Column: 0 }
387364// OPT-REM-NEXT: Function: main
388365// OPT-REM-NEXT: Args:
@@ -394,17 +371,14 @@ int main(int argc, char **argv) {
394371// OPT-REM-NEXT: - String: "used for:\n"
395372// OPT-REM-NEXT: - String: bounds-safety-generic
396373// 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:
401375// OPT-REM-NEXT: - String: 'other (LLVM IR ''phi'')'
402376// OPT-REM-NEXT: ...
403377
404378// OPT-REM-NEXT: --- !Analysis
405379// OPT-REM-NEXT: Pass: annotation-remarks
406380// 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',
408382// OPT-REM-NEXT: Line: 0, Column: 0 }
409383// OPT-REM-NEXT: Function: main
410384// OPT-REM-NEXT: Args:
@@ -416,10 +390,7 @@ int main(int argc, char **argv) {
416390// OPT-REM-NEXT: - String: "used for:\n"
417391// OPT-REM-NEXT: - String: bounds-safety-generic
418392// 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:
423394// OPT-REM-NEXT: - String: "trap (LLVM IR 'call')\nother (LLVM IR 'unreachable')"
424395// OPT-REM-NEXT: ...
425396
0 commit comments