rust/src/test/ui/consts/const-slice-oob.rs

#[deny(const_err)]

const FOO: &'static[u32] = &[1, 2, 3];
const BAR: u32 = FOO[5];
//~^ index out of bounds: the len is 3 but the index is 5
//~| ERROR any use of this value will cause an error

fn main() {
    let _ = BAR;
}
Fully use miri in trans 2018-01-16 08:31:48 +00:00			`#[deny(const_err)]`

Fix LLVM assertion on out-of-bounds const slice index. This turned up as part of #3170. When constructing an `undef` value to return in the error case, we were trying to get the element type of the Rust-level value being indexed instead of the underlying array; when indexing a slice, that's not an array and the LLVM assertion failure reflects this. The regression test is a lightly altered copy of `const-array-oob.rs`. 2015-10-04 20:32:49 +00:00			`const FOO: &'static[u32] = &[1, 2, 3];`
rustc_const_eval: track the length and index in IndexOutOfBounds. 2016-05-26 19:09:48 +00:00			`const BAR: u32 = FOO[5];`
Make the `const_err` lint `deny`-by-default 2018-05-11 12:33:37 +00:00			`//~^ index out of bounds: the len is 3 but the index is 5`
Report const eval error inside the query 2018-08-26 13:19:34 +00:00			`//~\| ERROR any use of this value will cause an error`
Fix LLVM assertion on out-of-bounds const slice index. This turned up as part of #3170. When constructing an `undef` value to return in the error case, we were trying to get the element type of the Rust-level value being indexed instead of the underlying array; when indexing a slice, that's not an array and the LLVM assertion failure reflects this. The regression test is a lightly altered copy of `const-array-oob.rs`. 2015-10-04 20:32:49 +00:00
			`fn main() {`
			`let _ = BAR;`
			`}`