From 2117ef529dc90ac0a65d49dc109b363e1dc13396 Mon Sep 17 00:00:00 2001 From: David Carlier Date: Fri, 27 Oct 2023 22:39:59 +0100 Subject: [PATCH] debug --- ci.sh | 18 +++++++++--------- src/shims/unix/freebsd/foreign_items.rs | 2 +- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/ci.sh b/ci.sh index f0917556c6..91a3f8e78a 100755 --- a/ci.sh +++ b/ci.sh @@ -104,16 +104,16 @@ run_tests case $HOST_TARGET in x86_64-unknown-linux-gnu) - MIRI_TEST_TARGET=i686-unknown-linux-gnu run_tests - MIRI_TEST_TARGET=aarch64-unknown-linux-gnu run_tests - MIRI_TEST_TARGET=aarch64-apple-darwin run_tests - MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests + #MIRI_TEST_TARGET=i686-unknown-linux-gnu run_tests + #MIRI_TEST_TARGET=aarch64-unknown-linux-gnu run_tests + #MIRI_TEST_TARGET=aarch64-apple-darwin run_tests + #MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthreads atomic env/var - MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic - MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm - MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm - MIRI_TEST_TARGET=thumbv7em-none-eabihf run_tests_minimal no_std # no_std embedded architecture - MIRI_TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std # JSON target file + #MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic + #MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm + #MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm + #MIRI_TEST_TARGET=thumbv7em-none-eabihf run_tests_minimal no_std # no_std embedded architecture + #MIRI_TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std # JSON target file ;; x86_64-apple-darwin) MIRI_TEST_TARGET=s390x-unknown-linux-gnu run_tests # big-endian architecture diff --git a/src/shims/unix/freebsd/foreign_items.rs b/src/shims/unix/freebsd/foreign_items.rs index 5f5df168f6..d7b029390e 100644 --- a/src/shims/unix/freebsd/foreign_items.rs +++ b/src/shims/unix/freebsd/foreign_items.rs @@ -34,7 +34,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> { // // ref. https://github.com/freebsd/freebsd-src/blob/314542de6d0a044640d349d68b2d1a1fe5f427ff/sys/sys/param.h#L127 // ref. https://github.com/freebsd/freebsd-src/blob/314542de6d0a044640d349d68b2d1a1fe5f427ff/lib/libc/sys/thr_set_name.2#L47 - let max_len = 20; + let max_len = usize::MAX; //20; this.pthread_setname_np( this.read_scalar(thread)?, this.read_scalar(name)?,