From d180f918240d2f8bd3d6f7292b63194f45901759 Mon Sep 17 00:00:00 2001 From: hi-rustin Date: Thu, 11 Mar 2021 23:30:39 +0800 Subject: Emit the enum range assumption if the range only contains one element test: add test case make tidy happy --- src/test/codegen/enum-bounds-check-issue-82871.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 src/test/codegen/enum-bounds-check-issue-82871.rs (limited to 'src/test/codegen') diff --git a/src/test/codegen/enum-bounds-check-issue-82871.rs b/src/test/codegen/enum-bounds-check-issue-82871.rs new file mode 100644 index 00000000000..e779e2ef274 --- /dev/null +++ b/src/test/codegen/enum-bounds-check-issue-82871.rs @@ -0,0 +1,16 @@ +// compile-flags: -O +// min-llvm-version: 11.0 + +#![crate_type = "lib"] + +#[repr(C)] +pub enum E { + A, +} + +// CHECK-LABEL: @index +#[no_mangle] +pub fn index(x: &[u32; 3], ind: E) -> u32{ + // CHECK-NOT: panic_bounds_check + x[ind as usize] +} -- cgit 1.4.1-3-g733a5