Make analysis/test miri-compatible and add a miri test for it

analysis/test/Cargo.toml

@@ -8,3 +8,6 @@ edition = "2021"
 [dependencies]
 libc = "0.2"
 c2rust-analysis-rt = { path = "../runtime", optional = true, version = "0.1.0" }
+
+[features]
+miri = []

analysis/test/src/pointers.rs

@@ -14,9 +14,34 @@ extern "C" {
     fn calloc(_: libc::c_ulong, _: libc::c_ulong) -> *mut libc::c_void;
     fn realloc(_: *mut libc::c_void, _: libc::c_ulong) -> *mut libc::c_void;
     fn free(__ptr: *mut libc::c_void);
+}
+
+#[cfg(not(feature = "miri"))]
+extern "C" {
     fn printf(_: *const libc::c_char, _: ...) -> libc::c_int;
 }
 
+/// `miri` does not support calling variadic functions like [`printf`],
+/// but we want to test for UB, leaks, etc. using `cargo miri run`.
+///
+/// Luckily, all [`printf`] calls in this module are monomorphic,
+/// in that they all have the same format string and same call signature,
+/// so we can replace it with a [`printf`] shim that preserves the behavior
+/// only for the exact monomorphic usages in this module.
+///
+/// Note that there is no way to detect `miri` is running,
+/// so we have to put this under a separate `miri` feature
+/// that should be enabled when testing under `miri` with
+/// `cargo miri run --features miri`.
+#[cfg(feature = "miri")]
+fn printf(fmt: *const libc::c_char, i: i32) -> libc::c_int {
+    use std::ffi::CStr;
+    assert_eq!(unsafe { CStr::from_ptr(fmt) }, CStr::from_bytes_with_nul(b"%i\n\x00").unwrap());
+    let s = format!("{i}\n");
+    print!("{s}");
+    s.len() as libc::c_int
+}
+
 /// Hidden from instrumentation so that we can polyfill [`reallocarray`] with it.
 const REALLOC: unsafe extern "C" fn(*mut libc::c_void, libc::c_ulong) -> *mut libc::c_void = realloc;
 

pdg/src/main.rs

@@ -365,4 +365,17 @@ mod tests {
         insta::assert_display_snapshot!(pdg);
         Ok(())
     }
+
+    #[test]
+    #[ignore]
+    fn analysis_test_miri() -> eyre::Result<()> {
+        init();
+        let mut cmd = Command::new("cargo");
+        cmd.current_dir(repo_dir()?.join("analysis/test"))
+            .args(&["miri", "run", "--features", "miri"])
+            .env("MIRIFLAGS", "");
+        let status = cmd.status()?;
+        ensure!(status.success(), eyre!("{cmd:?} failed: {status}"));
+        Ok(())
+    }
 }

rust-toolchain.toml

@@ -1,3 +1,3 @@
 [toolchain]
 channel = "nightly-2022-08-08"
-components = ["rustfmt-preview", "rustc-dev", "rust-src"]
+components = ["rustfmt-preview", "rustc-dev", "rust-src", "miri"]