summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/resolver.rs
AgeCommit message (Expand)AuthorLines
2020-04-23Rename `Item` to `ConstCx`.Oliver Scherer-15/+15
2020-04-22Don't use `*` for deref-coercionDylan MacKenzie-1/+1
2020-03-31Use Place directly on Operand::place and friends, it's CopySantiago Pastorino-3/+3
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-1/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
2020-03-26Update imports from `dataflow::generic` to `dataflow`Dylan MacKenzie-2/+2
2020-03-14Simplify `Qualif` interfaceDylan MacKenzie-13/+18
2020-02-12Use `MaybeMutBorrowedLocals` for const-checkingDylan MacKenzie-1/+1
2020-02-03Pass correct closure type to `Qualif` methodsDylan MacKenzie-4/+10
2020-01-28Local field on PlaceRef and RootPlace is not a reference anymoreSantiago Pastorino-1/+1
2020-01-14Use unified dataflow framework in `check_consts`Dylan MacKenzie-1/+6
2020-01-10Remove PlaceBase enum and make Place base field be local: LocalSantiago Pastorino-3/+3
2019-12-22Format the worldMark Rousskov-21/+6
2019-12-03rustc: expose the mir::Body reference lifetime from mir::ReadOnlyBodyCache (#...Eduard-Mihai Burtescu-1/+1
2019-12-02Fix rebasing errors, convert some BodyCache::body() calls to reborrowsPaul Daniel Faria-1/+1
2019-12-02Fix type errors created during rebasingPaul Daniel Faria-1/+1
2019-10-25Remove `QualifResolver` abstractionDylan MacKenzie-144/+9
2019-10-26rustc_mir: use the new validator's Qualif in promotion.Eduard-Mihai Burtescu-3/+9
2019-10-22Pattern match over PlaceRef rather than PlaceSantiago Pastorino-9/+8
2019-09-30Use separate files for debugging `Qualif` dataflow resultsDylan MacKenzie-1/+1
2019-09-30Update consumers of `generic::Engine` APIDylan MacKenzie-1/+2
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-1/+1
2019-09-28Mask results from flow-sensitive resolver with `in_any_value_of_ty`Dylan MacKenzie-1/+19
2019-09-28Add description for every module in `check_consts`Dylan MacKenzie-0/+5
2019-09-28Share `IndirectlyMutableLocals` results via referenceDylan MacKenzie-4/+3
2019-09-28Return a `bool` from `in_any_value_of_ty`Dylan MacKenzie-1/+1
2019-09-28Add dataflow-based const validationDylan MacKenzie-0/+327