|
| 1 | +extern crate libcc2rs; |
| 2 | +use libcc2rs::*; |
| 3 | +use std::cell::RefCell; |
| 4 | +use std::collections::BTreeMap; |
| 5 | +use std::io::prelude::*; |
| 6 | +use std::io::{Read, Seek, Write}; |
| 7 | +use std::os::fd::AsFd; |
| 8 | +use std::rc::{Rc, Weak}; |
| 9 | +pub fn int_cmp_0(v1: AnyPtr, v2: AnyPtr) -> i32 { |
| 10 | + let v1: Value<AnyPtr> = Rc::new(RefCell::new(v1)); |
| 11 | + let v2: Value<AnyPtr> = Rc::new(RefCell::new(v2)); |
| 12 | + return { |
| 13 | + let _lhs = ((*v1.borrow()).reinterpret_cast::<i32>().read()); |
| 14 | + _lhs - ((*v2.borrow()).reinterpret_cast::<i32>().read()) |
| 15 | + }; |
| 16 | +} |
| 17 | +pub fn main() { |
| 18 | + __cpp2rust_init_globals(); |
| 19 | + std::process::exit(main_0()); |
| 20 | +} |
| 21 | +fn main_0() -> i32 { |
| 22 | + let a1: Value<Box<[i32]>> = Rc::new(RefCell::new(Box::new([1, 2, 3]))); |
| 23 | + let vptr1: Value<AnyPtr> = Rc::new(RefCell::new({ |
| 24 | + let __base = ((a1.as_pointer() as Ptr<i32>) as Ptr<i32>) |
| 25 | + .to_any() |
| 26 | + .reinterpret_cast::<u8>(); |
| 27 | + let mut __lo: isize = 0; |
| 28 | + let mut __hi: isize = 1_usize as isize - 1; |
| 29 | + let mut __found = AnyPtr::default(); |
| 30 | + while __lo <= __hi && __found.is_null() { |
| 31 | + let __mid = __lo + (__hi - __lo) / 2; |
| 32 | + let __elem = __base.offset(__mid as usize * ::std::mem::size_of::<i32>()); |
| 33 | + let __r = int_cmp_0( |
| 34 | + (((a1.as_pointer() as Ptr<i32>).offset(0)) as Ptr<i32>) |
| 35 | + .to_any() |
| 36 | + .clone(), |
| 37 | + __elem.to_any(), |
| 38 | + ); |
| 39 | + if __r == 0 { |
| 40 | + __found = __elem.to_any(); |
| 41 | + } else if __r < 0 { |
| 42 | + __hi = __mid - 1; |
| 43 | + } else { |
| 44 | + __lo = __mid + 1; |
| 45 | + } |
| 46 | + } |
| 47 | + __found |
| 48 | + })); |
| 49 | + assert!({ |
| 50 | + let _lhs = (*vptr1.borrow()).clone(); |
| 51 | + _lhs == (((a1.as_pointer() as Ptr<i32>).offset(0)) as Ptr<i32>).to_any() |
| 52 | + }); |
| 53 | + return 0; |
| 54 | +} |
| 55 | +pub fn __cpp2rust_init_globals() {} |
0 commit comments