| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-09-22 | Add a way to decouple the implementation and the declaration of a TyCtxt method. | Oli Scherer | -4/+4 | |
| 2023-07-05 | Name the destructure_mir_constant query appropriately | Oli Scherer | -2/+2 | |
| 2023-07-05 | Use options instead of errors if the errors are never needed | Oli Scherer | -1/+1 | |
| 2023-07-05 | Specialize `try_destructure_mir_constant` for its sole user | Oli Scherer | -4/+2 | |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -0/+3 | |
| 2023-05-31 | Remove `deref_mir_constant` | Oli Scherer | -4/+0 | |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 | |
| 2023-04-18 | Add `rustc_fluent_macro` to decouple fluent from `rustc_macros` | Nilstrieb | -1/+1 | |
| Fluent, with all the icu4x it brings in, takes quite some time to compile. `fluent_messages!` is only needed in further downstream rustc crates, but is blocking more upstream crates like `rustc_index`. By splitting it out, we allow `rustc_macros` to be compiled earlier, which speeds up `x check compiler` by about 5 seconds (and even more after the needless dependency on `serde_json` is removed from `rustc_data_structures`). | ||||
| 2023-04-06 | Stabilize is_some_and | Jonas Platte | -1/+0 | |
| 2023-03-11 | Simplify message paths | est31 | -1/+1 | |
| This makes it easier to open the messages file while developing on features. The commit was the result of automatted changes: for p in compiler/rustc_*; do mv $p/locales/en-US.ftl $p/messages.ftl; rmdir $p/locales; done for p in compiler/rustc_*; do sed -i "s#\.\./locales/en-US.ftl#../messages.ftl#" $p/src/lib.rs; done | ||||
| 2023-02-27 | Unify all validity check intrinsics | Nilstrieb | -2/+2 | |
| Also merges the inhabitedness check into the query to further unify the code paths. | ||||
| 2023-02-23 | Unify validity checks into a single query | Nilstrieb | -5/+2 | |
| Previously, there were two queries to check whether a type allows the 0x01 or zeroed bitpattern. I am planning on adding a further initness to check, truly uninit for MaybeUninit, which would make this three queries. This seems overkill for such a small feature, so this PR unifies them into one. | ||||
| 2023-02-22 | errors: generate typed identifiers in each crate | David Wood | -0/+4 | |
| Instead of loading the Fluent resources for every crate in `rustc_error_messages`, each crate generates typed identifiers for its own diagnostics and creates a static which are pulled together in the `rustc_driver` crate and provided to the diagnostic emitter. Signed-off-by: David Wood <david.wood@huawei.com> | ||||
| 2023-02-14 | Make permit_uninit/zero_init fallible | Michael Goulet | -6/+3 | |
| 2023-01-26 | Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillot | bors | -3/+8 | |
| InstCombine away intrinsic validity assertions This optimization (currently) fires 246 times on the standard library. It seems to fire hardly at all on the big crates in the benchmark suite. Interesting. | ||||
| 2023-01-23 | Thread a ParamEnv down to might_permit_raw_init | Ben Kimock | -3/+8 | |
| 2023-01-18 | Also remove `#![feature(control_flow_enum)]` where possible | Scott McMurray | -1/+0 | |
| 2023-01-12 | attempt to make a minimal example work | Deadbeef | -0/+1 | |
| 2022-10-18 | Remove allow(rustc::potential_query_instability) in rustc_const_eval | CastilloDel | -1/+0 | |
| The use of FxHashMap has been replaced with FxIndexMap. For more information see https://github.com/rust-lang/rust/issues/84447 | ||||
| 2022-10-05 | change might_permit_raw_init to fully detect LLVM UB, but not more than that | Ralf Jung | -4/+2 | |
| 2022-10-01 | Change feature name to is_some_and | Cameron Steffen | -1/+1 | |
| 2022-09-26 | remove cfg(bootstrap) | Pietro Albini | -1/+0 | |
| 2022-09-15 | Only enable the let_else feature on bootstrap | est31 | -1/+1 | |
| On later stages, the feature is already stable. Result of running: rg -l "feature.let_else" compiler/ src/librustdoc/ library/ | xargs sed -s -i "s#\\[feature.let_else#\\[cfg_attr\\(bootstrap, feature\\(let_else\\)#" | ||||
| 2022-08-29 | Revert let_chains stabilization | Nilstrieb | -0/+1 | |
| This reverts commit 326646074940222d602f3683d0559088690830f4. This is the revert against master, the beta revert was already done in #100538. | ||||
| 2022-08-12 | Adjust cfgs | Mark Rousskov | -1/+0 | |
| 2022-07-17 | Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obk | bors | -0/+6 | |
| Use constant eval to do strict mem::uninit/zeroed validity checks I'm not sure about the code organisation here, I just dumped the check in rustc_const_eval at the root. Not hard to move it elsewhere, in any case. Also, this means cranelift codegen intrinsics lose the strict checks, since they don't seem to depend on rustc_const_eval, and I didn't see a point in keeping around two copies. I also left comments in the is_zero_valid methods about "uhhh help how do i do this", those apply to both methods equally. Also rustc_codegen_ssa now depends on rustc_const_eval... is this okay? Pinging `@RalfJung` since you were the one who mentioned this to me, so I'm assuming you're interested. Haven't had a chance to run full tests on this since it's really warm, and it's 1AM, I'll check out any failures/comments in the morning :) | ||||
| 2022-07-16 | Stabilize `let_chains` | Caio | -1/+1 | |
| 2022-07-14 | Use constant eval to do strict validity checks | 5225225 | -0/+6 | |
| 2022-07-08 | Migrate unstable-in-stable diagnostic | Michael Goulet | -0/+1 | |
| 2022-07-03 | fix interpreter validity check on Box | Ralf Jung | -0/+1 | |
| 2022-06-28 | Improve pretty printing of valtrees for references | Dominik Stolz | -1/+0 | |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -9/+4 | |
| 2022-06-11 | Try out `yeet` in the MIR interpreter | Scott McMurray | -0/+1 | |
| 2022-05-30 | Remove `#[default..]` and add `#[const_trait]` | Deadbeef | -0/+1 | |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -1/+0 | |
| 2022-05-16 | use GlobalId in eval_to_valtree query and introduce query for ↵ | b-naber | -8/+14 | |
| valtree_to_const_val | ||||
| 2022-05-04 | Stabilize `bool::then_some` | Josh Triplett | -1/+0 | |
| 2022-04-21 | implement (as of now still unused) query for valtree -> constvalue conversion | b-naber | -0/+4 | |
| 2022-02-25 | Switch bootstrap cfgs | Mark Rousskov | -1/+1 | |
| 2022-02-16 | Support pretty printing of invalid constants | Tomasz Miąsko | -2/+2 | |
| Make it possible to pretty print invalid constants by introducing a fallible variant of `destructure_const` and falling back to debug formatting when it fails. | ||||
| 2022-02-01 | add a rustc::query_stability lint | lcnr | -0/+1 | |
| 2021-12-14 | Stabilize iter::zip. | PFPoitras | -1/+0 | |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_const_eval` | LegionMammal978 | -1/+0 | |
| See #91867 for more information. | ||||
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -1/+0 | |
| 2021-11-26 | Unwrap the results of type folders | LeSeulArtichaut | -0/+1 | |
| Co-authored-by: Alan Egerton <eggyal@gmail.com> | ||||
| 2021-10-28 | Revert "Add rustc lint, warning when iterating over hashmaps" | Mark Rousskov | -1/+0 | |
| 2021-10-24 | Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank | Matthias Krüger | -0/+1 | |
| Add rustc lint, warning when iterating over hashmaps r? rust-lang/wg-incr-comp | ||||
| 2021-10-16 | Adopt let_else across the compiler | est31 | -0/+1 | |
| This performs a substitution of code following the pattern: let <id> = if let <pat> = ... { identity } else { ... : ! }; To simplify it to: let <pat> = ... { identity } else { ... : ! }; By adopting the let_else feature. | ||||
| 2021-10-15 | allow `potential_query_instability` everywhere | lcnr | -0/+1 | |
| 2021-09-08 | Bump stage0 compiler to 1.56 | Mark Rousskov | -1/+0 | |
