about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2025-04-04cargo updateRalf Jung-495/+546
2025-04-04semver-bump some dependenciesRalf Jung-230/+133
2025-04-03Stabilize the `cell_update` featureTrevor Gross-1/+0
Included API: impl<T: Copy> Cell<T> { pub fn update(&self, f: impl FnOnce(T) -> T); } Closes: https://github.com/rust-lang/rust/issues/50186
2025-04-03Add another Miri-detected bug to README.mdAlan Somers-0/+1
Miri detected this bug in Mockall: https://github.com/asomers/mockall/issues/647 [skip ci]
2025-04-03test-cargo-miri: permissive provenance should not be needed any moreRalf Jung-7/+2
2025-04-03fix comment nitRalf Jung-2/+1
2025-04-03visit_freeze_sensitive: add commentRalf Jung-0/+3
2025-04-02Merge from rustcRalf Jung-1/+1
2025-04-02Preparing for merge from rustcRalf Jung-1/+1
2025-04-01interpret: add a version of run_for_validation for &selfRalf Jung-1/+1
2025-03-31Merge pull request #4243 from RalfJung/env-cleanup-too-muchRalf Jung-3/+7
do not run EnvVars::cleanup if there was an interpreter error
2025-03-31do not run EnvVars::cleanup if there was an interpreter errorRalf Jung-3/+7
2025-03-28Merge pull request #4242 from RalfJung/clock-namesRalf Jung-30/+34
machine clock: make 'monotonic' explicit
2025-03-28machine clock: make 'monotonic' explicitRalf Jung-30/+34
2025-03-28cache mangle_internal_symbol resultsRalf Jung-33/+40
2025-03-27Rename `--runtool` and `--runtool-arg`Eric Huss-6/+6
This renames `--runtool` and `--runtool-arg` to `--test-runtool` and `--test-runtool-arg` to maintain consistency with other `--test-*` arguments.
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-4/+4
2025-03-21Merge pull request #4236 from RalfJung/rustupRalf Jung-1/+4
Rustup
2025-03-21Merge from rustcRalf Jung-0/+3
2025-03-21Preparing for merge from rustcRalf Jung-1/+1
2025-03-21catch_unwind: do not permit catch function to unwindRalf Jung-1/+2
2025-03-20interpret memory access hooks: also pass through the Pointer used for the accessRalf Jung-0/+3
2025-03-20Merge from rustcThe Miri Cronjob Bot-23/+66
2025-03-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-17Auto merge of #127173 - bjorn3:mangle_rustc_std_internal_symbol, ↵bors-19/+64
r=wesleywiser,jieyouxu Mangle rustc_std_internal_symbols functions This reduces the risk of issues when using a staticlib or rust dylib compiled with a different rustc version in a rust program. Currently this will either (in the case of staticlib) cause a linker error due to duplicate symbol definitions, or (in the case of rust dylibs) cause rustc_std_internal_symbols functions to be silently overridden. As rust gets more commonly used inside the implementation of libraries consumed with a C interface (like Spidermonkey, Ruby YJIT (curently has to do partial linking of all rust code to hide all symbols not part of the C api), the Rusticl OpenCL implementation in mesa) this is becoming much more of an issue. With this PR the only symbols remaining with an unmangled name are rust_eh_personality (LLVM doesn't allow renaming it) and `__rust_no_alloc_shim_is_unstable`. Helps mitigate https://github.com/rust-lang/rust/issues/104707 try-job: aarch64-gnu-debug try-job: aarch64-apple try-job: x86_64-apple-1 try-job: x86_64-mingw-1 try-job: i686-mingw-1 try-job: x86_64-msvc-1 try-job: i686-msvc-1 try-job: test-various try-job: armhf-gnu
2025-03-17Auto merge of #137081 - ↵bors-2/+2
Shourya742:2025-02-15-change-config.toml-to-bootstrap.toml, r=onur-ozkan,jieyouxu,kobzol change config.toml to bootstrap.toml Currently, both Bootstrap and Cargo uses same name as their configuration file, which can be confusing. This PR is based on a discussion to rename `config.toml` to `bootstrap.toml` for Bootstrap. Closes: https://github.com/rust-lang/rust/issues/126875. I have split the PR into atomic commits to make it easier to review. Once the changes are finalized, I will squash them. I am particularly concerned about the changes made to modules that are not part of Bootstrap. How should we handle those changes? Should we ping the respective maintainers?
2025-03-17Fix miribjorn3-19/+64
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-17replace config.toml to bootstrap.toml in src:toolsbit-aloo-2/+2
2025-03-16Merge from rustcThe Miri Cronjob Bot-8/+0
2025-03-16Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-15Merge from rustcThe Miri Cronjob Bot-2/+2
2025-03-15Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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-81/+91
2025-03-14Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-03-14Auto merge of #138157 - scottmcm:inline-more-tiny-things, r=oli-obkbors-2/+2
Allow more top-down inlining for single-BB callees 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. Fixes #138136 ~~Draft as it's built atop #138135, which adds a mir-opt test that's a nice demonstration of this. To see just this change, look at <https://github.com/rust-lang/rust/pull/138157/commits/48f63e3be552605c2933056b77bf23a326757f92>~~ Rebased to be just the inlining change, as the other existing tests show it great.
2025-03-13Rollup merge of #138417 - RalfJung:interpret-cleanup, r=oli-obkMatthias Krüger-50/+60
minor interpreter cleanups - remove the `eval_inline_asm` hook that `@saethlin` added; the usage never materialized and he agreed with removing it - I tried merging `init_alloc_extra` and `adjust_global_allocation` and it didn't work; leave a comment as to why. Also, make the allocation code path a bit more clear by renaming `init_alloc_extra` to `init_local_allocation`. r? `@oli-obk`
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-7/+161
FnAbi Compatability check
2025-03-12added check_shim_abigeetanshjuneja-7/+161
added input arg mismatch test added detailed ub messages added return type mismatch test
2025-03-12alloc_addresses: use MemoryKind instead of tcx query to determine global ↵Ralf Jung-2/+5
allocations
2025-03-12minor interpret cleanupsRalf Jung-50/+60
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-4/+30
2025-03-12impl Display for Convtiif-2/+1