mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add FIXME for default_boxed_slice.rs

Browse Source
This commit is contained in:
sfzhu93 2024-01-14 22:35:00 -08:00
parent cd77d59f97
commit 5747eceef8
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/mir-opt/dataflow-const-prop/default_boxed_slice.rs
View File

@ -4,6 +4,8 @@
// EMIT_MIR_FOR_EACH_BIT_WIDTH // EMIT_MIR_FOR_EACH_BIT_WIDTH
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// This test is to check ICE in issue [#115789](https://github.com/rust-lang/rust/issues/115789).
struct A { struct A {
foo: Box<[bool]>, foo: Box<[bool]>,
} }
@ -14,13 +16,14 @@ struct A {
// CHECK-LABEL: fn main( // CHECK-LABEL: fn main(
fn main() { fn main() {
// ConstProp will create a constant of type `Box<[bool]>`. // ConstProp will create a constant of type `Box<[bool]>`.
// FIXME: it is not yet a constant.
// Verify that `DataflowConstProp` does not ICE trying to dereference it directly. // Verify that `DataflowConstProp` does not ICE trying to dereference it directly.
// CHECK: debug a => [[a:_.*]]; // CHECK: debug a => [[a:_.*]];
// We may check other inlined functions as well... // We may check other inlined functions as well...
// CHECK: [[box_obj:_.*]] = Box::<[bool]>(_3, const std::alloc::Global); // CHECK-LABEL: _.* = Box::<[bool]>(
// CHECK: [[a]] = A { foo: move [[box_obj]] }; // FIXME: should be `_.* = const Box::<[bool]>`
// FIXME: we do not have `const Box::<[bool]>` after constprop right now.
let a: A = A { foo: Box::default() }; let a: A = A { foo: Box::default() };
} }