Update tests

Author: lucic71

tests/unit/concepts.cpp

@@ -0,0 +1,27 @@
+// ADDITIONAL_COMPILE_FLAGS: -std=c++20
+#include <cassert>
+#include <concepts>
+
+template <typename T>
+concept Small = sizeof(T) <= 4;
+
+static_assert(Small<int>);
+
+template <typename T> bool is_small() { return Small<T>; }
+
+template <typename T> int pick(T x) {
+  if (std::integral<T> && Small<T>) {
+    return 1;
+  }
+  return 2;
+}
+
+int main() {
+  static_assert(!Small<long>);
+  assert(is_small<char>());
+  assert(!is_small<double>());
+  assert(pick(1) == 1);
+  assert(pick(1L) == 2);
+  assert(pick(1.0f) == 2);
+  return 0;
+}

tests/unit/out/refcount/concepts.rs

@@ -0,0 +1,46 @@
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::cell::RefCell;
+use std::collections::BTreeMap;
+use std::io::prelude::*;
+use std::io::{Read, Seek, Write};
+use std::os::fd::AsFd;
+use std::rc::{Rc, Weak};
+pub fn is_small_0() -> bool {
+    return true;
+}
+pub fn is_small_1() -> bool {
+    return false;
+}
+pub fn pick_2(x: i32) -> i32 {
+    let x: Value<i32> = Rc::new(RefCell::new(x));
+    if (true) && (true) {
+        return 1;
+    }
+    return 2;
+}
+pub fn pick_3(x: i64) -> i32 {
+    let x: Value<i64> = Rc::new(RefCell::new(x));
+    if (true) && (false) {
+        return 1;
+    }
+    return 2;
+}
+pub fn pick_4(x: f32) -> i32 {
+    let x: Value<f32> = Rc::new(RefCell::new(x));
+    if (false) && (true) {
+        return 1;
+    }
+    return 2;
+}
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    assert!(({ is_small_0() }));
+    assert!(!({ is_small_1() }));
+    assert!((({ pick_2(1,) }) == 1));
+    assert!((({ pick_3(1_i64,) }) == 2));
+    assert!((({ pick_4(1.0E+0,) }) == 2));
+    return 0;
+}

tests/unit/out/unsafe/concepts.rs

@@ -0,0 +1,45 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::{Read, Seek, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub unsafe fn is_small_0() -> bool {
+    return true;
+}
+pub unsafe fn is_small_1() -> bool {
+    return false;
+}
+pub unsafe fn pick_2(mut x: i32) -> i32 {
+    if (true) && (true) {
+        return 1;
+    }
+    return 2;
+}
+pub unsafe fn pick_3(mut x: i64) -> i32 {
+    if (true) && (false) {
+        return 1;
+    }
+    return 2;
+}
+pub unsafe fn pick_4(mut x: f32) -> i32 {
+    if (false) && (true) {
+        return 1;
+    }
+    return 2;
+}
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    assert!((unsafe { is_small_0() }));
+    assert!(!(unsafe { is_small_1() }));
+    assert!(((unsafe { pick_2(1,) }) == (1)));
+    assert!(((unsafe { pick_3(1_i64,) }) == (2)));
+    assert!(((unsafe { pick_4(1.0E+0,) }) == (2)));
+    return 0;
+}