Add expr_as_bool C and C++ tests

Author: lucic71

tests/unit/expr_as_bool_c.c

@@ -0,0 +1,29 @@
+#include <assert.h>
+#include <stdbool.h>
+
+int main() {
+  int a = 0;
+  int b;
+
+  if (b = a) {
+  }
+  while ((b = a) != 0) {
+  }
+  if (a) {
+  }
+  if (a == b) {
+  }
+  if (a < b) {
+  }
+
+  assert(a == b);
+  assert(!(a = b));
+
+  bool c;
+  c = a = b;
+  c = (b = a) != 0;
+  c = a;
+  c = a == b;
+  c = a < b;
+  return 0;
+}

tests/unit/expr_as_bool_cpp.cpp

@@ -0,0 +1,29 @@
+#include <assert.h>
+#include <stdbool.h>
+
+int main() {
+  int a = 0;
+  int b;
+
+  if (b = a) {
+  }
+  while ((b = a) != 0) {
+  }
+  if (a) {
+  }
+  if (a == b) {
+  }
+  if (a < b) {
+  }
+
+  assert(a == b);
+  assert(!(a = b));
+
+  bool c;
+  c = a = b;
+  c = (b = a) != 0;
+  c = a;
+  c = a == b;
+  c = a < b;
+  return 0;
+}

tests/unit/out/refcount/expr_as_bool.rs

@@ -0,0 +1,22 @@
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::cell::RefCell;
+use std::collections::BTreeMap;
+use std::io::prelude::*;
+use std::io::Seek;
+use std::io::{Read, Write};
+use std::os::fd::AsFd;
+use std::rc::{Rc, Weak};
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let a: Value<i32> = Rc::new(RefCell::new(0));
+    let b: Value<i32> = <Value<i32>>::default();
+    if ({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    } != 0)
+    {}
+    return 0;
+}

tests/unit/out/refcount/expr_as_bool_c.rs

@@ -0,0 +1,52 @@
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::cell::RefCell;
+use std::collections::BTreeMap;
+use std::io::prelude::*;
+use std::io::Seek;
+use std::io::{Read, Write};
+use std::os::fd::AsFd;
+use std::rc::{Rc, Weak};
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let a: Value<i32> = Rc::new(RefCell::new(0));
+    let b: Value<i32> = <Value<i32>>::default();
+    if ({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    } != 0)
+    {}
+    'loop_: while ((({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    }) as i32)
+        != 0)
+    {}
+    if ((*a.borrow()) != 0) {}
+    if ((*a.borrow()) == (*b.borrow())) {}
+    if ((*a.borrow()) < (*b.borrow())) {}
+    assert!(((*a.borrow()) == (*b.borrow())));
+    assert!(
+        (!(({
+            (*a.borrow_mut()) = (*b.borrow());
+            (*a.borrow())
+        }) as i32)
+            != 0)
+    );
+    let c: Value<bool> = <Value<bool>>::default();
+    (*c.borrow_mut()) = ({
+        (*a.borrow_mut()) = (*b.borrow());
+        (*a.borrow())
+    } != 0);
+    (*c.borrow_mut()) = ((({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    }) as i32)
+        != 0);
+    (*c.borrow_mut()) = ((*a.borrow()) != 0);
+    (*c.borrow_mut()) = ((*a.borrow()) == (*b.borrow()));
+    (*c.borrow_mut()) = ((*a.borrow()) < (*b.borrow()));
+    return 0;
+}

tests/unit/out/refcount/expr_as_bool_cpp.rs

@@ -0,0 +1,52 @@
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::cell::RefCell;
+use std::collections::BTreeMap;
+use std::io::prelude::*;
+use std::io::Seek;
+use std::io::{Read, Write};
+use std::os::fd::AsFd;
+use std::rc::{Rc, Weak};
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let a: Value<i32> = Rc::new(RefCell::new(0));
+    let b: Value<i32> = <Value<i32>>::default();
+    if ({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    } != 0)
+    {}
+    'loop_: while ((({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    }) as i32)
+        != 0)
+    {}
+    if ((*a.borrow()) != 0) {}
+    if ((*a.borrow()) == (*b.borrow())) {}
+    if ((*a.borrow()) < (*b.borrow())) {}
+    assert!(((*a.borrow()) == (*b.borrow())));
+    assert!(
+        !((({
+            (*a.borrow_mut()) = (*b.borrow());
+            (*a.borrow())
+        }) as i32)
+            != 0)
+    );
+    let c: Value<bool> = <Value<bool>>::default();
+    (*c.borrow_mut()) = ({
+        (*a.borrow_mut()) = (*b.borrow());
+        (*a.borrow())
+    } != 0);
+    (*c.borrow_mut()) = ((({
+        (*b.borrow_mut()) = (*a.borrow());
+        (*b.borrow())
+    }) as i32)
+        != 0);
+    (*c.borrow_mut()) = ((*a.borrow()) != 0);
+    (*c.borrow_mut()) = ((*a.borrow()) == (*b.borrow()));
+    (*c.borrow_mut()) = ((*a.borrow()) < (*b.borrow()));
+    return 0;
+}

tests/unit/out/unsafe/expr_as_bool.rs

@@ -0,0 +1,24 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::Seek;
+use std::io::{Read, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut a: i32 = 0;
+    let mut b: i32 = 0_i32;
+    if ({
+        b = a;
+        b
+    } != 0)
+    {}
+    return 0;
+}

tests/unit/out/unsafe/expr_as_bool_c.rs

@@ -0,0 +1,54 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::Seek;
+use std::io::{Read, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut a: i32 = 0;
+    let mut b: i32 = 0_i32;
+    if ({
+        b = a;
+        b
+    } != 0)
+    {}
+    'loop_: while ((({
+        b = a;
+        b
+    }) as i32)
+        != (0))
+    {}
+    if (a != 0) {}
+    if ((a) == (b)) {}
+    if ((a) < (b)) {}
+    assert!(((a) == (b)));
+    assert!(
+        (!(({
+            a = b;
+            a
+        }) as i32)
+            != 0)
+    );
+    let mut c: bool = false;
+    c = ({
+        a = b;
+        a
+    } != 0);
+    c = ((({
+        b = a;
+        b
+    }) as i32)
+        != (0));
+    c = (a != 0);
+    c = ((a) == (b));
+    c = ((a) < (b));
+    return 0;
+}

tests/unit/out/unsafe/expr_as_bool_cpp.rs

@@ -0,0 +1,54 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::Seek;
+use std::io::{Read, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut a: i32 = 0;
+    let mut b: i32 = 0_i32;
+    if ({
+        b = a;
+        b
+    } != 0)
+    {}
+    'loop_: while ((({
+        b = a;
+        b
+    }) as i32)
+        != (0))
+    {}
+    if (a != 0) {}
+    if ((a) == (b)) {}
+    if ((a) < (b)) {}
+    assert!(((a) == (b)));
+    assert!(
+        !((({
+            a = b;
+            a
+        }) as i32)
+            != 0)
+    );
+    let mut c: bool = false;
+    c = ({
+        a = b;
+        a
+    } != 0);
+    c = ((({
+        b = a;
+        b
+    }) as i32)
+        != (0));
+    c = (a != 0);
+    c = ((a) == (b));
+    c = ((a) < (b));
+    return 0;
+}