|
| 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 | +#[derive(Default)] |
| 10 | +pub struct node { |
| 11 | + pub data: Value<i32>, |
| 12 | + pub next: Value<Ptr<node>>, |
| 13 | +} |
| 14 | +impl ByteRepr for node {} |
| 15 | +#[derive(Clone, Copy, PartialEq, Debug, Default)] |
| 16 | +enum opt { |
| 17 | + #[default] |
| 18 | + OPT_STRING_OUT = 0, |
| 19 | + OPT_FILE = 1, |
| 20 | + OPT_NODE = 2, |
| 21 | + OPT_NODE_OUT = 3, |
| 22 | +} |
| 23 | +impl From<i32> for opt { |
| 24 | + fn from(n: i32) -> opt { |
| 25 | + match n { |
| 26 | + 0 => opt::OPT_STRING_OUT, |
| 27 | + 1 => opt::OPT_FILE, |
| 28 | + 2 => opt::OPT_NODE, |
| 29 | + 3 => opt::OPT_NODE_OUT, |
| 30 | + _ => panic!("invalid opt value: {}", n), |
| 31 | + } |
| 32 | + } |
| 33 | +} |
| 34 | +pub fn dispatch_0(option: i32, args: &[VaArg]) -> i32 { |
| 35 | + let option: Value<i32> = Rc::new(RefCell::new(option)); |
| 36 | + let ap: Value<VaList> = Rc::new(RefCell::new(VaList::default())); |
| 37 | + (*ap.borrow_mut()) = VaList::new(args); |
| 38 | + let result: Value<i32> = Rc::new(RefCell::new(0)); |
| 39 | + 'switch: { |
| 40 | + let __match_cond = (*option.borrow()); |
| 41 | + match __match_cond { |
| 42 | + v if v == (opt::OPT_STRING_OUT as i32) => { |
| 43 | + let out: Value<Ptr<Ptr<u8>>> = Rc::new(RefCell::new( |
| 44 | + ((*ap.borrow_mut()).arg::<Ptr<Ptr<u8>>>()).clone(), |
| 45 | + )); |
| 46 | + (*out.borrow()).write(Ptr::from_string_literal("hello")); |
| 47 | + (*result.borrow_mut()) = 1; |
| 48 | + break 'switch; |
| 49 | + } |
| 50 | + v if v == (opt::OPT_FILE as i32) => { |
| 51 | + let f: Value<Ptr<::std::fs::File>> = Rc::new(RefCell::new( |
| 52 | + ((*ap.borrow_mut()).arg::<Ptr<::std::fs::File>>()).clone(), |
| 53 | + )); |
| 54 | + (*result.borrow_mut()) = ((!((*f.borrow()).is_null())) as i32).clone(); |
| 55 | + break 'switch; |
| 56 | + } |
| 57 | + v if v == (opt::OPT_NODE as i32) => { |
| 58 | + let n: Value<Ptr<node>> = Rc::new(RefCell::new( |
| 59 | + ((*ap.borrow_mut()).arg::<Ptr<node>>()).clone(), |
| 60 | + )); |
| 61 | + (*result.borrow_mut()) = (*(*(*n.borrow()).upgrade().deref()).data.borrow()); |
| 62 | + break 'switch; |
| 63 | + } |
| 64 | + v if v == (opt::OPT_NODE_OUT as i32) => { |
| 65 | + let out: Value<Ptr<Ptr<node>>> = Rc::new(RefCell::new( |
| 66 | + ((*ap.borrow_mut()).arg::<Ptr<Ptr<node>>>()).clone(), |
| 67 | + )); |
| 68 | + (*out.borrow()).write(Ptr::<node>::null()); |
| 69 | + (*result.borrow_mut()) = 2; |
| 70 | + break 'switch; |
| 71 | + } |
| 72 | + _ => {} |
| 73 | + } |
| 74 | + }; |
| 75 | + return (*result.borrow()); |
| 76 | +} |
| 77 | +pub fn main() { |
| 78 | + std::process::exit(main_0()); |
| 79 | +} |
| 80 | +fn main_0() -> i32 { |
| 81 | + let s: Value<Ptr<u8>> = Rc::new(RefCell::new(Ptr::<u8>::null())); |
| 82 | + assert!( |
| 83 | + (((({ |
| 84 | + let _option: i32 = (opt::OPT_STRING_OUT as i32); |
| 85 | + dispatch_0(_option, &[(s.as_pointer()).into()]) |
| 86 | + }) == 1) as i32) |
| 87 | + != 0) |
| 88 | + ); |
| 89 | + assert!((((!((*s.borrow()).is_null())) as i32) != 0)); |
| 90 | + assert!( |
| 91 | + (((({ |
| 92 | + let _option: i32 = (opt::OPT_FILE as i32); |
| 93 | + dispatch_0(_option, &[libcc2rs::cout().into()]) |
| 94 | + }) == 1) as i32) |
| 95 | + != 0) |
| 96 | + ); |
| 97 | + assert!( |
| 98 | + (((({ |
| 99 | + let _option: i32 = (opt::OPT_FILE as i32); |
| 100 | + dispatch_0( |
| 101 | + _option, |
| 102 | + &[(AnyPtr::default()) |
| 103 | + .cast::<::std::fs::File>() |
| 104 | + .expect("ub:wrong type") |
| 105 | + .into()], |
| 106 | + ) |
| 107 | + }) == 0) as i32) |
| 108 | + != 0) |
| 109 | + ); |
| 110 | + let head: Value<node> = Rc::new(RefCell::new(node { |
| 111 | + data: Rc::new(RefCell::new(42)), |
| 112 | + next: Rc::new(RefCell::new(Ptr::<node>::null())), |
| 113 | + })); |
| 114 | + assert!( |
| 115 | + (((({ |
| 116 | + let _option: i32 = (opt::OPT_NODE as i32); |
| 117 | + dispatch_0(_option, &[(head.as_pointer()).into()]) |
| 118 | + }) == 42) as i32) |
| 119 | + != 0) |
| 120 | + ); |
| 121 | + let outp: Value<Ptr<node>> = Rc::new(RefCell::new((head.as_pointer()))); |
| 122 | + assert!( |
| 123 | + (((({ |
| 124 | + let _option: i32 = (opt::OPT_NODE_OUT as i32); |
| 125 | + dispatch_0(_option, &[(outp.as_pointer()).into()]) |
| 126 | + }) == 2) as i32) |
| 127 | + != 0) |
| 128 | + ); |
| 129 | + assert!(((((*outp.borrow()).is_null()) as i32) != 0)); |
| 130 | + return 0; |
| 131 | +} |
0 commit comments