diff options
| author | Erik Desjardins <erikdesjardins@users.noreply.github.com> | 2022-02-06 21:09:21 -0500 |
|---|---|---|
| committer | Erik Desjardins <erikdesjardins@users.noreply.github.com> | 2022-02-06 21:09:21 -0500 |
| commit | ced947fc124197bf87e2bdc6741d50db92d296a8 (patch) | |
| tree | 353cbdb3e10948a1377f036eca9e6dadb3a10cd8 /src/test/codegen/function-arguments.rs | |
| parent | 8cb0b6ca5bf1321d38f4602113b0f41c837d0586 (diff) | |
| download | rust-ced947fc124197bf87e2bdc6741d50db92d296a8.tar.gz rust-ced947fc124197bf87e2bdc6741d50db92d296a8.zip | |
test that MaybeUninit<bool> is not noundef
Diffstat (limited to 'src/test/codegen/function-arguments.rs')
| -rw-r--r-- | src/test/codegen/function-arguments.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/test/codegen/function-arguments.rs b/src/test/codegen/function-arguments.rs index 998f3890900..1ada49d5d0a 100644 --- a/src/test/codegen/function-arguments.rs +++ b/src/test/codegen/function-arguments.rs @@ -3,6 +3,8 @@ #![crate_type = "lib"] #![feature(rustc_attrs)] +use std::mem::MaybeUninit; + pub struct S { _field: [i32; 8], } @@ -17,6 +19,12 @@ pub fn boolean(x: bool) -> bool { x } +// CHECK: i8 @maybeuninit_boolean(i8 %x) +#[no_mangle] +pub fn maybeuninit_boolean(x: MaybeUninit<bool>) -> MaybeUninit<bool> { + x +} + // CHECK: @readonly_borrow(i32* noalias readonly align 4 dereferenceable(4) %_1) // FIXME #25759 This should also have `nocapture` #[no_mangle] |