1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // Checks that range metadata gets emitted on calls to functions returning a
14 // compile-flags: -C no-prepopulate-passes
15 // min-llvm-version 4.0
18 #![crate_type = "lib"]
21 // CHECK: call i8 @some_true(), !range [[R0:![0-9]+]]
22 // CHECK: [[R0]] = !{i8 0, i8 3}
27 fn some_true() -> Option<bool> {