| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-01-18 | Update tests for std::simd subtree sync | Caleb Zulawski | -1/+1 | |
| 2025-01-15 | Less unsafe in `dangling`/`without_provenance` | Scott McMurray | -50/+22 | |
| 2025-01-08 | [mir-opt] GVN some more transmute cases | Scott McMurray | -3/+3 | |
| We already did `Transmute`-then-`PtrToPtr`; this adds the nearly-identical `PtrToPtr`-then-`Transmute`. It also adds `transmute(Foo(x))` → `transmute(x)`, when `Foo` is a single-field transparent type. That's useful for things like `NonNull { pointer: p }.as_ptr()`. Found these as I was looking at MCP807-related changes. | ||||
| 2024-09-24 | be even more precise about "cast" vs "coercion" | Lukas Markeffsky | -1/+1 | |
| 2024-08-18 | Bless *all* the mir-opt tests | Scott McMurray | -5/+5 | |
| 2024-06-26 | Bless mir-opt for excluded alloc bytes | Josh Stone | -10/+4 | |
| 2024-06-19 | Ban `ArrayToPointer` and `MutToConstPointer` from runtime MIR | Scott McMurray | -1/+1 | |
| Apparently MIR borrowck cares about at least one of these for checking variance. In runtime MIR, though, there's no need for them as `PtrToPtr` does the same thing. (Banning them simplifies passes like GVN that no longer need to handle multiple cast possibilities.) | ||||
| 2024-04-18 | At debuginfo=0, don't inline debuginfo when inlining | Scott McMurray | -4/+0 | |
| 2024-04-03 | Remove MIR unsafe check | Matthew Jasper | -22/+16 | |
| This also remove safety information from MIR. | ||||
| 2024-03-23 | refactor check_{lang,library}_ub: use a single intrinsic, put policy into ↵ | Ralf Jung | -1/+5 | |
| library | ||||
| 2024-03-08 | Distinguish between library and lang UB in assert_unsafe_precondition | Ben Kimock | -4/+8 | |
| 2024-02-21 | rename ptr::invalid -> ptr::without_provenance | Ralf Jung | -8/+10 | |
| also introduce ptr::dangling matching NonNull::dangling | ||||
| 2024-02-09 | Const-prop pointers. | Camille GILLOT | -8/+26 | |
| 2024-02-08 | Bless/fix tests | Ben Kimock | -34/+29 | |
| 2024-01-11 | Sandwich MIR optimizations between DSE. | Camille GILLOT | -6/+9 | |
| 2023-12-24 | Replace legacy ConstProp by GVN. | Camille GILLOT | -0/+102 | |
