rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2017-11-15	add `StorageDead` handling	Mikhail Modin	-7/+14

2017-11-15	Auto merge of #45922 - vramana:fix-45702, r=nikomatsakis	bors	-5/+11
	Fix MIR borrowck EndRegion not found Fixes #45702 - [x] Add Tests
2017-11-11	Fix MIR borrowck EndRegion not found	Ramana Venkata	-5/+11
	Updated tests Fixes #45702
2017-11-09	Add `TerminatorKind::DropAndReplace` handling	Mikhail Modin	-0/+13

2017-11-08	restore move out dataflow, add report of move out errors	Mikhail Modin	-1/+161

2017-11-02	encapsulate the `Region` struct within region inference	Niko Matsakis	-5/+15

2017-11-02	extend NLL regions to include free region indices and add outlives	Niko Matsakis	-3/+3

2017-10-31	connect MIR borrowck with NLL	Niko Matsakis	-6/+34

2017-10-31	make the dataflow / mir-borrowck types carry a `'tcx` lifetime	Niko Matsakis	-40/+40
	Also, factor out `do_mir_borrowck`, which is the code that actually performs the MIR borrowck from within the scope of an inference context. This change should be a pure refactoring.
2017-10-31	make end-point optional in the borrow check	Niko Matsakis	-2/+5

2017-10-05	Rollup merge of #44987 - pnkfelix:mir-borrowck-fix-borrowindexes-ice, r=arielb1	kennytm	-5/+5
	`EndRegion` do not always correspond to borrow-data entries Remove assertion that the argument to every `EndRegion` correspond to some dataflow-tracked borrow-data entry. Fix #44828 (The comment thread on the aforementioned issue discusses why its best to just remove this assertion.)
2017-10-04	add notes to report_conflicting_borrow MIR borrowck	Mikhail Modin	-2/+25

2017-10-02	Remove assertion that the argument to every `EndRegion` correspond to	Felix S. Klock II	-5/+5
	some dataflow-tracked borrow-data entry. Fix #44828 (The comment thread on the aforementioned issue discusses why its best to just remove this assertion.)
2017-09-13	Analyse storage liveness and preserve it during generator transformation	John Kåre Alsaker	-0/+86

2017-09-01	rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.	Eduard-Mihai Burtescu	-6/+6

2017-08-19	rustc: Remove some dead code	Vadim Petrochenkov	-160/+1

2017-08-16	Added dataflow analysis for `Borrows`.	Felix S. Klock II	-0/+183
	post-rebase: addressed review comment: rename `loc_map`/`location_map` and `rgn_map`/`region_map`. post-rebase: remove now unnecessary `mut` decl. post-rebase: address comments: bind iterator expr, and alpha-rename `loc`/`location` and `idx`/`index`.
2017-08-16	Refactor `trait BitDenotation` to take `Location` instead of ↵	Felix S. Klock II	-30/+20
	`BasicBlock`/`usize` argument pairs.
2017-08-12	Auto merge of #43794 - Eijebong:fix_typos, r=lukaramu,steveklanik,imperio	bors	-1/+1
	Fix some typos I wrote a really naive script and found those typos in the documentation.
2017-08-11	Fix some typos	Bastien Orivel	-1/+1

2017-08-10	For box expressions, use NZ drop instead of a free block	Ariel Ben-Yehuda	-9/+22
	This falls naturally out of making drop elaboration work with `box` expressions, which is probably required for sane MIR borrow-checking. This is a pure refactoring with no intentional functional effects.
2017-07-30	add new instructions for asserting when values are valid, and to describe ↵	Ralf Jung	-0/+1
	when we can rely on them being locked in memory
2017-06-28	Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.	Felix S. Klock II	-0/+600
	Turn `elaborate_drops` and `rustc_peek` implementations into MIR passes that also live in `rustc_mir` crate. Rewire things so `rustc_driver` uses the `ElaborateDrops` from `rustc_mir` crate.