]> git.lizzy.rs Git - rust.git/blob - tests/codegen/no-assumes-on-casts.rs
Auto merge of #106294 - Nilstrieb:noundef-everything, r=nikic
[rust.git] / tests / codegen / no-assumes-on-casts.rs
1 #![crate_type = "lib"]
2
3 // compile-flags: -Cno-prepopulate-passes
4
5 // CHECK-LABEL: fna
6 #[no_mangle]
7 pub fn fna(a: i16) -> i32 {
8     a as i32
9 // CHECK-NOT: assume
10 // CHECK: sext
11 }
12
13 // CHECK-LABEL: fnb
14 #[no_mangle]
15 pub fn fnb(a: u16) -> u32 {
16     a as u32
17 // CHECK-NOT: assume
18 // CHECK: zext
19 }