about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Collapse)AuthorLines
2025-04-09Merge pull request #4067 from CraftSpider/windows-metadataRalf Jung-18/+218
Support getting file metadata on Windows
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ↵Rune Tynan-18/+218
to get file metadata.
2025-04-08Do not optimize out SwitchInt before borrowck, or if Zmir-preserve-ubMichael Goulet-0/+29
2025-04-07targest → targets (spotted as I had the same typo)Ralf Jung-1/+1
2025-04-07reduce the error tolerance to match algebraic and fast-math operationsRalf Jung-2/+3
2025-04-04Solaris does not have flockRalf Jung-0/+1
2025-04-04fix windows_join_multipleRalf Jung-2/+8
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-3/+3
2025-03-20Merge from rustcThe Miri Cronjob Bot-2/+24
2025-03-17Fix miribjorn3-0/+24
2025-03-17Rollup merge of #137793 - NobodyXu:stablise-annoymous-pipe, r=joshtriplettJacob Pratt-2/+0
Stablize anonymous pipe Since #135822 is staled, I create this PR to stablise anonymous pipe Closes #127154 try-job: test-various
2025-03-16Merge from rustcThe Miri Cronjob Bot-8/+0
2025-03-15Merge from rustcThe Miri Cronjob Bot-2/+2
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-8/+0
For macros that are implemented on the compiler, we do *not* mention the `-Zmacro-backtrace` flag. This includes `derive`s and standard macros.
2025-03-14Merge from rustcThe Miri Cronjob Bot-28/+28
2025-03-14Stablize feature `anonymous_pipe`Jiahao XU-2/+0
Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
2025-03-12Allow more top-down inlining for single-BB calleesScott McMurray-2/+2
This means that things like `<usize as Step>::forward_unchecked` and `<PartialOrd for f32>::le` will inline even if we've already done a bunch of inlining to find the calls to them.
2025-03-12Merge pull request #4185 from geetanshjuneja/abi_checkRalf Jung-0/+76
FnAbi Compatability check
2025-03-12added check_shim_abigeetanshjuneja-0/+76
added input arg mismatch test added detailed ub messages added return type mismatch test
2025-03-12bless testtiif-15/+15
2025-03-12Remove testtiif-25/+0
2025-03-12Implement Display by mapping Conv to ExternAbitiif-3/+3
2025-03-12Remove unnecessary asserttiif-1/+0
2025-03-12Add test and change ub message wordingtiif-0/+26
2025-03-12intrinsics: remove unnecessary leading underscore from argument namesRalf Jung-28/+28
2025-03-11Merge from rustcThe Miri Cronjob Bot-11/+11
2025-03-08Move fs into sysThalia Archibald-9/+9
2025-03-08Erase non-pal sys platform pathsThalia Archibald-2/+2
2025-03-07Merge from rustcThe Miri Cronjob Bot-35/+88
2025-03-06Rollup merge of #137802 - RalfJung:miri-native-call-exposed, r=oli-obkMichael Goulet-35/+88
miri native-call support: all previously exposed provenance is accessible to the callee When Miri invokes a native C function, the memory C can access needs to be "prepared": to avoid false positives, we need to consider all that memory initialized, and we need to consider it to have arbitrary provenance. So far we did this for all pointers passed to C, but not for pointers that were exposed already before the native call. This PR adjusts the logic so that we now "prepare" all memory that has ever been exposed. This fixes cases such as: - cast a pointer to integer, send that integer to C, and access the memory there (`test_pass_ptr_as_int`) - send a pointer to some memory to C, which stores it somewhere; then in Rust store another pointer in that memory, and access that via C (`test_pass_ptr_via_previously_shared_mem`) r? `````@oli-obk`````
2025-03-06Merge from rustcThe Miri Cronjob Bot-15/+0
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-15/+0
Remove unsizing coercions for tuples See https://github.com/rust-lang/rust/issues/42877#issuecomment-2686010847 and below comments for justification. Tracking issue: #42877 Fixes: #135217
2025-03-02Merge from rustcThe Miri Cronjob Bot-1/+1
2025-02-28Shorten span of panic failures in const contextEsteban Küber-1/+1
Previously, we included a redundant prefix on the panic message and a postfix of the location of the panic. The prefix didn't carry any additional information beyond "something failed", and the location of the panic is redundant with the diagnostic's span, which gets printed out even if its code is not shown. ``` error[E0080]: evaluation of constant value failed --> $DIR/assert-type-intrinsics.rs:11:9 | LL | MaybeUninit::<!>::uninit().assume_init(); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ evaluation panicked: aborted execution: attempted to instantiate uninhabited type `!` ``` ``` error[E0080]: evaluation of `Fail::<i32>::C` failed --> $DIR/collect-in-dead-closure.rs:9:19 | LL | const C: () = panic!(); | ^^^^^^^^ evaluation panicked: explicit panic | = note: this error originates in the macro `$crate::panic::panic_2015` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info) ``` ``` error[E0080]: evaluation of constant value failed --> $DIR/uninhabited.rs:41:9 | LL | assert!(false); | ^^^^^^^^^^^^^^ evaluation panicked: assertion failed: false | = note: this error originates in the macro `assert` (in Nightly builds, run with -Z macro-backtrace for more info) ``` --- When the primary span for a const error is the same as the first frame in the const error report, skip it. ``` error[E0080]: evaluation of constant value failed --> $DIR/issue-88434-removal-index-should-be-less.rs:3:24 | LL | const _CONST: &[u8] = &f(&[], |_| {}); | ^^^^^^^^^^^^^^ evaluation panicked: explicit panic | note: inside `f::<{closure@$DIR/issue-88434-removal-index-should-be-less.rs:3:31: 3:34}>` --> $DIR/issue-88434-removal-index-should-be-less.rs:10:5 | LL | panic!() | ^^^^^^^^ the failure occurred here = note: this error originates in the macro `$crate::panic::panic_2015` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info) ``` instead of ``` error[E0080]: evaluation of constant value failed --> $DIR/issue-88434-removal-index-should-be-less.rs:10:5 | LL | panic!() | ^^^^^^^^ explicit panic | note: inside `f::<{closure@$DIR/issue-88434-removal-index-should-be-less.rs:3:31: 3:34}>` --> $DIR/issue-88434-removal-index-should-be-less.rs:10:5 | LL | panic!() | ^^^^^^^^ note: inside `_CONST` --> $DIR/issue-88434-removal-index-should-be-less.rs:3:24 | LL | const _CONST: &[u8] = &f(&[], |_| {}); | ^^^^^^^^^^^^^^ = note: this error originates in the macro `$crate::panic::panic_2015` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info) ``` --- Revert order of constant evaluation errors Point at the code the user wrote first and std functions last. ``` error[E0080]: evaluation of constant value failed --> $DIR/const-errs-dont-conflict-103369.rs:5:25 | LL | impl ConstGenericTrait<{my_fn(1)}> for () {} | ^^^^^^^^ evaluation panicked: Some error occurred | note: called from `my_fn` --> $DIR/const-errs-dont-conflict-103369.rs:10:5 | LL | panic!("Some error occurred"); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ = note: this error originates in the macro `$crate::panic::panic_2015` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info) ``` instead of ``` error[E0080]: evaluation of constant value failed --> $DIR/const-errs-dont-conflict-103369.rs:10:5 | LL | panic!("Some error occurred"); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Some error occurred | note: called from `<() as ConstGenericTrait<{my_fn(1)}>>::{constant#0}` --> $DIR/const-errs-dont-conflict-103369.rs:5:25 | LL | impl ConstGenericTrait<{my_fn(1)}> for () {} | ^^^^^^^^ = note: this error originates in the macro `$crate::panic::panic_2015` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info) ```
2025-02-28use fixed-width integer types in C codeRalf Jung-36/+38
2025-02-28miri native-call support: all previously exposed provenance is accessible to ↵Ralf Jung-4/+55
the callee
2025-02-27Remove unneeded importAlice Ryhl-2/+0
2025-02-27Delete tuple unsizingAlice Ryhl-13/+0
2025-02-26Merge pull request #4210 from tiif/small-fix-2Oli Scherer-6/+2
Resolve more FIXMEs
2025-02-26fmtThe Miri Cronjob Bot-1/+0
2025-02-26Resolve more FIXMEstiif-6/+2
2025-02-25disable float non-determinism for now to be able to complete the syncRalf Jung-1/+3
2025-02-25Merge from rustcRalf Jung-3/+3
2025-02-24rename simd_shuffle_generic → simd_shuffle_const_genericRalf Jung-3/+3
2025-02-24Merge pull request #4193 from bjorn3/arm64_vpmaxq_u8Ralf Jung-0/+40
Implement vpmaxq_u8 on aarch64
2025-02-24add missing float non-determinism tests and skip some on ↵Ralf Jung-10/+24
i686-pc-windows-msvc that are internally implemented via f64
2025-02-24Merge from rustcRalf Jung-9/+81
2025-02-23rename sub_ptr 😅bendn-6/+6
2025-02-23Rollup merge of #137121 - bend-n:master, r=NoratriebMatthias Krüger-3/+0
stabilize `(const_)ptr_sub_ptr` Tracking issue: #95892 Closes #95892 FCP Completed: https://github.com/rust-lang/rust/issues/95892#issuecomment-2561139730 r? ````@Noratrieb````
2025-02-21Add testsbjorn3-0/+40