about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2024-05-21don't inhibit random field reordering on repr(packed(1))Ralf Jung-2/+2
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-90/+88
2024-05-21Auto merge of #125358 - matthiaskrgr:rollup-mx841tg, r=matthiaskrgrbors-0/+17
Rollup of 7 pull requests Successful merges: - #124570 (Miscellaneous cleanups) - #124772 (Refactor documentation for Apple targets) - #125011 (Add opt-for-size core lib feature flag) - #125218 (Migrate `run-make/no-intermediate-extras` to new `rmake.rs`) - #125225 (Use functions from `crt_externs.h` on iOS/tvOS/watchOS/visionOS) - #125266 (compiler: add simd_ctpop intrinsic) - #125348 (Small fixes to `std::path::absolute` docs) Failed merges: - #125296 (Fix `unexpected_cfgs` lint on std) r? `@ghost` `@rustbot` modify labels: rollup
2024-05-21Rollup merge of #125266 - workingjubilee:stream-plastic-love, r=RalfJung,nikicMatthias Krüger-0/+17
compiler: add simd_ctpop intrinsic Fairly straightforward addition. cc `@rust-lang/opsem` new (extremely boring) intrinsic
2024-05-20Fix miri tooMichael Goulet-3/+3
2024-05-20Use `throw_unsup_format` instead of returning `ENOTSUP` in the mmap shimmarc0246-42/+15
2024-05-19miri: support simd_ctpopJubilee Young-0/+17
2024-05-19Rollup merge of #125286 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-604/+1296
Miri subtree update r? `@ghost`
2024-05-19Auto merge of #3319 - bjorn3:some_more_shims, r=RalfJungbors-48/+168
Directly implement native exception raise methods in miri This implements the `_Unwind_RaiseException` function used on pretty much every unix system for starting unwinding. This allows removing the miri special case from libpanic_unwind for unix. Windows still needs `miri_start_unwind` as SEH unwinding isn't supported by miri. Unlike DWARF unwinding, SEH preserves all stack frames until right after the do_catch function has executed. Because of this panic_unwind stack allocates the exception object. Miri can't currently model unwinding without destroying stack frames and as such will report a use-after-free of the exception object.
2024-05-19various small nitsRalf Jung-69/+72
- share implementation with miri_starting_unwind - make test use a custom unwinding class - extend comments - use NeedsUnwind more consistently
2024-05-19Directly implement native exception raise methods in miribjorn3-1/+118
Windows still needs the old custom ABI as SEH unwinding isn't supported by miri. Unlike DWARF unwinding it preserves all stack frames until right after the do_catch function has executed. Because of this panic_unwind stack allocates the exception object. Miri can't currently model unwinding without destroying stack frames and as such will report a use-after-free of the exception object.
2024-05-19use a little arg-parsing helper for miri-scriptRalf Jung-147/+262
2024-05-19test wasm32-wasip2 instead of the deprecated wasm32-wasi targetRalf Jung-2/+2
2024-05-19properly print error in 'cargo miri setup --print-sysroot'Ralf Jung-58/+36
2024-05-19Auto merge of #3616 - RalfJung:android, r=RalfJungbors-37/+79
make basic things work on Android Fixes https://github.com/rust-lang/miri/issues/3608
2024-05-19Auto merge of #3585 - devnexen:aligned_alloc, r=RalfJungbors-44/+171
support aligned_alloc for unixes. Fixes https://github.com/rust-lang/miri/issues/3577
2024-05-19make basic things work on AndroidRalf Jung-37/+79
2024-05-19a bit of refactoring and tweak the aligned-allocation testsRalf Jung-62/+61
2024-05-19Preparing for merge from rustcRalf Jung-1/+1
2024-05-18Fix typos (taking into account review comments)blyxyas-18/+18
2024-05-18support aligned_alloc for unixes support.David Carlier-0/+128
2024-05-17Ignore the Helix configuration directorymarc0246-0/+1
2024-05-17Auto merge of #3603 - Luv-Ray:issue-3572, r=RalfJungbors-19/+28
Give `FileDescription::{read, write}` access to the `MiriInterpCx ` fixes #3572
2024-05-17Auto merge of #3526 - Strophox:miri-memory, r=RalfJungbors-6/+119
Adjust Allocation Bytes used by Miri to custom MiriAllocBytes Previously, the `MiriMachine` used `type Bytes = Box<[u8]>` for its allocations. This PR swaps this out for a custom `MiriAllocBytes` type implemented in `alloc_bytes.rs`. This is in anticipation of an extension to Miri's FFI, which will require its allocations to take care of alignment (the methods in `impl AllocBytes for Box<[u8]>` ignore this `_align: Align` argument). Needs https://github.com/rust-lang/rust/pull/124492
2024-05-16start implementing MiriAllocBytesStrophox-6/+119
attempt changing Bytes in MiriMachine to MiriAllocBytes rename miri_alloc_bytes to alloc_bytes generalize impl VisitProvenance for Allocation for any Bytes: AllocBytes mend MiriAllocBytes -> Self::Bytes fix Invariant documentation and bugs (drop), impl Clone Update MiriAllocBytes description Co-authored-by: Ralf Jung <post@ralfj.de> Rephrase MiriAllocBytes ptr invariant Co-authored-by: Ralf Jung <post@ralfj.de> Update MiriAllocBytes ptr documentation Co-authored-by: Ralf Jung <post@ralfj.de> fix safety comment in MiriAllocBytes::clone fix safety comment in MiriAllocBytes::from_bytes try implementing clone without unsafe remove derive(PartialEq,Eq,Hash), fix fmt move ptr.is_null() check inside only necessary branch use std::ptr::without_provenance_mut, requiring feature(strict_provenance) align.bytes_usize() instead of align.bytes().try_into().unwrap() Update src/provenance_gc.rs Co-authored-by: Ralf Jung <post@ralfj.de> fix clippy error on deref
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-41/+97
2024-05-16Preparing for merge from rustcRalf Jung-1/+1
2024-05-13Give `FileDescription::{read, write}` access to the `InterpCx`Luv-Ray-19/+28
2024-05-13Auto merge of #3604 - RalfJung:intrinsics, r=RalfJungbors-36/+36
intrinsics: just panic when they get used incorrectly This is already what we do most of the time, so do it consistently.
2024-05-13intrinsics: just panic when they get used incorrectlyRalf Jung-36/+36
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-327/+64
2024-05-12Auto merge of #3575 - devnexen:illumos_part3, r=RalfJungbors-4/+14
Illumos part3 Fixes https://github.com/rust-lang/miri/issues/3567
2024-05-12further illumos/solaris support.David Carlier-4/+14
fixing part of `miri test alloc/hashmap`.
2024-05-12Auto merge of #3599 - saethlin:quiet-when-no-change, r=RalfJungbors-21/+35
Don't print unnecessary sysroot messages Currently, when running `cargo miri setup`, we always print that a sysroot is being prepared, even if we just bail out of building after checking the hash. So that message is wrong; we didn't actually prepare a sysroot. We also always print the preparing message for `cargo miri run`, even if no sysroot is prepared. With this PR, `cargo miri run` prints no sysroot messages when an existing one is reused, and when a redundant `cargo miri setup` is requested, we print: ``` A sysroot for Miri is already available in `/home/ben/.cache/miri`. ```
2024-05-12Don't print unnecessary sysroot messagesBen Kimock-21/+35
2024-05-12Preparing for merge from rustcRalf Jung-1/+1
2024-05-12merge two integer testsRalf Jung-58/+61
2024-05-12merge float tests into oneRalf Jung-66/+67
2024-05-12organize float intrinsic implementations a bitRalf Jung-102/+92
2024-05-12Add non-null pointer for posix_memaligntiif-14/+73
2024-05-11Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJungbors-0/+54
support `f*_algebraic` supports the [`f*_algebraic`](https://doc.rust-lang.org/std/intrinsics/fn.fadd_algebraic.html) intrinsics.
2024-05-11support `f*_algebraic`bendn-0/+54
2024-05-11Auto merge of #3598 - RalfJung:heap, r=RalfJungbors-38/+74
alloc: update comments around malloc() alignment Also separate the C heap shims form the Windows heap shims; their guarantees aren't quite the same.
2024-05-11separate windows heap functions from C heap shimsRalf Jung-33/+56
2024-05-11alloc: update comments around malloc() alignmentRalf Jung-8/+21
2024-05-11Merge from rustcThe Miri Cronjob Bot-35/+70
2024-05-11Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-333/+283
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-6/+5
Make `Ty::builtin_deref` just return a `Ty` Nowhere in the compiler are we using the mutability part of the `TyAndMut` that we used to return.
2024-05-09Make builtin_deref just return a TyMichael Goulet-6/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 20:30:34 +0000