about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2020-02-27Remove now unused `GenKill` impl for old `GenKillSet`Dylan MacKenzie-11/+0
2020-02-27Rename `RequiresStorage` to `MaybeRequiresStorage`Dylan MacKenzie-8/+8
2020-02-27Port `RequiresStorage` to new dataflow frameworkDylan MacKenzie-51/+70
2020-02-27Add inherent `visit_with` method to `dataflow::Results`Dylan MacKenzie-0/+18
2020-02-27Port `MaybeStorageLive` to new dataflow frameworkDylan MacKenzie-33/+31
2020-02-27Auto merge of #68528 - ecstatic-morse:maybe-init-variants, r=oli-obkbors-19/+187
2020-02-24don't explicitly compare against true or falseMatthias Krüger-2/+2
2020-02-19Reorder yield visitation order to match callJonas Schievink-1/+1
2020-02-19Handle resume args in `RequiresStorage` analysisJonas Schievink-11/+46
2020-02-19Use match ergonomics to simplify matchJonas Schievink-5/+5
2020-02-19Match MIR statements exhaustivelyJonas Schievink-1/+8
2020-02-19Auto merge of #69113 - ecstatic-morse:unified-dataflow-borrowed, r=wesleywiserbors-226/+264
2020-02-17Fix typo in commentDylan MacKenzie-1/+1
2020-02-17Use doc comment for explanation of `shared_borrow_allows_mutation`Dylan MacKenzie-9/+9
2020-02-13Don't print block exit state if unchangedDylan MacKenzie-20/+35
2020-02-13Kill move paths of dead variantsDylan MacKenzie-2/+35
2020-02-13Support effects for particular edges of `SwitchInt`Dylan MacKenzie-7/+110
2020-02-13Use an `Iterator` for `MovePath` traversalDylan MacKenzie-10/+42
2020-02-13Ignore mut borrow from drop terminator in const-evalDylan MacKenzie-12/+33
2020-02-13Rename `MaybeBorrowedLocals` constructorsDylan MacKenzie-2/+5
2020-02-12Use `MaybeBorrowedLocals` for generator analysesDylan MacKenzie-26/+20
2020-02-12Remove outdated `IndirectlyMutableLocals`Dylan MacKenzie-138/+0
2020-02-12Implement `Maybe{Mut,}BorrowedLocals` analysesDylan MacKenzie-62/+209
2020-02-12Impl `GenKill` for old dataflow framework's `GenKillSet`Dylan MacKenzie-0/+11
2020-02-11Clarify why you shouldn't override `Analysis::into_engine`Dylan MacKenzie-3/+11
2020-02-11Skip caching block transfer functions for acyclic MIRDylan MacKenzie-10/+14
2020-02-11Use new dataflow framework for drop elaboration and borrow checkingDylan MacKenzie-7/+1
2020-02-10Use new dataflow interface for initialization/borrows analysesDylan MacKenzie-108/+195
2020-02-10Implement a `find_descendant` method for `MovePath`Dylan MacKenzie-41/+47
2020-02-10Add a `Visitor` for dataflow resultsDylan MacKenzie-0/+275
2020-02-10Add an `into_engine` method to `Analysis`Dylan MacKenzie-0/+30
2020-02-10Add a `contains` method to `ResultsCursor`Dylan MacKenzie-0/+7
2020-02-09Use nicer alignment when printing state vectorsDylan MacKenzie-15/+29
2020-02-09Don't break first lineDylan MacKenzie-12/+12
2020-02-09Remove unnecessary allowsDylan MacKenzie-3/+0
2020-02-09Add option to `dot::render` for monospace fontDylan MacKenzie-1/+1
2020-02-09Print `after` effect in default graphviz formatterDylan MacKenzie-4/+4
2020-02-02Add resume arg place to `Yield` MIR terminatorJonas Schievink-1/+3
2020-02-02Add a resume type parameter to `Generator`Jonas Schievink-8/+12
2020-02-01syntax::print -> new crate rustc_ast_prettyMazdak Farrokhzad-1/+1
2020-01-28Place::ty_from takes local by valueSantiago Pastorino-2/+2
2020-01-28Local field on PlaceRef and RootPlace is not a reference anymoreSantiago Pastorino-2/+2
2020-01-27don't clone types that are copy, round two.Matthias Krüger-8/+6
2020-01-19Document all methodsDylan MacKenzie-4/+15
2020-01-19Explain motivation for `GenKill` traitDylan MacKenzie-4/+12
2020-01-15Use trailing underscore for helper methodsDylan MacKenzie-4/+4
2020-01-14Fix testDylan MacKenzie-11/+14
2020-01-14Improve docs for `GenKill` and `GenKillSet`Dylan MacKenzie-6/+8
2020-01-14Improve docs for new frameworkDylan MacKenzie-3/+35
2020-01-14Add test for `ResultsCursor`Dylan MacKenzie-0/+331
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 12:15:55 +0000