about summary refs log tree commit diff
path: root/src/librustc_borrowck/borrowck
AgeCommit message (Expand)AuthorLines
2016-05-29Auto merge of #33929 - petrochenkov:pathir, r=eddybbors-1/+1
2016-05-28Rollup merge of #33820 - jonathandturner:format_readability_updates, r=nikoma...Manish Goregaokar-1/+5
2016-05-28Separate bindings from other patterns in HIRVadim Petrochenkov-1/+1
2016-05-25Auto merge of #33667 - pnkfelix:fixes-to-mir-dataflow, r=arielb1bors-800/+1915
2016-05-25Alpha rename `OwnIdxSet` to `IdxSetBuf`.Felix S. Klock II-7/+7
2016-05-25remove unnecessary use of `indexed_set::Indexed` trait.Felix S. Klock II-9/+1
2016-05-25Fix some comments.Felix S. Klock II-7/+8
2016-05-24placate tidy in `mir::gather_moves`.Felix S. Klock II-1/+2
2016-05-24placate tidy in `mir::dataflow`.Felix S. Klock II-3/+2
2016-05-24placate tidy in `mir::dataflow::graphviz`.Felix S. Klock II-3/+7
2016-05-24threaded a `ty::ParameterEnvironment` for the current node id via the associa...Felix S. Klock II-44/+56
2016-05-24Removed `type Bit` and `fn interpret` items from `trait BitDenotation`.Felix S. Klock II-62/+21
2016-05-24Replaced use of `interpret` method in `mir::dataflow::graphviz` with a client...Felix S. Klock II-76/+94
2016-05-24move the `tcx` and `mir` parts of associated `Ctxt` onto each `BitDenotation`...Felix S. Klock II-79/+77
2016-05-24Moved the four impls of `BitDenotation` to their own module, `mod impls`.Felix S. Klock II-569/+588
2016-05-24`mir::dataflow::sanity_check`: extract an `fn each_block` to simplify present...Felix S. Klock II-76/+86
2016-05-24Fix comment within sanity_check.Felix S. Klock II-3/+4
2016-05-23Fix #33819 and update ui testJonathan Turner-1/+5
2016-05-23revised mir-dataflow so bitvectors carry a phantom type for their index domain.Felix S. Klock II-176/+172
2016-05-20review feedback: fix some index-mismatch bugs pointed out by arielb1.Felix S. Klock II-3/+0
2016-05-20Review feedback.Felix S. Klock II-23/+21
2016-05-20`mir::dataflow` arielb1 review feedbackFelix S. Klock II-64/+32
2016-05-20Added comment pointing out somewhat subtle initialization in `fn start_block_...Felix S. Klock II-0/+1
2016-05-20`borrowck::mir`: alpha-renamed DropFlagState variant names.Felix S. Klock II-14/+14
2016-05-20fix comment in `impl DataflowOperator for MaybeUninitializedLvals`.Felix S. Klock II-1/+1
2016-05-20`mir::dataflow::sanity_check`: Factor out `fn is_rustc_peek` helper routine.Felix S. Klock II-28/+28
2016-05-19Reword the short diagnostic for E0509Robin Kruppe-1/+1
2016-05-18Auto merge of #33688 - jonathandturner:fix_old_school, r=nikomatsakisbors-11/+7
2016-05-17Improve a few errors and fix #33366Jonathan Turner-11/+7
2016-05-17`mir::dataflow::sanity_check`: removed hackish `tmp = val` propagation code.Felix S. Klock II-35/+8
2016-05-17Fix comments in `mir::dataflow::sanity_check`.Felix S. Klock II-19/+18
2016-05-16Remove hir::IdentVadim Petrochenkov-1/+1
2016-05-16`DefinitelyInitializedLvals` dataflow op (goal: move away from `MaybeUninitia...Felix S. Klock II-10/+157
2016-05-16Little unit tests for MIR dataflow analysis.Felix S. Klock II-0/+3
2016-05-16Add ability to unit-test dataflow results via `rustc_peek` intrinsic.Felix S. Klock II-3/+208
2016-05-16Revised mir-dataflow.Felix S. Klock II-718/+1365
2016-05-16`borrowck::mir::gather_moves`: create MovePaths for lvalues even if unreferen...Felix S. Klock II-32/+74
2016-05-16Unit struct defns for 3 dataflow analyses for `borrowck::mir::dataflow`.Felix S. Klock II-0/+117
2016-05-16Remove `&self` parameter from `DataflowOperator::initial_value`.Felix S. Klock II-4/+4
2016-05-16Add helper method for getting the dataflow results at exit from a basic block.Felix S. Klock II-0/+8
2016-05-15Add space after equalsJonathan Turner-1/+1
2016-05-12Update errors to use new error formatJonathan Turner-91/+104
2016-05-12Set of fixes to improve borrowcks that weren't updatedJonathan Turner-16/+46
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-34/+30
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-26/+22
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-8/+8
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-22/+22
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-57/+53
2016-05-11mem_categorization: freely_aliasable doesn't need to take TyCtxt.Eduard Burtescu-1/+1
2016-05-11infer: Use methods for creating an InferCtxt.Eduard Burtescu-14/+8