summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2017-08-19rustc: Remove some dead codeVadim Petrochenkov-163/+2
2017-08-16Cleanup: Every `BitDenotation` is a `DataflowOperator`, so build that in.Felix S. Klock II-20/+11
2017-08-16Added some documentation for the `struct BlockSets` in `rustc_mir::dataflow`.Felix S. Klock II-0/+19
2017-08-16MIR based borrow check (opt-in).Felix S. Klock II-4/+118
2017-08-16Factored `MoveData` construction code into `builder` submodule.Felix S. Klock II-313/+334
2017-08-16Move `DataFlowState::{each_bit,interpret_set}` method definitions to parent m...Felix S. Klock II-50/+22
2017-08-16remove now unnecessary constraint on BitDenotation for `fn do_dataflow`.Felix S. Klock II-2/+1
2017-08-16Migrated some code out of `dataflow::drop_flag_effects` and into its parent m...Felix S. Klock II-74/+71
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-1/+187
2017-08-16Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`us...Felix S. Klock II-38/+27
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-17/+17
2017-08-12Fix some typosBastien Orivel-3/+3
2017-08-12Auto merge of #43794 - Eijebong:fix_typos, r=lukaramu,steveklanik,imperiobors-1/+1
2017-08-11Fix some typosBastien Orivel-1/+1
2017-08-10For box expressions, use NZ drop instead of a free blockAriel Ben-Yehuda-17/+47
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-0/+3
2017-07-27erase types in the move-path abstract domainAriel Ben-Yehuda-2/+9
2017-07-26Rollup merge of #42959 - SimonSapin:nonzero-checked, r=sfacklerMark Simulacrum-1/+1
2017-07-23Fix some doc/comment typos.Bruce Mitchener-1/+1
2017-07-22Use checked NonZero constructor in MIR move path indicesSimon Sapin-1/+1
2017-07-22Rename {NonZero,Shared,Unique}::new to new_uncheckedSimon Sapin-1/+1
2017-06-28Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.Felix S. Klock II-0/+2348