| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-09 | miri: fix out-of-bounds error for ptrs with negative offsets | Ralf Jung | -0/+27 | |
| 2025-06-27 | Update dangling_pointer_to_raw_pointer.rs | leopardracer | -1/+1 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -20/+20 | |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and ↵ | Ralf Jung | -33/+33 | |
| accesses | ||||
| 2024-10-21 | move strict provenance lints to new feature gate, remove old feature gates | Ralf Jung | -3/+0 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -55/+55 | |
| 2024-08-18 | stabilize raw_ref_op | Ralf Jung | -1/+0 | |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -2/+2 | |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -22/+22 | |
| 2024-07-14 | add test for intermediate reference in '&(*x).0 as *const i32' | Ralf Jung | -0/+40 | |
| 2024-05-13 | offset, offset_from: allow zero-byte offset on arbitrary pointers | Ralf Jung | -121/+0 | |
| 2024-04-24 | avoid 'let _' in tests where we actually want the value to be computed | Ralf Jung | -3/+3 | |
| 2024-02-21 | rename ptr::invalid -> ptr::without_provenance | Ralf Jung | -2/+2 | |
| also introduce ptr::dangling matching NonNull::dangling | ||||
| 2024-01-02 | Allow unused tuple struct fields in Miri tests | Jake Goulding | -1/+1 | |
| Otherwise the newly-detected dead code causes new output | ||||
| 2023-11-24 | Bless Miri tests | Nilstrieb | -24/+24 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-30 | make sure we catch UB with _ pattern in various syntactic positions | Ralf Jung | -4/+81 | |
| 2023-10-28 | fmt | The Miri Conjob Bot | -1/+0 | |
| 2023-10-27 | Auto merge of #103208 - cjgillot:match-fake-read, r=oli-obk,RalfJung | bors | -0/+32 | |
| Allow partially moved values in match This PR attempts to unify the behaviour between `let _ = PLACE`, `let _: TY = PLACE;` and `match PLACE { _ => {} }`. The logical conclusion is that the `match` version should not check for uninitialised places nor check that borrows are still live. The `match PLACE {}` case is handled by keeping a `FakeRead` in the unreachable fallback case to verify that `PLACE` has a legal value. Schematically, `match PLACE { arms }` in surface rust becomes in MIR: ```rust PlaceMention(PLACE) match PLACE { // Decision tree for the explicit arms arms, // An extra fallback arm _ => { FakeRead(ForMatchedPlace, PLACE); unreachable } } ``` `match *borrow { _ => {} }` continues to check that `*borrow` is live, but does not read the value. `match *borrow {}` both checks that `*borrow` is live, and fake-reads the value. Continuation of ~https://github.com/rust-lang/rust/pull/102256~ ~https://github.com/rust-lang/rust/pull/104844~ Fixes https://github.com/rust-lang/rust/issues/99180 https://github.com/rust-lang/rust/issues/53114 | ||||
| 2023-10-25 | Stabilize `[const_]pointer_byte_offsets` | Maybe Waffle | -4/+0 | |
| 2023-10-24 | Add miri tests. | Camille GILLOT | -0/+32 | |
| 2023-10-17 | fmt | The Miri Conjob Bot | -2/+2 | |
| 2023-10-15 | more precise error for 'based on misaligned pointer' case | Ralf Jung | -26/+31 | |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -116/+141 | |
| 2023-08-25 | Record allocation spans inside force_allocation | Ben Kimock | -3/+62 | |
| 2023-08-16 | on out-of-bounds error, show where the allocation was created | Ralf Jung | -2/+14 | |
| 2023-08-11 | Include spans in use-after-free diagnostics | Ben Kimock | -5/+55 | |
| 2023-08-01 | properly track why we checked whether a pointer is in-bounds | Ralf Jung | -17/+43 | |
| also simplify the in-bounds checking in Miri's borrow trackers | ||||
| 2023-07-14 | remove compile-flags that are no longer needed | Ralf Jung | -20/+7 | |
| 2023-06-15 | Extend `unused_must_use` to cover block exprs | 许杰友 Jieyou Xu (Joe) | -3/+3 | |
| 2023-04-30 | Update MIRI compiletests | Scott McMurray | -3/+3 | |
| 2023-04-21 | Actually keep `PlaceMention` if requested. | Camille GILLOT | -3/+5 | |
| 2023-04-21 | Evaluate place expression in `PlaceMention`. | Camille GILLOT | -0/+26 | |
| 2022-12-06 | Reintroduce the span printing in miri (plus point to spans where possible) | Oli Scherer | -17/+17 | |
| 2022-12-06 | Remove now-redundant file/line info from const backtraces | Oli Scherer | -18/+18 | |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+427 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |