| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-11-07 | Begin a semi-formal argument for correctness | Jannis Christopher Köhl | -0/+28 | |
| 2022-11-07 | Add additional flooding when assigning a value and corresponding test | Jannis Christopher Köhl | -1/+3 | |
| 2022-11-07 | Clarify registration and tracking of references | Jannis Christopher Köhl | -2/+8 | |
| 2022-11-07 | Fix spelling | Jannis Christopher Köhl | -1/+1 | |
| 2022-11-07 | Try field type normalization instead of forcing it | Jannis Christopher Köhl | -4/+4 | |
| 2022-11-07 | Add initial version of value analysis and dataflow constant propagation | Jannis Christopher Köhl | -1/+682 | |
| 2022-11-04 | Some tracing and comment cleanups | Oli Scherer | -3/+2 | |
| 2022-10-23 | Migrate all diagnostics | Nilstrieb | -10/+10 | |
| 2022-10-06 | Remove `mir::CastKind::Misc` | ouz-a | -1/+2 | |
| 2022-09-26 | remove cfg(bootstrap) | Pietro Albini | -1/+0 | |
| 2022-09-21 | UPDATE - rename DiagnosticHandler macro to Diagnostic | Jhonny Bill Mena | -11/+11 | |
| 2022-09-21 | UPDATE - rename DiagnosticHandler trait to IntoDiagnostic | Jhonny Bill Mena | -11/+11 | |
| 2022-09-20 | Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebank | bors | -1/+2 | |
| Allow patterns to constrain the hidden type of opaque types fixes #96572 reverts a revert as original PR was a perf regression that was fixed by reverting it: https://github.com/rust-lang/rust/pull/99368#issuecomment-1186587864) TODO: * check if https://github.com/rust-lang/rust/issues/99685 is avoided | ||||
| 2022-09-16 | Only generate `OpaqueCast` for opaque types | Oli Scherer | -1/+1 | |
| 2022-09-16 | Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, ↵ | Oli Scherer | -0/+1 | |
| r=estebank"" This reverts commit 4a742a691e7dd2522bad68b86fe2fd5a199d5561. | ||||
| 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-09-06 | Generalize the Assume intrinsic statement to a general Intrinsic statement | Oli Scherer | -6/+3 | |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -0/+3 | |
| 2022-08-29 | Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk | Matthias Krüger | -17/+14 | |
| Replace `Body::basic_blocks()` with field access Since the refactoring in #98930, it is possible to borrow the basic blocks independently from other parts of MIR by accessing the `basic_blocks` field directly. Replace unnecessary `Body::basic_blocks()` method with a direct field access, which has an additional benefit of borrowing the basic blocks only. | ||||
| 2022-08-26 | Rollup merge of #100744 - 5225225:migrate-rustc-mir-dataflow, r=davidtwco | Michael Goulet | -22/+93 | |
| Migrate rustc_mir_dataflow to diagnostic structs | ||||
| 2022-08-26 | Replace `Body::basic_blocks()` with field access | Tomasz Miąsko | -17/+14 | |
| 2022-08-25 | Add method that applies DefUse effect | Tomasz Miąsko | -15/+11 | |
| 2022-08-25 | Fix liveness analysis for yield terminators | Tomasz Miąsko | -32/+61 | |
| A resume place is evaluated and assigned to only after a yield terminator resumes. Ensure that locals used when evaluating the resume place are live across the yield. | ||||
| 2022-08-23 | Rename rustc_mir_dataflow diagnostic to mir_dataflow | 5225225 | -10/+10 | |
| 2022-08-23 | Migrate rustc_mir_dataflow to diagnostic structs | 5225225 | -22/+93 | |
| 2022-08-22 | use type alias impl trait in `outlives_bounds::InferCtxtExt` | SparrowLii | -1/+2 | |
| 2022-08-01 | Remove redundant `TransferWrapper` struct | Tomasz Miąsko | -14/+2 | |
| 2022-07-29 | Auto merge of #99667 - ouz-a:some_branch, r=oli-obk | bors | -22/+17 | |
| Optimize `UnDerefer` Addresses the performance [issues](https://github.com/rust-lang/rust/pull/98145#issuecomment-1183548597) faced here. r? `@oli-obk` | ||||
| 2022-07-28 | type alias covers whole return | ouz-a | -6/+7 | |
| 2022-07-28 | create type alias | ouz-a | -16/+10 | |
| 2022-07-25 | remove clone | ouz-a | -1/+1 | |
| 2022-07-24 | fix import error | ouz-a | -1/+1 | |
| 2022-07-24 | optimize un_derefer | ouz-a | -21/+21 | |
| 2022-07-20 | Auto merge of #99058 - michaelwoerister:remove-stable-set-and-map, r=nagisa | bors | -1/+1 | |
| Remove the unused StableSet and StableMap types from rustc_data_structures. The current implementation is not "stable" in the same sense that `HashStable` and `StableHasher` are stable, i.e. across compilation sessions. So, in my opinion, it's better to remove those types (which are basically unused anyway) than to give the wrong impression that these are safe for incr. comp. I plan to provide new "stable" collection types soon that can be used to replace `FxHashMap` and `FxHashSet` in query results (see [draft](https://github.com/michaelwoerister/rust/commit/69d03ac7a7d651a397ab793e9d78f8fce3edf7a6)). It's unsound that `HashMap` and `HashSet` implement `HashStable` (see https://github.com/rust-lang/rust/issues/98890 for a recent P-critical bug caused by this) -- so we should make some progress there. | ||||
| 2022-07-20 | Remove unused StableMap and StableSet types from rustc_data_structures | Michael Woerister | -1/+1 | |
| 2022-07-20 | Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank" | Oli Scherer | -1/+0 | |
| This reverts commit 6f8fb911ad504b77549cf3256a09465621beab9d, reversing changes made to 7210e46dc69a4b197a313d093fe145722c248b7d. | ||||
| 2022-07-16 | Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r=estebank | Matthias Krüger | -0/+1 | |
| Allow destructuring opaque types in their defining scopes fixes #96572 Before this PR, the following code snippet failed with an incomprehensible error, and similar code just ICEd in mir borrowck. ```rust type T = impl Copy; let foo: T = (1u32, 2u32); let (a, b) = foo; ``` The problem was that the last line created MIR projections of the form `foo.0` and `foo.1`, but `foo`'s type is `T`, which doesn't have fields (only its hidden type does). But the pattern supplies enough type information (a tuple of two different inference types) to bind a hidden type. | ||||
| 2022-07-15 | Introduce opaque type to hidden type projection | Oli Scherer | -0/+1 | |
| 2022-07-14 | Remove FIXME from MIR `always_storage_live_locals` | pierwill | -3/+0 | |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -7/+7 | |
| This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`). Rename it to be more clear. | ||||
| 2022-07-12 | add new rval, pull deref early | ouz-a | -2/+68 | |
| 2022-07-09 | Rollup merge of #99022 - pierwill:always-storage-live-locals, r=pierwill | Matthias Krüger | -1/+1 | |
| MIR dataflow: Rename function to `always_storage_live_locals` Related to #99021. r? ```@JakobDegen``` (as discussed on Zulip) | ||||
| 2022-07-07 | MIR dataflow: Rename function to `always_storage_live_locals` | pierwill | -1/+1 | |
| Related to #99021. | ||||
| 2022-07-07 | Rollup merge of #98986 - pierwill:patch-5, r=oli-obk | Matthias Krüger | -1/+1 | |
| Fix missing word in comment | ||||
| 2022-07-07 | Rollup merge of #98981 - pierwill:pierwill/dataflow-docs-edits, r=Dylan-DPC | Dylan DPC | -8/+8 | |
| Edit `rustc_mir_dataflow::framework` documentation Some edits for clarity and consistency. | ||||
| 2022-07-07 | Move `switch_sources` from Body to BasicBlocks | Tomasz Miąsko | -1/+1 | |
| 2022-07-07 | Move `predecessors` from Body to BasicBlocks | Tomasz Miąsko | -1/+1 | |
| 2022-07-07 | Move `is_cfg_cyclic` from Body to BasicBlocks | Tomasz Miąsko | -1/+1 | |
| 2022-07-06 | Fix missing word in comment | pierwill | -1/+1 | |
| 2022-07-06 | Edit `rustc_mir_dataflow::framework` documentation | pierwill | -8/+8 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |