about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2023-12-05simd numeric intrinsics: share code with scalar intrinsicRalf Jung-12/+1
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-3/+46
2023-12-05fix typo in commentRalf Jung-1/+1
2023-12-05fmtThe Miri Conjob Bot-20/+24
2023-12-05Merge from rustcThe Miri Conjob Bot-21/+89
2023-12-05Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-04Avoid adding compiler-used functions to `symbols.o`DianQK-0/+1
2023-12-04Rollup merge of #118540 - RalfJung:unsized-packed-offset, r=TaKO8KiTakayuki Maeda-0/+73
codegen, miri: fix computing the offset of an unsized field in a packed struct `#[repr(packed)]` strikes again. Fixes https://github.com/rust-lang/rust/issues/118537 Fixes https://github.com/rust-lang/miri/issues/3200 `@bjorn3` I assume cranelift needs the same fix.
2023-12-04fix clippyRalf Jung-1/+2
2023-12-04fmtThe Miri Conjob Bot-10/+2
2023-12-04Merge from rustcThe Miri Conjob Bot-103/+206
2023-12-04Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-04Auto merge of #116915 - bend-n:unwet, r=saethlinbors-21/+16
Add an assume that the index is inbounds to slice::get_unchecked Fixes #116878
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-21/+16
2023-12-03Auto merge of #117840 - RalfJung:miri-promise-align, r=cjgillotbors-96/+191
miri: support 'promising' alignment for symbolic alignment check Then use that ability in `slice::align_to`, so that even with `-Zmiri-symbolic-alignment-check`, it no longer has to return spuriously empty "middle" parts. Fixes https://github.com/rust-lang/miri/issues/3068
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-96/+191
2023-12-03SIMD bitmasks: use 'round up to multiple of 8' rather than 'clamp to at least 8'Ralf Jung-13/+16
2023-12-03Auto merge of #113730 - belovdv:jobserver-init-check, r=petrochenkovbors-0/+8
Report errors in jobserver inherited through environment variables This pr attempts to catch situations, when jobserver exists, but is not being inherited. r? `@petrochenkov`
2023-12-03disable a test that currently fails on big-endianRalf Jung-5/+9
2023-12-03also test directly calling simd_select_bitmaskRalf Jung-4/+39
2023-12-03handle the array case consistently for simd_select_bitmask and simd_bitmaskRalf Jung-43/+45
also move the two next to each other
2023-12-03also test simd_select_bitmask on arrays for less than 8 elementsRalf Jung-1/+6
2023-12-03Fix miri script target dir and update doc linkJefffrey-3/+4
2023-12-03Auto merge of #118567 - RalfJung:miri, r=RalfJungbors-30/+105
Miri subtree update r? `@ghost`
2023-12-03Auto merge of #3204 - RalfJung:simd, r=RalfJungbors-5/+74
add new SIMD intrinsics
2023-12-03add simd_bswap and simd_bitreverseRalf Jung-0/+19
2023-12-03add simd_cttz and simd_ctlzRalf Jung-2/+27
2023-12-03simd_select_bitmask: support passing the mask as an arrayRalf Jung-3/+28
2023-12-03new trophy case entryRalf Jung-0/+1
2023-12-03codegen, miri: fix computing the offset of an unsized field in a packed structRalf Jung-0/+73
2023-12-03Auto merge of #118487 - RalfJung:exposed-provenance, r=thomccbors-7/+7
move exposed-provenance APIs into separate feature gate We have already stated explicitly for all the 'exposed' functions that > Using this method means that code is *not* following strict provenance rules. However, they were part of the same feature gate and still described as part of the strict provenance experiment. Unfortunately, their semantics are much less clear and certainly nowhere near stabilization, so in preparation for an attempt to stabilize the strict provenance APIs, I suggest we split the things related to "exposed" into their own feature gate. I also used this opportunity to better explain how Exposed Provenance fits into the larger plan here: this is *one possible candidate* for `as` semantics, but we don't know if it is actually viable, so we can't really promise that it is equivalent to `as`. If it works out we probably want to make `as` equivalent to the 'exposed' APIs; if it doesn't, we will remove them again and try to find some other semantics for `as`.
2023-12-03Merge from rustcThe Miri Conjob Bot-9/+7
2023-12-03Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-02Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, ↵bors-9/+7
r=workingjubilee Portable SIMD subtree update Syncs nightly to the latest changes from rust-lang/portable-simd r? `@rust-lang/libs`
2023-12-02Merge from rustcRalf Jung-5/+5
2023-12-02Preparing for merge from rustcRalf Jung-1/+1
2023-12-02Rename `*note_without_error` as `*note`.Nicholas Nethercote-4/+4
Because the variant name in `Level` is `Note`, and the `without_error` suffix is omitted in similar cases like `struct_allow` and `struct_help`.
2023-12-02Rename `Handler::span_note_diag` as `struct_span_note`.Nicholas Nethercote-1/+1
Because `span_note_diag` doesn't follow the naming structure used for the error reporting functions.
2023-11-30move exposed-provenance APIs into separate feature gate and explain the ↵Ralf Jung-7/+7
relationship of Exposed Provenance and Strict Provenance
2023-11-30give macOS some extra time, it needs thatRalf Jung-1/+1
2023-11-30move some validity-related tests into subdirRalf Jung-8/+8
2023-11-30move 'uninit' tests into common directoryRalf Jung-2/+4
2023-11-30Merge from rustcRalf Jung-26/+42
2023-11-30Preparing for merge from rustcRalf Jung-1/+1
2023-11-30Auto merge of #118408 - RalfJung:aggregate-assign-uninit, r=saethlinbors-0/+42
miri: add test checking that aggregate assignments reset memory to uninit Also, `write_aggregate` is really just a helper for evaluating `Aggregate` rvalues, so it should be in `step.rs`, not `place.rs`. Also factor out `Repeat` rvalues into their own function while we are at it. r? `@saethlin` Fixes https://github.com/rust-lang/miri/issues/3195
2023-11-29jobserver: check file descriptorsbelovdv-0/+8
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+9
2023-11-28Remove Stacked Borrows GC heuristicsBen Kimock-13/+7
2023-11-28add test checking that aggregate assignments reset memory to uninit firstRalf Jung-0/+42
2023-11-28Remove dead codesr0cky-26/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 22:52:51 +0000