From 2935cd93c28499b7af175b2502c6554b08ec6d9d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 26 Apr 2024 17:44:37 +0200
Subject: [PATCH] add smoke tests for basic PathBuf interactions

---
 src/tools/miri/tests/pass/path.rs       | 60 +++++++++++++++++++++++++
 src/tools/miri/tests/pass/shims/path.rs | 37 ---------------
 2 files changed, 60 insertions(+), 37 deletions(-)
 create mode 100644 src/tools/miri/tests/pass/path.rs
 delete mode 100644 src/tools/miri/tests/pass/shims/path.rs

diff --git a/src/tools/miri/tests/pass/path.rs b/src/tools/miri/tests/pass/path.rs
new file mode 100644
index 00000000000..fe99d38e073
--- /dev/null
+++ b/src/tools/miri/tests/pass/path.rs
@@ -0,0 +1,60 @@
+//@compile-flags: -Zmiri-disable-isolation
+use std::path::{absolute, Path, PathBuf};
+
+#[path = "../utils/mod.rs"]
+mod utils;
+
+#[track_caller]
+fn assert_absolute_eq(in_: &str, out: &str) {
+    assert_eq!(absolute(in_).unwrap().as_os_str(), Path::new(out).as_os_str());
+}
+
+fn test_absolute() {
+    if cfg!(unix) {
+        assert_absolute_eq("/a/b/c", "/a/b/c");
+        assert_absolute_eq("/a/b/c", "/a/b/c");
+        assert_absolute_eq("/a//b/c", "/a/b/c");
+        assert_absolute_eq("//a/b/c", "//a/b/c");
+        assert_absolute_eq("///a/b/c", "/a/b/c");
+        assert_absolute_eq("/a/b/c/", "/a/b/c/");
+        assert_absolute_eq("/a/./b/../c/.././..", "/a/b/../c/../..");
+    } else if cfg!(windows) {
+        // Test that all these are unchanged
+        assert_absolute_eq(r"C:\path\to\file", r"C:\path\to\file");
+        assert_absolute_eq(r"C:\path\to\file\", r"C:\path\to\file\");
+        assert_absolute_eq(r"\\server\share\to\file", r"\\server\share\to\file");
+        assert_absolute_eq(r"\\server.\share.\to\file", r"\\server.\share.\to\file");
+        assert_absolute_eq(r"\\.\PIPE\name", r"\\.\PIPE\name");
+        assert_absolute_eq(r"\\.\C:\path\to\COM1", r"\\.\C:\path\to\COM1");
+        assert_absolute_eq(r"\\?\C:\path\to\file", r"\\?\C:\path\to\file");
+        assert_absolute_eq(r"\\?\UNC\server\share\to\file", r"\\?\UNC\server\share\to\file");
+        assert_absolute_eq(r"\\?\PIPE\name", r"\\?\PIPE\name");
+        // Verbatim paths are always unchanged, no matter what.
+        assert_absolute_eq(r"\\?\path.\to/file..", r"\\?\path.\to/file..");
+
+        assert_absolute_eq(r"C:\path..\to.\file.", r"C:\path..\to\file");
+        assert_absolute_eq(r"COM1", r"\\.\COM1");
+    } else {
+        panic!("unsupported OS");
+    }
+}
+
+fn buf_smoke(mut p: PathBuf) {
+    for _c in p.components() {}
+
+    p.push("hello");
+    for _c in p.components() {}
+
+    if cfg!(windows) {
+        p.push(r"C:\mydir");
+    } else {
+        p.push(r"/mydir");
+    }
+    for _c in p.components() {}
+}
+
+fn main() {
+    buf_smoke(PathBuf::new());
+    buf_smoke(utils::tmp());
+    test_absolute();
+}
diff --git a/src/tools/miri/tests/pass/shims/path.rs b/src/tools/miri/tests/pass/shims/path.rs
deleted file mode 100644
index cadbeb476bd..00000000000
--- a/src/tools/miri/tests/pass/shims/path.rs
+++ /dev/null
@@ -1,37 +0,0 @@
-//@compile-flags: -Zmiri-disable-isolation
-use std::path::{absolute, Path};
-
-#[track_caller]
-fn test_absolute(in_: &str, out: &str) {
-    assert_eq!(absolute(in_).unwrap().as_os_str(), Path::new(out).as_os_str());
-}
-
-fn main() {
-    if cfg!(unix) {
-        test_absolute("/a/b/c", "/a/b/c");
-        test_absolute("/a/b/c", "/a/b/c");
-        test_absolute("/a//b/c", "/a/b/c");
-        test_absolute("//a/b/c", "//a/b/c");
-        test_absolute("///a/b/c", "/a/b/c");
-        test_absolute("/a/b/c/", "/a/b/c/");
-        test_absolute("/a/./b/../c/.././..", "/a/b/../c/../..");
-    } else if cfg!(windows) {
-        // Test that all these are unchanged
-        test_absolute(r"C:\path\to\file", r"C:\path\to\file");
-        test_absolute(r"C:\path\to\file\", r"C:\path\to\file\");
-        test_absolute(r"\\server\share\to\file", r"\\server\share\to\file");
-        test_absolute(r"\\server.\share.\to\file", r"\\server.\share.\to\file");
-        test_absolute(r"\\.\PIPE\name", r"\\.\PIPE\name");
-        test_absolute(r"\\.\C:\path\to\COM1", r"\\.\C:\path\to\COM1");
-        test_absolute(r"\\?\C:\path\to\file", r"\\?\C:\path\to\file");
-        test_absolute(r"\\?\UNC\server\share\to\file", r"\\?\UNC\server\share\to\file");
-        test_absolute(r"\\?\PIPE\name", r"\\?\PIPE\name");
-        // Verbatim paths are always unchanged, no matter what.
-        test_absolute(r"\\?\path.\to/file..", r"\\?\path.\to/file..");
-
-        test_absolute(r"C:\path..\to.\file.", r"C:\path..\to\file");
-        test_absolute(r"COM1", r"\\.\COM1");
-    } else {
-        panic!("unsupported OS");
-    }
-}