about summary refs log tree commit diff
diff options
context:
space:
mode:
authortiif <pekyuan@gmail.com>2025-03-11 16:47:40 +0000
committertiif <pekyuan@gmail.com>2025-03-12 14:38:52 +0000
commit3079213020e518c29046b01b483ea37e949eb27d (patch)
tree336c0e306ff094dfeb1b978055aa91ff91a16ead
parentd463c5d07c4715f4ebd86b2093139784fa69bd2b (diff)
downloadrust-3079213020e518c29046b01b483ea37e949eb27d.tar.gz
rust-3079213020e518c29046b01b483ea37e949eb27d.zip
Remove test
-rw-r--r--src/tools/miri/tests/fail/shims/callconv_mismatch.rs10
-rw-r--r--src/tools/miri/tests/fail/shims/callconv_mismatch.stderr15
2 files changed, 0 insertions, 25 deletions
diff --git a/src/tools/miri/tests/fail/shims/callconv_mismatch.rs b/src/tools/miri/tests/fail/shims/callconv_mismatch.rs
deleted file mode 100644
index adde34dc1fa..00000000000
--- a/src/tools/miri/tests/fail/shims/callconv_mismatch.rs
+++ /dev/null
@@ -1,10 +0,0 @@
-extern "Rust" {
-    fn pipe(fds: *mut std::ffi::c_int) -> std::ffi::c_int;
-}
-
-// Test the error for calling convention mismatch. 
-fn main() {
-    let mut fds = [-1, -1];
-    let res = unsafe { pipe(fds.as_mut_ptr()) };
-    //~^ ERROR: calling a function with calling convention C using caller calling convention Rust
-}
\ No newline at end of file
diff --git a/src/tools/miri/tests/fail/shims/callconv_mismatch.stderr b/src/tools/miri/tests/fail/shims/callconv_mismatch.stderr
deleted file mode 100644
index 11b57de1953..00000000000
--- a/src/tools/miri/tests/fail/shims/callconv_mismatch.stderr
+++ /dev/null
@@ -1,15 +0,0 @@
-error: Undefined Behavior: calling a function with calling convention C using caller calling convention Rust
-  --> tests/fail/shims/callconv_mismatch.rs:LL:CC
-   |
-LL |     let res = unsafe { pipe(fds.as_mut_ptr()) };
-   |                        ^^^^^^^^^^^^^^^^^^^^^^ calling a function with calling convention C using caller calling convention Rust
-   |
-   = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
-   = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
-   = note: BACKTRACE:
-   = note: inside `main` at tests/fail/shims/callconv_mismatch.rs:LL:CC
-
-note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
-
-error: aborting due to 1 previous error
-