about summary refs log tree commit diff
path: root/src/librustc_borrowck
AgeCommit message (Expand)AuthorLines
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-180/+272
2016-05-23add `indexed_set` mod for typed wrappers around bitarrays representing sets.Felix S. Klock II-0/+88
2016-05-20Refactor `bitslice`: distinguish `usize` for indexing vs word type being inde...Felix S. Klock II-11/+13
2016-05-20Rollup merge of #33676 - rkruppe:e0509-exact-words, r=sanxiynGuillaume Gomez-1/+1
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-19Rollup merge of #33353 - timothy-mcroy:E0502, r=sanxiynManish Goregaokar-1/+27
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-18Auto merge of #33710 - Manishearth:rollup, r=Manishearthbors-0/+1
2016-05-17Add descriptive error explanation for E0502Timothy McRoy-1/+27
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-16Add missing code fence to `diagnostics.rs`Andrew Paseltiner-0/+1
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-16fixes to `librustc_borrowck::bitslice::bits_to_string`, used for graphviz pri...Felix S. Klock II-10/+14
2016-05-16fix bug in `debug!` output from `rustc::middle::dataflow`Felix S. Klock II-2/+2
2016-05-15Auto merge of #33619 - jonathandturner:improve_structured_errors, r=nikomatsakisbors-92/+135
2016-05-15Add space after equalsJonathan Turner-1/+1
2016-05-15Rollup merge of #33533 - GuillaumeGomez:add_E0500, r=steveklabnikManish Goregaokar-1/+47
2016-05-15Rollup merge of #33475 - billyevans:master, r=guillaumegomezManish Goregaokar-1/+79
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-12Auto merge of #33282 - alexcrichton:rustbuild-crate-tests, r=brsonbors-0/+1
2016-05-12rustbuild: Add support for crate tests + doctestsAlex Crichton-0/+1
2016-05-11Add detailed error explanation for E0505billyevans-1/+79
2016-05-11Rollup merge of #33386 - cramertj:E0504, r=steveklabnikSteve Klabnik-1/+104
2016-05-11Add E0500 error explanationggomez-1/+47
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