os-rust/src/test/codegen/abi-repr-ext.rs

// compile-flags: -O

#![crate_type="lib"]

#[repr(i8)]
pub enum Type {
    Type1 = 0,
    Type2 = 1
}

// CHECK: define{{( dso_local)?}} noundef signext i8 @test()
#[no_mangle]
pub extern "C" fn test() -> Type {
    Type::Type1
}
Apply noundef attribute to all scalar types which do not permit raw init Beyond `&`/`&mut`/`Box`, this covers `char`, discriminants, `NonZero*`, etc. All such types currently cause a Miri error if left uninitialized, and an `invalid_value` lint in cases like `mem::uninitialized::<char>()` Note that this _does not_ change whether or not it is UB for `u64` (or other integer types with no invalid values) to be undef. 2022-02-12 01:38:24 -05:00			`// compile-flags: -O`

Consider Scalar to be a bool only if its unsigned This seems right, given that conceptually bools are unsigned, but the implications of this change may have more action at distance that I'm not sure how to exhaustively consider. For instance there are a number of cases where code attaches range metadata if `scalar.is_bool()` holds. Supposedly it would no longer be attached to the `repr(i8)` enums? Though I'm not sure why booleans are being special-cased here in the first place... Fixes #80556 2020-12-31 18:02:52 +02:00			`#![crate_type="lib"]`

			`#[repr(i8)]`
			`pub enum Type {`
			`Type1 = 0,`
			`Type2 = 1`
			`}`

Apply noundef attribute to all scalar types which do not permit raw init Beyond `&`/`&mut`/`Box`, this covers `char`, discriminants, `NonZero*`, etc. All such types currently cause a Miri error if left uninitialized, and an `invalid_value` lint in cases like `mem::uninitialized::<char>()` Note that this _does not_ change whether or not it is UB for `u64` (or other integer types with no invalid values) to be undef. 2022-02-12 01:38:24 -05:00			`// CHECK: define{{( dso_local)?}} noundef signext i8 @test()`
Consider Scalar to be a bool only if its unsigned This seems right, given that conceptually bools are unsigned, but the implications of this change may have more action at distance that I'm not sure how to exhaustively consider. For instance there are a number of cases where code attaches range metadata if `scalar.is_bool()` holds. Supposedly it would no longer be attached to the `repr(i8)` enums? Though I'm not sure why booleans are being special-cased here in the first place... Fixes #80556 2020-12-31 18:02:52 +02:00			`#[no_mangle]`
			`pub extern "C" fn test() -> Type {`
			`Type::Type1`
			`}`