about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Collapse)AuthorLines
2020-01-14Remove old "generic" frameworkDylan MacKenzie-595/+0
2020-01-14Implement new dataflow framework and cursorDylan MacKenzie-0/+995
2020-01-14Improve graphviz visualization for new frameworkDylan MacKenzie-116/+402
2020-01-13Rollup merge of #67313 - ↵Yuki Okushi-1/+23
oli-obk:document_all_the_t̶h̶i̶n̶g̶s̶dataflow, r=ecstatic-morse Document more use cases of dataflow r? @ecstatic-morse
2020-01-10Remove PlaceBase enum and make Place base field be local: LocalSantiago Pastorino-68/+45
2020-01-10Remove Static from PlaceBaseSantiago Pastorino-43/+38
2020-01-10Remove unused param_env parameterSantiago Pastorino-5/+1
2020-01-06Improve hygiene of `newtype_index`Matthew Jasper-2/+2
Also add unit tests
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-4/+4
2020-01-04canonicalize FxHash{Map,Set} importsMazdak Farrokhzad-1/+1
2020-01-02Normalize `syntax::symbol` imports.Mazdak Farrokhzad-2/+2
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-2/+2
2019-12-26Convert collapsed to shortcut reference linksMatthew Kraai-1/+1
2019-12-22Format the worldMark Rousskov-617/+517
2019-12-20Rollup merge of #67314 - matthewjasper:union-move-errors, r=nikomatsakisMazdak Farrokhzad-9/+22
Don't suppress move errors for union fields closes #66500
2019-12-20Address review commentsOliver Scherer-3/+9
2019-12-19Don't suppress move errors for union fieldsMatthew Jasper-9/+22
2019-12-18Add Rvalue::AddressOf to MIRMatthew Jasper-0/+1
This operator creates a raw pointer to a Place directly, without first creating a reference. See RFC #2582 for motivation. The Rvalue is currently unused.
2019-12-15Document more use cases of dataflowOliver Scherer-1/+17
2019-12-11more privateMark Mansi-8/+4
2019-12-11fix importsMark Mansi-6/+8
2019-12-09Remove `uniform_array_move_out` passesMatthew Jasper-38/+93
These passes were buggy, MIR building is now responsible for canonicalizing `ConstantIndex` projections and `MoveData` is responsible for splitting `Subslice` projections.
2019-12-09Make const index and subslice array projections more usefulMatthew Jasper-4/+5
* `min_length` is now exact for const index elements. * const index elements are always from the start. * make array `Subslice` `PlaceElems` count both `from` and `to` from the start.
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ↵Paul Daniel Faria-3/+3
Index impl, remove body fn rustc_codegen_ssa: Fix BodyAndCache reborrow to Body and change instances of body() call to derefence rustc_mir: Fix BodyAndCache reborrow to Body and change intances of body() call to derefence
2019-12-02Remove HasLocalDecls impl from BodyCache's, properly reborrow to Body, ↵Paul Daniel Faria-17/+17
rename all body_cache back to body
2019-12-02Fix tidy errorsPaul Daniel Faria-1/+3
2019-12-02Simplify BodyCache impl and fix all remaining type errors in librustc_mir ↵Paul Daniel Faria-4/+4
(lifetime errors still exist)
2019-12-02Add predecessors fn to ReadOnlyBodyCache, fix more Body -> ↵Paul Daniel Faria-11/+11
(ReadOnly)BodyCache type errors
2019-12-02Stop invalidating predecessors cache when accessing unique basic block, ↵Paul Daniel Faria-1/+1
invalidate cache when accessing unique terminator
2019-11-21Track pointers to statics in MIRMatthew Jasper-1/+3
2019-10-22Move Place::elem methods and friends to TyCtxtSantiago Pastorino-1/+1
2019-10-22Intern place projectionSantiago Pastorino-3/+3
2019-10-22Pattern match over PlaceRef rather than PlaceSantiago Pastorino-3/+5
This prepares the code base for when projection is interned. Place's projection field is going to be `&List<PlaceElem<'tcx>>` so we won't be able to pattern match against it.
2019-10-15Rollup merge of #65389 - ecstatic-morse:zero-sized-array-no-drop, r=eddybTyler Mandry-13/+4
Return `false` from `needs_drop` for all zero-sized arrays. Resolves #65348. This changes the result of the `needs_drop` query from `true` to `false` for types such as `[Box<i32>; 0]`. I believe this change to be sound because a zero-sized array can never actually hold a value. This is an elegant way of resolving #65348 and #64945, but obviously it has much broader implications.
2019-10-13Remove special case for zero-sized arrays from indirectly mut localsDylan MacKenzie-13/+4
2019-10-13ast: remove implicit pprust dependency via Display.Mazdak Farrokhzad-3/+3
Instead just use `pprust::path_to_string(..)` where needed. This has two benefits: a) The AST definition is now independent of printing it. (Therefore we get closer to extracting a data-crate.) b) Debugging should be easier as program flow is clearer.
2019-10-07Auto merge of #61430 - matthewjasper:drop-on-into-panic, r=oli-obkbors-8/+30
Make `into` schedule drop for the destination closes #47949
2019-10-02Do not mark unitinitialized locals as requiring storageMatthew Jasper-8/+30
2019-10-02Rollup merge of #64967 - ecstatic-morse:issue-64945, r=oli-obkMazdak Farrokhzad-15/+31
Don't mark borrows of zero-sized arrays as indirectly mutable Resolves #64945 r? @oli-obk
2019-10-01Update example table to match current outputDylan MacKenzie-19/+19
2019-10-01Reset row background for each blockDylan MacKenzie-0/+1
Now the first row of each basic block is always light instead of changing seemingly at random.
2019-10-01Don't mark zero-sized arrays as indirectly mutable when borrowedDylan MacKenzie-15/+31
2019-09-30Add graphviz debug output for generic dataflowDylan MacKenzie-5/+510
2019-09-30Allow `ResultsCursor` to borrow the underlying `Results`Dylan MacKenzie-8/+16
2019-09-30Fix typo in docsDylan MacKenzie-1/+1
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-11/+11
2019-09-29remove bit_set re-export from rustc_data_structurescsmoe-5/+5
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 01:17:53 +0000