1 // Checks that range metadata gets emitted on calls to functions returning a 2 // scalar value. 3 4 // compile-flags: -C no-prepopulate-passes 5 6 #![crate_type = "lib"] 7 test()8pub fn test() { 9 // CHECK: call i8 @some_true(), !range [[R0:![0-9]+]] 10 // CHECK: [[R0]] = !{i8 0, i8 3} 11 some_true(); 12 } 13 14 #[no_mangle] some_true() -> Option<bool>15fn some_true() -> Option<bool> { 16 Some(true) 17 } 18