about summary refs log tree commit diff
path: root/src/librustc_borrowck
AgeCommit message (Expand)AuthorLines
2016-05-30Rollup merge of #33793 - GuillaumeGomez:compile_fail, r=GuillaumeGomezManish Goregaokar-1/+1
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-27* Fix compile_fail tag (in some cases, it compiled whereas it wasn't expected...Guillaume Gomez-1/+1
2016-05-25Auto merge of #33667 - pnkfelix:fixes-to-mir-dataflow, r=arielb1bors-822/+2141
2016-05-25Alpha rename `OwnIdxSet` to `IdxSetBuf`.Felix S. Klock II-18/+18
2016-05-25fixes to `indexed_set`: add comments and fix `PhantomData` def'n.Felix S. Klock II-2/+15
2016-05-25remove `indexed_set::Indexed` trait.Felix S. Klock II-4/+0
2016-05-25remove unnecessary use of `indexed_set::Indexed` trait.Felix S. Klock II-9/+1
2016-05-25Add notes that data-structures should potentially move to different crate.Felix S. Klock II-0/+5
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-24bug fix to `borrowck::indexed_set`: wanted bit-count not byte-count.Felix S. Klock II-1/+1
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