summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls
AgeCommit message (Expand)AuthorLines
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
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-22Format the worldMark Rousskov-275/+232
2019-12-11more privateMark Mansi-8/+4
2019-12-11fix importsMark Mansi-6/+8
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ...Paul Daniel Faria-3/+3
2019-12-02Remove HasLocalDecls impl from BodyCache's, properly reborrow to Body, rename...Paul Daniel Faria-17/+17
2019-12-02Fix tidy errorsPaul Daniel Faria-1/+3
2019-12-02Simplify BodyCache impl and fix all remaining type errors in librustc_mir (li...Paul Daniel Faria-4/+4
2019-12-02Add predecessors fn to ReadOnlyBodyCache, fix more Body -> (ReadOnly)BodyCach...Paul Daniel Faria-11/+11
2019-12-02Stop invalidating predecessors cache when accessing unique basic block, inval...Paul Daniel Faria-1/+1
2019-11-21Track pointers to statics in MIRMatthew Jasper-1/+3
2019-10-22Pattern match over PlaceRef rather than PlaceSantiago Pastorino-2/+4
2019-10-13Remove special case for zero-sized arrays from indirectly mut localsDylan MacKenzie-13/+4
2019-10-07Auto merge of #61430 - matthewjasper:drop-on-into-panic, r=oli-obkbors-8/+30
2019-10-02Do not mark unitinitialized locals as requiring storageMatthew Jasper-8/+30
2019-10-01Don't mark zero-sized arrays as indirectly mutable when borrowedDylan MacKenzie-15/+31
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-4/+4
2019-09-29remove bit_set re-export from rustc_data_structurescsmoe-2/+2
2019-09-28Correct `IndirectlyMutableLocals` docsDylan MacKenzie-8/+4
2019-09-28Give usage instructions `IndirectlyMutableLocals` docsDylan MacKenzie-3/+7
2019-09-28Explain why `visit_terminator` does nothing for `IndirectlyMutableLocals`Dylan MacKenzie-0/+3
2019-09-28Don't treat locals as mutably borrowed after they're droppedDylan MacKenzie-12/+5
2019-09-28Add analysis to determine if a local is indirectly mutableDylan MacKenzie-4/+156
2019-09-11Make Place Boxed on Statement to reduce size from 64 bytes to 32 bytesSantiago Pastorino-4/+4
2019-09-09Convert Place's projection to a boxed sliceSantiago Pastorino-1/+1
2019-09-05Rollup merge of #64005 - ecstatic-morse:is-indirect, r=oli-obkMazdak Farrokhzad-13/+4