summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls
AgeCommit message (Expand)AuthorLines
2020-06-13Revert "Auto merge of #71956 - ecstatic-morse:remove-requires-storage-analysi...Mark Rousskov-125/+234
2020-05-30Make TLS accesses explicit in MIROliver Scherer-0/+1
2020-05-19Document assumptions made in generator transform for analysesDylan MacKenzie-0/+6
2020-05-19Remove `MaybeRequiresStorage`Dylan MacKenzie-234/+2
2020-05-19Add `MaybeInitializedLocals` dataflow analysisDylan MacKenzie-0/+117
2020-05-18Add asm! to MIRAmanieu d'Antras-3/+31
2020-05-08Rollup merge of #71993 - ecstatic-morse:cleanup-old-liveness, r=jonas-schievinkDylan DPC-0/+7
2020-05-07Incorporate old module docs into `MaybeLiveLocals` docsDylan MacKenzie-0/+7
2020-05-04Export dataflow impls by nameDylan MacKenzie-4/+4
2020-05-03Live variable analysisDylan MacKenzie-0/+139
2020-05-03Support backward dataflow analysesDylan MacKenzie-2/+2
2020-04-22Use `Body` everywhereDylan MacKenzie-2/+2
2020-04-09Make `MaybeStorageLive` correct for all kinds of MIR bodiesDylan MacKenzie-5/+17
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-1/+1
2020-03-31Use Place directly on Operand::place and friends, it's CopySantiago Pastorino-10/+10
2020-03-31Use Place directly, it's Copy even more use casesSantiago Pastorino-9/+9
2020-03-31Use Place directly, it's CopySantiago Pastorino-6/+6
2020-03-30Use if let instead of match when only matching a single variant (clippy::sing...Matthias Krüger-12/+9
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-2/+2
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-11/+11
2020-03-29Use `&` to do deref coercion for `ReadOnlyBodyAndCache`Dylan MacKenzie-2/+2
2020-03-29Make `Visitor::visit_body` take a simple `Body`Dylan MacKenzie-1/+1
2020-03-27Auto merge of #68404 - Amanieu:llvm-asm, r=estebankbors-2/+2
2020-03-26Update imports from `dataflow::generic` to `dataflow`Dylan MacKenzie-7/+6
2020-03-26Rename asm! to llvm_asm!Amanieu d'Antras-2/+2
2020-03-06Model generator resumption in dataflowJonas Schievink-2/+16
2020-03-01Auto merge of #69295 - ecstatic-morse:unified-dataflow-generators, r=tmandrybors-88/+105
2020-02-29use .iter() instead of .into_iter() on references.Matthias Krüger-1/+1
2020-02-27Rename `RequiresStorage` to `MaybeRequiresStorage`Dylan MacKenzie-7/+7
2020-02-27Port `RequiresStorage` to new dataflow frameworkDylan MacKenzie-51/+70
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-2/+35
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-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-13Kill move paths of dead variantsDylan MacKenzie-2/+35
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-60/+208
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-02Add a resume type parameter to `Generator`Jonas Schievink-8/+12
2020-01-10Remove PlaceBase enum and make Place base field be local: LocalSantiago Pastorino-56/+37
2020-01-10Remove Static from PlaceBaseSantiago Pastorino-36/+38
2020-01-10Remove unused param_env parameterSantiago Pastorino-5/+1
2020-01-06Improve hygiene of `newtype_index`Matthew Jasper-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 02:21:01 +0000