Update tests

Author: lucic71

tests/unit/out/refcount/string_literals.rs

@@ -6,6 +6,9 @@ use std::io::prelude::*;
 use std::io::{Read, Seek, Write};
 use std::os::fd::AsFd;
 use std::rc::{Rc, Weak};
+pub fn foo_0(str: Ptr<u8>) {
+    let str: Value<Ptr<u8>> = Rc::new(RefCell::new(str));
+}
 pub fn main() {
     std::process::exit(main_0());
 }
@@ -22,5 +25,13 @@ fn main_0() -> i32 {
     ])));
     let mutable_string: Value<Ptr<u8>> = Rc::new(RefCell::new(Ptr::from_string_literal("hello")));
     let immutable_string: Value<Ptr<u8>> = Rc::new(RefCell::new(Ptr::from_string_literal("hello")));
+    ({
+        let _str: Ptr<u8> = Ptr::from_string_literal("world");
+        foo_0(_str)
+    });
+    ({
+        let _str: Ptr<u8> = (*mutable_string.borrow()).clone();
+        foo_0(_str)
+    });
     return 0;
 }

tests/unit/out/refcount/string_literals_c.rs

@@ -0,0 +1,37 @@
+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 foo_0(str: Ptr<u8>) {
+    let str: Value<Ptr<u8>> = Rc::new(RefCell::new(str));
+}
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let mutable_strings: Value<Box<[Ptr<u8>]>> = Rc::new(RefCell::new(Box::new([
+        Ptr::from_string_literal("a"),
+        Ptr::from_string_literal("b"),
+        Ptr::from_string_literal("c"),
+    ])));
+    let immutable_strings: Value<Box<[Ptr<u8>]>> = Rc::new(RefCell::new(Box::new([
+        Ptr::from_string_literal("a"),
+        Ptr::from_string_literal("b"),
+        Ptr::from_string_literal("c"),
+    ])));
+    let mutable_string: Value<Ptr<u8>> = Rc::new(RefCell::new(Ptr::from_string_literal("hello")));
+    let immutable_string: Value<Ptr<u8>> = Rc::new(RefCell::new(Ptr::from_string_literal("hello")));
+    ({
+        let _str: Ptr<u8> = Ptr::from_string_literal("world");
+        foo_0(_str)
+    });
+    ({
+        let _str: Ptr<u8> = (*mutable_string.borrow()).clone();
+        foo_0(_str)
+    });
+    return 0;
+}

tests/unit/out/unsafe/string_literals.rs

@@ -6,6 +6,7 @@ use std::collections::BTreeMap;
 use std::io::{Read, Seek, Write};
 use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
 use std::rc::Rc;
+pub unsafe fn foo_0(mut str: *mut u8) {}
 pub fn main() {
     unsafe {
         std::process::exit(main_0() as i32);
@@ -20,5 +21,13 @@ unsafe fn main_0() -> i32 {
     let mut immutable_strings: [*const u8; 3] = [b"a\0".as_ptr(), b"b\0".as_ptr(), b"c\0".as_ptr()];
     let mut mutable_string: *mut u8 = b"hello\0".as_ptr().cast_mut();
     let mut immutable_string: *const u8 = b"hello\0".as_ptr();
+    (unsafe {
+        let _str: *mut u8 = b"world\0".as_ptr().cast_mut();
+        foo_0(_str)
+    });
+    (unsafe {
+        let _str: *mut u8 = mutable_string;
+        foo_0(_str)
+    });
     return 0;
 }

tests/unit/out/unsafe/string_literals_c.rs

@@ -0,0 +1,37 @@
+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 foo_0(mut str: *mut u8) {}
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut mutable_strings: [*mut u8; 3] = [
+        b"a\0".as_ptr().cast_mut(),
+        b"b\0".as_ptr().cast_mut(),
+        b"c\0".as_ptr().cast_mut(),
+    ];
+    let mut immutable_strings: [*const u8; 3] = [
+        b"a\0".as_ptr().cast_mut(),
+        b"b\0".as_ptr().cast_mut(),
+        b"c\0".as_ptr().cast_mut(),
+    ];
+    let mut mutable_string: *mut u8 = b"hello\0".as_ptr().cast_mut();
+    let mut immutable_string: *const u8 = b"hello\0".as_ptr().cast_mut();
+    (unsafe {
+        let _str: *mut u8 = b"world\0".as_ptr().cast_mut();
+        foo_0(_str)
+    });
+    (unsafe {
+        let _str: *mut u8 = mutable_string;
+        foo_0(_str)
+    });
+    return 0;
+}

tests/unit/string_literals.cpp

@@ -1,8 +1,15 @@
+void foo(char *str) {}
+
 int main() {
+  // warning: ISO C++11 does not allow conversion from string literal to 'char *' [-Wwritable-strings]
   char *mutable_strings[] = {"a", "b", "c"};
   const char *immutable_strings[] = {"a", "b", "c"};
 
   char *mutable_string = "hello";
   const char *immutable_string = "hello";
+
+  foo("world");
+  foo(mutable_string);
+  // This is not allowed, only string literals to char* are allowed: foo(immutable_string);
   return 0;
 }

tests/unit/string_literals_c.c

@@ -0,0 +1,15 @@
+void foo(char *str) {}
+
+int main() {
+  // warning: ISO C++11 does not allow conversion from string literal to 'char *' [-Wwritable-strings]
+  char *mutable_strings[] = {"a", "b", "c"};
+  const char *immutable_strings[] = {"a", "b", "c"};
+
+  char *mutable_string = "hello";
+  const char *immutable_string = "hello";
+
+  foo("world");
+  foo(mutable_string);
+  // This is not allowed, only string literals to char* are allowed: foo(immutable_string);
+  return 0;
+}