(c2rust-analyze/tests) Add tests for string literals and casts. They're cfged off as they're not yet supported.

Author: kkysen

c2rust-analyze/tests/analyze.rs

@@ -2,6 +2,16 @@ use common::Analyze;
 
 pub mod common;
 
+#[test]
+fn string_literals() {
+    Analyze::new().run("tests/analyze/string_literals.rs");
+}
+
+#[test]
+fn string_casts() {
+    Analyze::new().run("tests/analyze/string_casts.rs");
+}
+
 #[test]
 fn lighttpd_minimal() {
     Analyze::new().run("../analysis/tests/lighttpd-minimal/src/main.rs");

c2rust-analyze/tests/analyze/string_casts.rs

@@ -0,0 +1,9 @@
+#[cfg(any())]
+fn cast_only(s: *const u8) {
+    s as *const core::ffi::c_char;
+}
+
+#[cfg(any())]
+fn cast_from_literal() {
+    b"" as *const u8 as *const core::ffi::c_char;
+}

c2rust-analyze/tests/analyze/string_literals.rs

@@ -0,0 +1,9 @@
+#[cfg(any())]
+fn str() {
+    "";
+}
+
+#[cfg(any())]
+fn bstr() {
+    b"";
+}