about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2024-11-13Merge pull request #3939 from tiif/blockeventfdOli Scherer-109/+491
Implement blocking eventfd
2024-11-13Implement blocking eventfdtiif-109/+491
2024-11-12Renamed this to ecxYoh Deadfall-34/+31
2024-11-11Renamed this arguments to ecxYoh Deadfall-383/+382
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-2/+38
2024-11-11typoRalf Jung-3/+3
2024-11-11sync support: dont implicitly clone inside the general sync machineryRalf Jung-38/+64
2024-11-11Merge pull request #4002 from tiif/leakythreadRalf Jung-86/+109
Remove MutexID list
2024-11-11Remove MutexID listtiif-86/+111
2024-11-10Preparing for merge from rustcRalf Jung-1/+1
2024-11-10fix linux-futex test being accidentally disabledRalf Jung-3/+2
2024-11-10store futexes in per-allocation data rather than globallyRalf Jung-55/+122
2024-11-10Merge from rustcRalf Jung-22/+26
2024-11-10Preparing for merge from rustcRalf Jung-1/+1
2024-11-09Pass TyCtxt instead of Queries to the after_analysis callbacksbjorn3-44/+38
There is no other query that may need to be called at that point anyway.
2024-11-09make return type of get_alloc_info a struct, and reduce some code ↵Ralf Jung-20/+20
duplication with validity checking
2024-11-09Merge pull request #4020 from RalfJung/thread-sopeRalf Jung-0/+24
pthread-sync test: use thread::scope for more reliable thread scoping
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-7/+7
2024-11-09pthread-sync: avoid confusing error when running with preemptionRalf Jung-0/+24
2024-11-09Merge from rustcThe Miri Cronjob Bot-1/+25
2024-11-09Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-08Merge pull request #4004 from YohDeadfall/thread-name-ice-fixRalf Jung-109/+192
Get/set thread name shims return errors for invalid handles
2024-11-08Get/set thread name shims return errors for invalid handlesYoh Deadfall-109/+192
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic ↵Ralf Jung-1/+1
functions instead
2024-11-07Renamed ecx variales to thisYoh Deadfall-36/+36
2024-11-04miri: update ABI compat checks to accept Option-like typesRalf Jung-0/+24
2024-11-03Merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-02Auto merge of #125579 - Noratrieb:print-host, r=davidtwcobors-1/+1
Add `--print host-tuple` to print host target tuple People often parse `-vV` output to get to the host tuple, which is annoying to do. It's easier to just get it directly. I called it "host-tuple" instead of "host" because it's clearer that it's just the target name. I'm open to different names, but I think this one is fine. a quick GitHub search for `'^host` reveals many instances of people doing the parsing, for example: https://github.com/japaric/xargo/blob/68e0ca57cd90837fe02f262f074182f9cfeb6227/README.md?plain=1#L369 https://github.com/taiki-e/setup-cross-toolchain-action/blob/0e38473b0c562d6db19a98d3ec20a80f7ac189ae/main.sh#L96 https://github.com/taiki-e/cargo-llvm-cov/blob/8a3553b86551eabf9c30c060b1f72a5bbccb98c6/README.md?plain=1#L625 https://github.com/SiliconLabs/cpc-nvm3/blob/43f3ec39709b30700ef7f39d91fa647974323bf1/do.sh#L35 needs a compiler FCP. I could also do an MCP but I think just an FCP here makes the most sense.
2024-11-02teach clippy about IeeeFloat, and make all 'allow' into 'expect'Ralf Jung-39/+28
2024-11-02Merge from rustcRalf Jung-486/+523
2024-11-02Preparing for merge from rustcRalf Jung-1/+1
2024-11-02Rename target triple to target tuple in many places in the compilerNoratrieb-1/+1
This changes the naming to the new naming, used by `--print target-tuple`. It does not change all locations, but many.
2024-11-02miri: Directly use rustc_abiJubilee Young-485/+526
2024-11-01Add benchmark showing effectivity of subtree skippingJohannes Hostert-0/+23
2024-10-31silence clippyRalf Jung-0/+2
2024-10-31fmtThe Miri Cronjob Bot-1/+1
2024-10-31Merge from rustcThe Miri Cronjob Bot-9/+20
2024-10-31Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-31Merge pull request #4003 from YohDeadfall/windows-shim-typoBen Kimock-1/+1
Fixed a typo in the GetThreadDescription shim
2024-10-31Fixed a typo in the GetThreadDescription shimYoh Deadfall-1/+1
2024-10-30Merge pull request #4000 from noahmbright/futexRalf Jung-4/+18
Change futex_wait errno from Scalar to IoError
2024-10-30Change futex_wait errno from Scalar to IoErrorNoah Bright-4/+18
To shift more Scalars to IoErrors, implement this change, allowing for a few other changes in the Linux and Windows shims. This also requires introducing a WindowsError variant in the IoError enum and implementing the VisitProvenance trait for IoErrors.
2024-10-30Merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-30Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-29miri: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-9/+20
2024-10-29Rollup merge of #132233 - WaffleLapkin:box-module-split, r=workingjubileeJubilee-1/+1
Split `boxed.rs` into a few modules I wanted to add an impl for `Box<_>`, but was quickly discouraged by the 3K file. This splits off a couple bits, making it at least a bit more manageable. r? ````@workingjubilee```` (I think you are not bothered by refactorings like this?)
2024-10-28Bless a miri testMaybe Lapkin-1/+1
After moving some `Box` internals to a different module, the path in the diagnostic changed.
2024-10-28Merge pull request #3998 from RalfJung/contribOli Scherer-8/+19
contributing guide: mention expectations around force pushes and squashing
2024-10-28contributing guide: mention expectations around force pushes and squashingRalf Jung-8/+19