| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-27 | miri: for ABI mismatch errors, say which argument is the problem | Ralf Jung | -2/+2 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -3/+3 | |
| 2025-05-26 | Auto merge of #141406 - RalfJung:less-force-allocate, r=oli-obk | bors | -2/+2 | |
| interpret: do not force_allocate all return places A while ago I cleaned up our `PlaceTy` a little, but as a side-effect of that, return places had to always be force-allocated. That turns out to cause quite a few extra allocations, and for a project we are doing where we marry Miri with a model checker, that means a lot of extra work -- local variables are just so much easier to reason about than allocations. So, this PR brings back the ability to have the return place be just a local of the caller. To make this work cleanly I had to rework stack pop handling a bit, which also changes the output of Miri in some cases as the span for errors occurring during a particular phase of stack pop changed. With these changes, a no-std binary with a function of functions that just take and return scalar types and that uses no pointers now does not move *any* local variables into memory. :) r? `@oli-obk` | ||||
| 2025-05-24 | rename internal panicking::try to catch_unwind | Ralf Jung | -4/+4 | |
| 2025-05-22 | interpret: do not force_allocate all return places | Ralf Jung | -2/+2 | |
| 2025-03-12 | bless test | tiif | -3/+3 | |
| 2025-01-24 | bless miri test | Waffle Lapkin | -2/+2 | |
| I'm not sure why the span improved but that's nice! | ||||
| 2025-01-11 | avoid nesting the user-defined main so deeply on the stack | Ralf Jung | -7/+3 | |
| 2025-01-11 | use a single large catch_unwind in lang_start | Ralf Jung | -3/+7 | |
| 2024-10-18 | tail_calls: add test ensuring local vars are indeed gone | Ralf Jung | -0/+46 | |
| 2024-10-02 | bless miri tests | joboet | -3/+3 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -2/+2 | |
| 2024-07-07 | Fixup a typo in a comment in a test | Maybe Lapkin | -1/+1 | |
| 2024-07-07 | Fix conflicts after rebase | Maybe Lapkin | -2/+2 | |
| - r-l/r 126784 - r-l/r 127113 - r-l/miri 3562 | ||||
| 2024-07-07 | add miri tests and a fixme | Maybe Waffle | -0/+69 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |