test that MaybeUninit<bool> is not noundef

erikdesjardins · erikdesjardins · commit ced947fc1241 · 2022-02-06T21:09:21.000-05:00
diff --git 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]

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,8 @@`
`3`	`3`	`#![crate_type = "lib"]`
`4`	`4`	`#![feature(rustc_attrs)]`
`5`	`5`
	`6`	`+use std::mem::MaybeUninit;`
	`7`	`+`
`6`	`8`	`pub struct S {`
`7`	`9`	`_field: [i32; 8],`
`8`	`10`	`}`
`@@ -17,6 +19,12 @@ pub fn boolean(x: bool) -> bool {`
`17`	`19`	`x`
`18`	`20`	`}`
`19`	`21`
	`22`	`+// CHECK: i8 @maybeuninit_boolean(i8 %x)`
	`23`	`+#[no_mangle]`
	`24`	`+pub fn maybeuninit_boolean(x: MaybeUninit<bool>) -> MaybeUninit<bool> {`
	`25`	`+ x`
	`26`	`+}`
	`27`	`+`
`20`	`28`	`// CHECK: @readonly_borrow(i32* noalias readonly align 4 dereferenceable(4) %_1)`
`21`	`29`	// FIXME #25759 This should also have `nocapture`
`22`	`30`	`#[no_mangle]`