File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -183,16 +183,16 @@ int test_reference_that_might_be_after_the_end(int idx) {
183
183
// From: https://github.com/llvm/llvm-project/issues/100762
184
184
extern int arr[10 ];
185
185
void using_builtin (int x) {
186
- __builtin_assume (x > 101 ); // CallExpr
187
- arr[x] = 404 ; // expected-warning{{Out of bound access to memory}}
186
+ __builtin_assume (x > 101 ); // CallExpr
187
+ arr[x] = 404 ; // expected-warning{{Out of bound access to memory}}
188
188
}
189
189
190
190
void using_assume_attr (int ax) {
191
- [[assume (ax > 100 )]]; // NullStmt with an "assume" attribute.
192
- arr[ax] = 405 ; // expected-warning{{Out of bound access to memory}}
191
+ [[assume (ax > 100 )]]; // NullStmt with an "assume" attribute.
192
+ arr[ax] = 405 ; // expected-warning{{Out of bound access to memory}}
193
193
}
194
194
195
195
void using_many_assume_attr (int yx) {
196
- [[assume (yx > 104 ), assume (yx > 200 ), assume (yx < 300 )]]; // NullStmt with an attribute
197
- arr[yx] = 406 ; // expected-warning{{Out of bound access to memory}}
196
+ [[assume (yx > 104 ), assume (yx > 200 ), assume (yx < 300 )]]; // NullStmt with an attribute
197
+ arr[yx] = 406 ; // expected-warning{{Out of bound access to memory}}
198
198
}
You can’t perform that action at this time.
0 commit comments