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