diff options
| author | Jubilee Young <workingjubilee@gmail.com> | 2023-07-29 17:07:57 -0700 |
|---|---|---|
| committer | Jubilee Young <workingjubilee@gmail.com> | 2023-07-29 18:34:41 -0700 |
| commit | 06711615aa5b3d45e77c1aa20df7de14ed16edf2 (patch) | |
| tree | 4df501c658dc3b8e93cb434fdfc0f18514312907 /tests/codegen/enum/enum-bounds-check-issue-82871.rs | |
| parent | 03a57254b56886c43464e23b74af484d11374623 (diff) | |
| download | rust-06711615aa5b3d45e77c1aa20df7de14ed16edf2.tar.gz rust-06711615aa5b3d45e77c1aa20df7de14ed16edf2.zip | |
tests/codegen/enum-* -> enum/enum-*
Diffstat (limited to 'tests/codegen/enum/enum-bounds-check-issue-82871.rs')
| -rw-r--r-- | tests/codegen/enum/enum-bounds-check-issue-82871.rs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/codegen/enum/enum-bounds-check-issue-82871.rs b/tests/codegen/enum/enum-bounds-check-issue-82871.rs new file mode 100644 index 00000000000..32fdc4a5f4f --- /dev/null +++ b/tests/codegen/enum/enum-bounds-check-issue-82871.rs @@ -0,0 +1,18 @@ +// compile-flags: -C opt-level=0 + +#![crate_type = "lib"] + +#[repr(C)] +pub enum E { + A, +} + +// CHECK-LABEL: @index +#[no_mangle] +pub fn index(x: &[u32; 3], ind: E) -> u32 { + // Canary: we should be able to optimize out the bounds check, but we need + // to track the range of the discriminant result in order to be able to do that. + // oli-obk tried to add that, but that caused miscompilations all over the place. + // CHECK: panic_bounds_check + x[ind as usize] +} |
