mirror of
				https://github.com/rust-lang/rust.git
				synced 2025-10-31 13:04:42 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			18 lines
		
	
	
		
			368 B
		
	
	
	
		
			Rust
		
	
	
	
	
	
			
		
		
	
	
			18 lines
		
	
	
		
			368 B
		
	
	
	
		
			Rust
		
	
	
	
	
	
| // Checks that range metadata gets emitted on calls to functions returning a
 | |
| // scalar value.
 | |
| 
 | |
| // compile-flags: -O -C no-prepopulate-passes
 | |
| 
 | |
| #![crate_type = "lib"]
 | |
| 
 | |
| pub fn test() {
 | |
|     // CHECK: call noundef i8 @some_true(), !range [[R0:![0-9]+]]
 | |
|     // CHECK: [[R0]] = !{i8 0, i8 3}
 | |
|     some_true();
 | |
| }
 | |
| 
 | |
| #[no_mangle]
 | |
| fn some_true() -> Option<bool> {
 | |
|     Some(true)
 | |
| }
 | 
