Skip to content

Commit dd5437f

Browse files
committed
organize libc tests into a proper folder, and run some of them on Windows
1 parent 629d57e commit dd5437f

File tree

109 files changed

+211
-208
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

109 files changed

+211
-208
lines changed

src/tools/miri/ci/ci.sh

+4-4
Original file line numberDiff line numberDiff line change
@@ -143,10 +143,10 @@ case $HOST_TARGET in
143143
# Partially supported targets (tier 2)
144144
VERY_BASIC="integer vec string btreemap" # common things we test on all of them (if they have std), requires no target-specific shims
145145
BASIC="$VERY_BASIC hello hashmap alloc align" # ensures we have the shims for stdout and basic data structures
146-
MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal $BASIC panic/panic concurrency/simple atomic threadname libc-misc libc-random libc-time fs env num_cpus
147-
MIRI_TEST_TARGET=i686-unknown-freebsd run_tests_minimal $BASIC panic/panic concurrency/simple atomic threadname libc-misc libc-random libc-time fs env num_cpus
148-
MIRI_TEST_TARGET=x86_64-unknown-illumos run_tests_minimal $VERY_BASIC hello panic/panic concurrency/simple pthread-sync libc-misc libc-random
149-
MIRI_TEST_TARGET=x86_64-pc-solaris run_tests_minimal $VERY_BASIC hello panic/panic concurrency/simple pthread-sync libc-misc libc-random
146+
MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal $BASIC panic/panic concurrency/simple atomic threadname libc-mem libc-misc libc-random libc-time fs env num_cpus
147+
MIRI_TEST_TARGET=i686-unknown-freebsd run_tests_minimal $BASIC panic/panic concurrency/simple atomic threadname libc-mem libc-misc libc-random libc-time fs env num_cpus
148+
MIRI_TEST_TARGET=x86_64-unknown-illumos run_tests_minimal $VERY_BASIC hello panic/panic concurrency/simple pthread-sync libc-mem libc-misc libc-random
149+
MIRI_TEST_TARGET=x86_64-pc-solaris run_tests_minimal $VERY_BASIC hello panic/panic concurrency/simple pthread-sync libc-mem libc-misc libc-random
150150
MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal $VERY_BASIC hello panic/panic
151151
MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal $VERY_BASIC wasm
152152
MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal $VERY_BASIC wasm

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_cond_double_destroy.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_cond_double_destroy.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
/// Test that destroying a pthread_cond twice fails, even without a check for number validity
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_condattr_double_destroy.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_condattr_double_destroy.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@ignore-target-apple: Our macOS condattr don't have any fields so we do not notice this.
33

44
/// Test that destroying a pthread_condattr twice fails, even without a check for number validity

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_main_terminate.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@error-in-other-file: the main thread terminated without waiting for all remaining threads
33

44
// Check that we terminate the program when the main thread terminates.

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_few_args.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
//! The thread function must have exactly one argument.
44

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_create_too_many_args.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
//! The thread function must have exactly one argument.
44

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_detached.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
// Joining a detached thread is undefined behavior.
44

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_joined.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
// Joining an already joined thread is undefined behavior.
44

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_main.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
// Joining the main thread is undefined behavior.
44

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_multiple.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
// Joining the same thread from multiple threads is undefined behavior.
44

src/tools/miri/tests/fail-dep/concurrency/libc_pthread_join_self.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
// We are making scheduler assumptions here.
33
//@compile-flags: -Zmiri-preemption-rate=0
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_NULL_deadlock.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_NULL_deadlock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//
33
// Check that if we pass NULL attribute, then we get the default mutex type.
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_deadlock.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_deadlock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@error-in-other-file: deadlock
33

44
use std::cell::UnsafeCell;

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_default_deadlock.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_default_deadlock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//
33
// Check that if we do not set the mutex type, it is the default.
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_destroy_locked.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_destroy_locked.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
unsafe {

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_double_destroy.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_double_destroy.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
/// Test that destroying a pthread_mutex twice fails, even without a check for number validity
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_deadlock.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_normal_deadlock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
unsafe {

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_normal_unlock_unlocked.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
unsafe {

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutex_wrong_owner.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutex_wrong_owner.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
use std::cell::UnsafeCell;
44
use std::sync::Arc;

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_mutexattr_double_destroy.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_mutexattr_double_destroy.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
/// Test that destroying a pthread_mutexattr twice fails, even without a check for number validity
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_destroy_read_locked.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_destroy_write_locked.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_double_destroy.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_double_destroy.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
/// Test that destroying a pthread_rwlock twice fails, even without a check for number validity
44

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_read_write_deadlock_single_thread.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_read_wrong_owner.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
use std::cell::UnsafeCell;
44
use std::sync::Arc;

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_unlock_unlocked.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_write_read_deadlock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@error-in-other-file: deadlock
33

44
use std::cell::UnsafeCell;

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_write_read_deadlock_single_thread.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_write_write_deadlock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@error-in-other-file: deadlock
33

44
use std::cell::UnsafeCell;

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_write_write_deadlock_single_thread.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
fn main() {
44
let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);

src/tools/miri/tests/fail-dep/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs renamed to src/tools/miri/tests/fail-dep/concurrency/libc_pthread_rwlock_write_wrong_owner.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22

33
use std::cell::UnsafeCell;
44
use std::sync::Arc;

src/tools/miri/tests/fail-dep/shims/env-set_var-data-race.rs renamed to src/tools/miri/tests/fail-dep/libc/env-set_var-data-race.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
2-
//@ignore-target-windows: No libc on Windows
2+
//@ignore-target-windows: No libc env support on Windows
33

44
use std::env;
55
use std::thread;

src/tools/miri/tests/fail-dep/shims/fs/close_stdout.rs renamed to src/tools/miri/tests/fail-dep/libc/fs/close_stdout.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No libc IO on Windows
22
//@compile-flags: -Zmiri-disable-isolation
33

44
// FIXME: standard handles cannot be closed (https://github.com/rust-lang/rust/issues/40032)

src/tools/miri/tests/fail-dep/shims/fs/isolated_stdin.rs renamed to src/tools/miri/tests/fail-dep/libc/fs/isolated_stdin.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No libc IO on Windows
22

33
fn main() -> std::io::Result<()> {
44
let mut bytes = [0u8; 512];

src/tools/miri/tests/fail-dep/shims/fs/mkstemp_immutable_arg.rs renamed to src/tools/miri/tests/fail-dep/libc/fs/mkstemp_immutable_arg.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No mkstemp on Windows
22
//@compile-flags: -Zmiri-disable-isolation
33

44
fn main() {

src/tools/miri/tests/fail-dep/shims/fs/read_from_stdout.rs renamed to src/tools/miri/tests/fail-dep/libc/fs/read_from_stdout.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@compile-flags: -Zmiri-disable-isolation
2-
//@ignore-target-windows: No libc on Windows
2+
//@ignore-target-windows: No libc IO on Windows
33

44
fn main() -> std::io::Result<()> {
55
let mut bytes = [0u8; 512];

src/tools/miri/tests/fail-dep/shims/fs/unix_open_missing_required_mode.rs renamed to src/tools/miri/tests/fail-dep/libc/fs/unix_open_missing_required_mode.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No libc IO on Windows
22
//@compile-flags: -Zmiri-disable-isolation
33

44
fn main() {

src/tools/miri/tests/fail-dep/shims/fs/write_to_stdin.rs renamed to src/tools/miri/tests/fail-dep/libc/fs/write_to_stdin.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No libc IO on Windows
22

33
fn main() -> std::io::Result<()> {
44
let bytes = b"hello";

src/tools/miri/tests/fail-dep/shims/memchr_null.rs renamed to src/tools/miri/tests/fail-dep/libc/memchr_null.rs

-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
//@ignore-target-windows: No libc on Windows
2-
31
use std::ptr;
42

53
// null is explicitly called out as UB in the C docs.

src/tools/miri/tests/fail-dep/shims/memcmp_null.rs renamed to src/tools/miri/tests/fail-dep/libc/memcmp_null.rs

-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
//@ignore-target-windows: No libc on Windows
2-
31
use std::ptr;
42

53
// null is explicitly called out as UB in the C docs.

src/tools/miri/tests/fail-dep/shims/memcmp_zero.rs renamed to src/tools/miri/tests/fail-dep/libc/memcmp_zero.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
//@ignore-target-windows: No libc on Windows
21
//@compile-flags: -Zmiri-permissive-provenance
32

43
// C says that passing "invalid" pointers is UB for all string functions.

src/tools/miri/tests/fail-dep/shims/memcpy_zero.rs renamed to src/tools/miri/tests/fail-dep/libc/memcpy_zero.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
//@ignore-target-windows: No libc on Windows
21
//@compile-flags: -Zmiri-permissive-provenance
32
// C's memcpy is 0 bytes is UB for some pointers that are allowed in Rust's `copy_nonoverlapping`.
43

src/tools/miri/tests/fail-dep/shims/memrchr_null.rs renamed to src/tools/miri/tests/fail-dep/libc/memrchr_null.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No `memrchr` on Windows
22
//@ignore-target-apple: No `memrchr` on some apple targets
33

44
use std::ptr;

src/tools/miri/tests/fail-dep/shims/mmap_invalid_dealloc.rs renamed to src/tools/miri/tests/fail-dep/libc/mmap_invalid_dealloc.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@compile-flags: -Zmiri-disable-isolation
2-
//@ignore-target-windows: No libc on Windows
2+
//@ignore-target-windows: No mmap on Windows
33

44
#![feature(rustc_private)]
55

src/tools/miri/tests/fail-dep/shims/mmap_use_after_munmap.rs renamed to src/tools/miri/tests/fail-dep/libc/mmap_use_after_munmap.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@compile-flags: -Zmiri-disable-isolation
2-
//@ignore-target-windows: No libc on Windows
2+
//@ignore-target-windows: No mmap on Windows
33

44
#![feature(rustc_private)]
55

src/tools/miri/tests/fail-dep/shims/munmap_partial.rs renamed to src/tools/miri/tests/fail-dep/libc/munmap_partial.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
//! The man pages for mmap/munmap suggest that it is possible to partly unmap a previously-mapped
22
//! region of address space, but to LLVM that would be partial deallocation, which LLVM does not
33
//! support. So even though the man pages say this sort of use is possible, we must report UB.
4-
//@ignore-target-windows: No libc on Windows
4+
//@ignore-target-windows: No mmap on Windows
55
//@normalize-stderr-test: "size [0-9]+ and alignment" -> "size SIZE and alignment"
66

77
fn main() {

src/tools/miri/tests/fail-dep/realloc-zero.rs renamed to src/tools/miri/tests/fail-dep/libc/realloc-zero.rs

-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
//@ignore-target-windows: No libc on Windows
2-
31
fn main() {
42
unsafe {
53
let p1 = libc::malloc(20);

src/tools/miri/tests/fail-dep/unsupported_incomplete_function.rs renamed to src/tools/miri/tests/fail-dep/libc/unsupported_incomplete_function.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//! `signal()` is special on Linux and macOS that it's only supported within libstd.
22
//! The implementation is not complete enough to permit user code to call it.
3-
//@ignore-target-windows: No libc on Windows
3+
//@ignore-target-windows: No `libc::signal` on Windows
44
//@normalize-stderr-test: "OS `.*`" -> "$$OS"
55

66
fn main() {

src/tools/miri/tests/panic/unsupported_syscall.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: no `syscall` on Windows
22
//@ignore-target-apple: `syscall` is not supported on macOS
33
//@compile-flags: -Zmiri-panic-on-unsupported
44

src/tools/miri/tests/pass-dep/calloc.rs

-22
This file was deleted.

src/tools/miri/tests/pass-dep/shims/env-cleanup-data-race.rs renamed to src/tools/miri/tests/pass-dep/concurrency/env-cleanup-data-race.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
2-
//@ignore-target-windows: No libc on Windows
2+
//@ignore-target-windows: No libc env support on Windows
33

44
use std::ffi::CStr;
55
use std::thread;

src/tools/miri/tests/pass-dep/concurrency/libc_pthread_cond_timedwait.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@ignore-target-apple: pthread_condattr_setclock is not supported on MacOS.
33
//@compile-flags: -Zmiri-disable-isolation
44

src/tools/miri/tests/pass-dep/concurrency/libc_pthread_cond_timedwait_isolated.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//@ignore-target-apple: pthread_condattr_setclock is not supported on MacOS.
33

44
/// Test that conditional variable timeouts are working properly

src/tools/miri/tests/pass-dep/concurrency/tls_pthread_drop_order.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No pthreads on Windows
22
//! Test that pthread_key destructors are run in the right order.
33
//! Note that these are *not* used by actual `thread_local!` on Linux! Those use
44
//! `thread_local_dtor::register_dtor` from the stdlib instead. In Miri this hits the fallback path

src/tools/miri/tests/pass-dep/extra_fn_ptr_gc.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ignore-target-windows: No libc on Windows
1+
//@ignore-target-windows: No `dlsym` on Windows
22
//@compile-flags: -Zmiri-permissive-provenance
33

44
#[path = "../utils/mod.rs"]

0 commit comments

Comments
 (0)