Update tests

Author: lucic71

tests/unit/out/refcount/bool_condition_logical.rs

@@ -94,5 +94,35 @@ fn main_0() -> i32 {
         assert!(true);
     }
     assert!(((*side_effect.with(Value::clone).borrow()) == 0));
+    let chunk_count: Value<i32> = Rc::new(RefCell::new(5));
+    let max_chunks: Value<i32> = Rc::new(RefCell::new(3));
+    let opts: Value<u32> = Rc::new(RefCell::new(2_u32));
+    if (((*chunk_count.borrow()) > (*max_chunks.borrow())) || (((*opts.borrow()) & 1_u32) != 0)) {
+        assert!(true);
+    }
+    if (((*chunk_count.borrow()) < (*max_chunks.borrow())) || (((*opts.borrow()) & 1_u32) != 0)) {
+        assert!(false);
+    }
+    let a_id: Value<u32> = Rc::new(RefCell::new(1_u32));
+    let b_id: Value<u32> = Rc::new(RefCell::new(2_u32));
+    let other_id: Value<u32> = Rc::new(RefCell::new(3_u32));
+    if (((*a_id.borrow()) != (*other_id.borrow())) && ((*b_id.borrow()) != (*other_id.borrow()))) {
+        assert!(true);
+    }
+    let reply_ms: Value<i32> = Rc::new(RefCell::new(-1_i32));
+    if {
+        let _lhs = (!((*p.borrow()).is_null())).clone();
+        _lhs && ((*reply_ms.borrow()) < 0)
+    } {
+        assert!(true);
+    }
+    let baller_count: Value<u32> = Rc::new(RefCell::new(2_u32));
+    let ballers_complete: Value<bool> = Rc::new(RefCell::new(false));
+    if (((*baller_count.borrow()) > 1_u32) || !(*ballers_complete.borrow())) {
+        assert!(true);
+    }
+    if (((*chunk_count.borrow()) > (*max_chunks.borrow())) || (((*opts.borrow()) & 4_u32) != 0)) {
+        assert!(true);
+    }
     return 0;
 }

tests/unit/out/refcount/bool_condition_logical_c.rs

@@ -78,5 +78,32 @@ fn main_0() -> i32 {
         assert!((1 != 0));
     }
     assert!(((*side_effect.with(Value::clone).borrow()) == 0));
+    let chunk_count: Value<i32> = Rc::new(RefCell::new(5));
+    let max_chunks: Value<i32> = Rc::new(RefCell::new(3));
+    let opts: Value<u32> = Rc::new(RefCell::new(2_u32));
+    if ((*chunk_count.borrow()) > (*max_chunks.borrow())) || (((*opts.borrow()) & 1_u32) != 0) {
+        assert!((1 != 0));
+    }
+    if ((*chunk_count.borrow()) < (*max_chunks.borrow())) || (((*opts.borrow()) & 1_u32) != 0) {
+        assert!((0 != 0));
+    }
+    let a_id: Value<u32> = Rc::new(RefCell::new(1_u32));
+    let b_id: Value<u32> = Rc::new(RefCell::new(2_u32));
+    let other_id: Value<u32> = Rc::new(RefCell::new(3_u32));
+    if ((*a_id.borrow()) != (*other_id.borrow())) && ((*b_id.borrow()) != (*other_id.borrow())) {
+        assert!((1 != 0));
+    }
+    let reply_ms: Value<i32> = Rc::new(RefCell::new(-1_i32));
+    if ((*p.borrow()) != (Default::default())) && ((*reply_ms.borrow()) < 0) {
+        assert!((1 != 0));
+    }
+    let baller_count: Value<u32> = Rc::new(RefCell::new(2_u32));
+    let ballers_complete: Value<bool> = Rc::new(RefCell::new((0 != 0)));
+    if ((*baller_count.borrow()) > 1_u32) || (!(*ballers_complete.borrow())) {
+        assert!((1 != 0));
+    }
+    if ((*chunk_count.borrow()) > (*max_chunks.borrow())) || (((*opts.borrow()) & 4_u32) != 0) {
+        assert!((1 != 0));
+    }
     return 0;
 }

tests/unit/out/unsafe/bool_condition_logical.rs

@@ -75,5 +75,32 @@ unsafe fn main_0() -> i32 {
         assert!(true);
     }
     assert!(((side_effect) == (0)));
+    let mut chunk_count: i32 = 5;
+    let mut max_chunks: i32 = 3;
+    let mut opts: u32 = 2_u32;
+    if (((chunk_count) > (max_chunks)) || (((opts) & (1_u32)) != 0)) {
+        assert!(true);
+    }
+    if (((chunk_count) < (max_chunks)) || (((opts) & (1_u32)) != 0)) {
+        assert!(false);
+    }
+    let mut a_id: u32 = 1_u32;
+    let mut b_id: u32 = 2_u32;
+    let mut other_id: u32 = 3_u32;
+    if (((a_id) != (other_id)) && ((b_id) != (other_id))) {
+        assert!(true);
+    }
+    let mut reply_ms: i32 = -1_i32;
+    if ((!((p).is_null())) && ((reply_ms) < (0))) {
+        assert!(true);
+    }
+    let mut baller_count: u32 = 2_u32;
+    let mut ballers_complete: bool = false;
+    if (((baller_count) > (1_u32)) || (!ballers_complete)) {
+        assert!(true);
+    }
+    if (((chunk_count) > (max_chunks)) || (((opts) & (4_u32)) != 0)) {
+        assert!(true);
+    }
     return 0;
 }

tests/unit/out/unsafe/bool_condition_logical_c.rs

@@ -77,5 +77,32 @@ unsafe fn main_0() -> i32 {
         assert!((1 != 0));
     }
     assert!(((side_effect) == (0)));
+    let mut chunk_count: i32 = 5;
+    let mut max_chunks: i32 = 3;
+    let mut opts: u32 = 2_u32;
+    if ((chunk_count) > (max_chunks)) || (((opts) & (1_u32)) != 0) {
+        assert!((1 != 0));
+    }
+    if ((chunk_count) < (max_chunks)) || (((opts) & (1_u32)) != 0) {
+        assert!((0 != 0));
+    }
+    let mut a_id: u32 = 1_u32;
+    let mut b_id: u32 = 2_u32;
+    let mut other_id: u32 = 3_u32;
+    if ((a_id) != (other_id)) && ((b_id) != (other_id)) {
+        assert!((1 != 0));
+    }
+    let mut reply_ms: i32 = -1_i32;
+    if ((p) != ((0 as *mut ::libc::c_void) as *mut i32)) && ((reply_ms) < (0)) {
+        assert!((1 != 0));
+    }
+    let mut baller_count: u32 = 2_u32;
+    let mut ballers_complete: bool = (0 != 0);
+    if ((baller_count) > (1_u32)) || (!ballers_complete) {
+        assert!((1 != 0));
+    }
+    if ((chunk_count) > (max_chunks)) || (((opts) & (4_u32)) != 0) {
+        assert!((1 != 0));
+    }
     return 0;
 }