| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-12-11 | Bump the const eval step limit | Oli Scherer | -4/+4 | |
| 2022-10-20 | Do not suggest trivially false const predicates | Michael Goulet | -20/+0 | |
| 2022-10-07 | make const_err a hard error | Ralf Jung | -3039/+560 | |
| 2022-10-01 | bless ui tests | Maybe Waffle | -216/+216 | |
| 2022-09-27 | Rollup merge of #102281 - RalfJung:invalid-enums, r=cjgillot | Matthias Krüger | -44/+45 | |
| make invalid_value lint a bit smarter around enums Fixes https://github.com/rust-lang/rust/issues/102043 | ||||
| 2022-09-27 | also query type_uninhabited_from | Ralf Jung | -36/+37 | |
| 2022-09-26 | Rollup merge of #102181 - inquisitivecrystal:issue-100878-test, ↵ | Matthias Krüger | -0/+8 | |
| r=Mark-Simulacrum Add regression test This adds a regression test for issue #100878. Closes #100878. | ||||
| 2022-09-26 | make invalid_value lint a bit smarter around enums | Ralf Jung | -8/+8 | |
| 2022-09-24 | Note the type when unable to drop values in compile time | Deadbeef | -18/+18 | |
| 2022-09-23 | Add regression test for issue #100878 | inquisitivecrystal | -0/+8 | |
| 2022-09-16 | bless tests | Deadbeef | -4/+4 | |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 | |
| This PR will fix some typos detected by [typos]. I only picked the ones I was sure were spelling errors to fix, mostly in the comments. [typos]: https://github.com/crate-ci/typos | ||||
| 2022-08-27 | adjust tests | Ralf Jung | -0/+216 | |
| 2022-08-27 | Rollup merge of #96240 - fee1-dead-contrib:stabilize_const_offset_from, ↵ | Yuki Okushi | -1/+0 | |
| r=Mark-Simulacrum Stabilize `const_ptr_offset_from`. Stabilization has been completed [here](https://github.com/rust-lang/rust/issues/92980#issuecomment-1065644848) with a FCP. Closes #92980. | ||||
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry ↵ | Ralf Jung | -372/+252 | |
| initialized Scalar | ||||
| 2022-08-25 | Stabilize `const_ptr_offset_from`. | Deadbeef | -1/+0 | |
| Stabilization has been completed [here](https://github.com/rust-lang/rust/issues/92980#issuecomment-1065644848) with a FCP. | ||||
| 2022-08-06 | make NOP dyn casts not require anything about the vtable | Ralf Jung | -20/+38 | |
| 2022-07-26 | bless tests, remove nonexistent E0395 | Deadbeef | -10/+41 | |
| 2022-07-22 | Rollup merge of #99393 - ↵ | Dylan DPC | -2/+2 | |
| Logarithmus:feature/99255-omit-const-generic-suffixes, r=petrochenkov feat: omit suffixes in const generics (e.g. `1_i32`) Closes #99255 | ||||
| 2022-07-20 | bless some tests | Ralf Jung | -52/+39 | |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -160/+175 | |
| 2022-07-19 | Mention first and last macro in backtrace | Michael Goulet | -38/+38 | |
| 2022-07-19 | feat: omit suffixes in const generics (e.g. `1_i32`) | Artur Sinila | -2/+2 | |
| Closes #99255 | ||||
| 2022-07-09 | Partially stabilize const_slice_from_raw_parts | Konrad Borowski | -1/+0 | |
| This doesn't stabilize methods working on mutable pointers. | ||||
| 2022-07-06 | bless | Ralf Jung | -4/+4 | |
| 2022-07-05 | Rollup merge of #98860 - RalfJung:dangling-int-ptr, r=davidtwco | Matthias Krüger | -6/+6 | |
| adjust dangling-int-ptr error message based on suggestions by `@saethlin` in https://github.com/rust-lang/miri/issues/2163 Fixes https://github.com/rust-lang/miri/issues/2163 I also did a bit of refactoring on this, so we have a helper method to create a `Pointer` with `None` provenance. | ||||
| 2022-07-05 | adjust dangling-int-ptr error message | Ralf Jung | -6/+6 | |
| 2022-07-05 | Rollup merge of #98624 - davidtwco:translation-on-lints, r=compiler-errors | Dylan DPC | -2/+2 | |
| lints: mostly translatable diagnostics As lints are created slightly differently than other diagnostics, intended to try make them translatable first and then look into the applicability of diagnostic structs but ended up just making most of the diagnostics in the crate translatable (which will still be useful if I do make a lot of them structs later anyway). r? ``@compiler-errors`` | ||||
| 2022-07-01 | Shorten def_span for more items. | Camille GILLOT | -1041/+614 | |
| 2022-06-30 | lint: port non-fmt-panic diagnostics | David Wood | -2/+2 | |
| Signed-off-by: David Wood <david.wood@huawei.com> | ||||
| 2022-06-29 | interpret: adjust error from constructing an invalid value | Ralf Jung | -132/+132 | |
| 2022-06-28 | Rollup merge of #98560 - TaKO8Ki:add-regression-test-for-85907, ↵ | Matthias Krüger | -0/+17 | |
| r=Mark-Simulacrum Add regression test for #85907 closes #85907 | ||||
| 2022-06-27 | add regression test for #85907 | Takayuki Maeda | -0/+17 | |
| 2022-06-25 | bless after rebase | Ralf Jung | -22/+598 | |
| 2022-06-25 | make const_err show up in future breakage reports | Ralf Jung | -0/+1246 | |
| 2022-06-19 | Mention formatting macros when encountering ArgumentV1::new in const | Michael Goulet | -0/+99 | |
| 2022-06-19 | Bless 32bit ui tests. | Camille GILLOT | -12/+12 | |
| 2022-06-19 | Make some lints incremental. | Camille GILLOT | -12/+12 | |
| 2022-06-14 | rebase | b-naber | -32/+104 | |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -8/+19 | |
| 2022-06-05 | interpret: better control over whether we read data with provenance, and ↵ | Ralf Jung | -355/+388 | |
| implicit provenance stripping where possible | ||||
| 2022-05-19 | bless 32bit | Ralf Jung | -10/+10 | |
| 2022-05-19 | interpret/validity: separately control checking numbers for being init and ↵ | Ralf Jung | -23/+23 | |
| non-ptr | ||||
| 2022-05-17 | bless 32bit | Ralf Jung | -1/+1 | |
| 2022-05-17 | interpret/validity: reject references to uninhabited types | Ralf Jung | -1/+1 | |
| 2022-04-30 | Also report the call site of PME errors locally. | Oli Scherer | -0/+12 | |
| Note this does not produce a full stack all the way to the first call that specifies all monomorphic parameters, it's just shallowly mentioning the last call site. | ||||
| 2022-04-21 | Update `validate_uninhabited_zsts.rs` test after MIR building changes | Tomasz Miąsko | -34/+55 | |
| to ensure that it still tests validation, instead of failing earlier on during evaluation. | ||||
| 2022-04-20 | Rollup merge of #93313 - tmiasko:uninhabited, r=tmandry | Dylan DPC | -47/+21 | |
| Check if call return type is visibly uninhabited when building MIR The main motivation behind the change is to expose information about diverging calls to the generator transform and match the precision of drop range tracking which already understands that call expressions with visibly uninhabited types diverges. This change should also accept strictly more programs than before. That is programs that were previously rejected due to errors raised by control-flow sensitive checks in a code that is no longer considered reachable. Fixes #93161. | ||||
| 2022-04-11 | Add const eval tests ensuring padding gets correctly marked as deinit on ↵ | Jakob Degen | -0/+37 | |
| deaggregation | ||||
| 2022-04-11 | Bless tests that broke in a trivial way due to change in deaggregation | Jakob Degen | -8/+8 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |