rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.39k stars 340 forks source link

Handle post-merge comments of AVX2 PR #3521

Closed eduardosm closed 5 months ago

RalfJung commented 5 months ago

Thanks!

Do you plan to look into this comment as well?

eduardosm commented 5 months ago

I am getting a test failure, but I don't see how it is related.

error: pass test got exit status: 101, but expected 0

error: actual output differed from expected
Execute `./miri test --bless` to update `tests/pass-dep/shims/libc-misc.stderr` to the actual output
--- tests/pass-dep/shims/libc-misc.stderr
+++ <stderr output>
+thread 'main' panicked at $DIR/libc-misc.rs:LL:CC:
+assertion `left == right` failed
+  left: 9
+ right: 7
+stack backtrace:
+   0: std::panicking::begin_panic_handler
+ at RUSTLIB/std/src/panicking.rs:LL:CC
+   1: core::panicking::panic_fmt
+ at RUSTLIB/core/src/panicking.rs:LL:CC
+   2: core::panicking::assert_failed_inner
+ at RUSTLIB/core/src/panicking.rs:LL:CC
+   3: core::panicking::assert_failed
+ at RUSTLIB/core/src/panicking.rs:LL:CC
+   4: test_localtime_r
+ at $DIR/libc-misc.rs:LL:CC
+   5: main
+ at $DIR/libc-misc.rs:LL:CC
+   6: <fn() as std::ops::FnOnce<()>>::call_once - shim(fn())
+ at RUSTLIB/core/src/ops/function.rs:LL:CC
+note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

full stderr:
thread 'main' panicked at tests/pass-dep/shims/libc-misc.rs:243:5:
assertion `left == right` failed
  left: 9
 right: 7
stack backtrace:
   0: std::panicking::begin_panic_handler
             at /home/eduardosm/.rustup/toolchains/miri/lib/rustlib/src/rust/library/std/src/panicking.rs:652:5
   1: core::panicking::panic_fmt
             at /home/eduardosm/.rustup/toolchains/miri/lib/rustlib/src/rust/library/core/src/panicking.rs:72:14
   2: core::panicking::assert_failed_inner
             at /home/eduardosm/.rustup/toolchains/miri/lib/rustlib/src/rust/library/core/src/panicking.rs:409:17
   3: core::panicking::assert_failed::<i32, i32>
             at /home/eduardosm/.rustup/toolchains/miri/lib/rustlib/src/rust/library/core/src/panicking.rs:364:5
   4: test_localtime_r
             at tests/pass-dep/shims/libc-misc.rs:243:5
   5: main
             at tests/pass-dep/shims/libc-misc.rs:412:5
   6: <fn() as std::ops::FnOnce<()>>::call_once - shim(fn())
             at /home/eduardosm/.rustup/toolchains/miri/lib/rustlib/src/rust/library/core/src/ops/function.rs:250:5
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

full stdout:
saethlin commented 5 months ago

The test suite also fails for me (on master) and it fails differently. I suspect this is just a bug in the localtime_r shim.

RalfJung commented 5 months ago

Thanks! @bors r+

bors commented 5 months ago

:pushpin: Commit fc11813367cdd71fa98e5c3697be66f1d8273826 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit fc11813367cdd71fa98e5c3697be66f1d8273826 with merge 9a4894dc06b53afc77937650d059023b320e6da8...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 9a4894dc06b53afc77937650d059023b320e6da8 to master...