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

Age	Commit message (Collapse)	Author	Lines
2017-08-01	closure unsafety check: stop moving up when we hit an item	Ralf Jung	-15/+15

2017-08-01	Fixed all unnecessary muts in language core	Isaac van Bakel	-1/+1

2017-08-01	use FnLike to recognize functions for us	Ralf Jung	-63/+60

2017-08-01	handle trait items as well	Ralf Jung	-0/+1

2017-08-01	handle tuple struct ctors	Ralf Jung	-1/+5

2017-07-31	Handle closures. Add some more tests.	Ralf Jung	-14/+47

2017-07-31	fix AddValidation on methods	Ralf Jung	-2/+8

2017-07-31	tidy	Ralf Jung	-2/+2

2017-07-31	optionally only emit basic validation for functions containing unsafe block ↵	Ralf Jung	-43/+135
	/ unsafe function
2017-08-01	rustc_mir::transform::simplify - remove nops first	Ariel Ben-Yehuda	-2/+2
	Removing nops can allow more basic blocks to be merged, but merging basic blocks can't allow for more nops to be removed, so we should remove nops first. This doesn't matter that much, because normally we run SimplifyCfg several times, but there's no reason not to do it.
2017-07-31	CleanEndRegions: use default impl where possible	Ralf Jung	-7/+0

2017-07-30	Consume MirVisitor changes and use more accurate spans for region renumbering	Paul Faria	-18/+23

2017-07-30	do not use doc comments inside functions	Ralf Jung	-1/+1

2017-07-30	Renumber regions as the first step of the non-lexical lifetimes inference	Paul Faria	-12/+82

2017-07-30	also release/validate around non-Misc casts	Ralf Jung	-30/+71

2017-07-30	Reorder passes so that AddValidation can run after ElaborateDrops	Ralf Jung	-15/+6

2017-07-30	after a Ref, only acquire the Deref'd destination	Ralf Jung	-0/+4

2017-07-30	please the tidy	Ralf Jung	-5/+8

2017-07-30	add -Z flag for AddValidation pass	Ralf Jung	-0/+10

2017-07-30	make ValidationOperand generic so that we can reuse it in miri with a ↵	Ralf Jung	-1/+1
	different Lvalue type
2017-07-30	when suspending, we need to specify for which lifetime to recover	Ralf Jung	-50/+91
	This matters if the lvalues that is suspended involves Deref'ing a reference -- that reference's lifetime will then not be in the type any more
2017-07-30	only emit Suspend validation for mutable paths	Ralf Jung	-12/+41

2017-07-30	add_validation: handle drop	Ralf Jung	-2/+11

2017-07-30	emit validation for function calls and Ref	Ralf Jung	-5/+88

2017-07-30	CleanEndRegions: do not clean regions that occur in types in validation ↵	Ralf Jung	-9/+44
	statements
2017-07-30	add a pass for validation commands; for now just emit the initial AcquireValid	Ralf Jung	-0/+44

2017-07-30	add new instructions for asserting when values are valid, and to describe ↵	Ralf Jung	-0/+3
	when we can rely on them being locked in memory
2017-07-28	Merge remote-tracking branch 'origin/master' into gen	Alex Crichton	-4/+5

2017-07-28	Update comment	John Kåre Alsaker	-1/+1

2017-07-28	Ignore drop check bools when testing for legal generator types	John Kåre Alsaker	-2/+6

2017-07-28	Fix a string literal	John Kåre Alsaker	-1/+1

2017-07-28	Remove support for `gen arg`	Alex Crichton	-53/+2

2017-07-28	Fix a bug with yielding subtypes of the yield type.	John Kåre Alsaker	-7/+9

2017-07-28	Rename suspend to yield	John Kåre Alsaker	-18/+18

2017-07-28	Ensure upvars are dropped when generators have never been resumed	John Kåre Alsaker	-43/+115

2017-07-28	Fix tidy warnings	Alex Crichton	-11/+23

2017-07-28	Generator literal support	John Kåre Alsaker	-7/+808

2017-07-28	Auto merge of #43324 - Nashenas88:visit_locations, r=arielb1	bors	-4/+5
	Provide positional information when visiting ty, substs and closure_substs in MIR This will enable the region renumbering portion of #43234 (non-lexical lifetimes). @nikomatsakis's current plan [here](https://gist.github.com/nikomatsakis/dfc27b28cd024eb25054b52bb11082f2) shows that we need spans of the original code to create new region variables, e.g. `self.infcx.next_region_var(infer::MiscVariable(span))`. The current visitor impls did not pass positional information (`Location` in some, `Span` and `SourceInfo` for others) for all types. I did not expand this to all visits, just the ones necessary for the above-mentioned plan.
2017-07-27	Squash Span into SourceInfo and rename enum and its inner types	Paul Faria	-2/+2

2017-07-20	Auto merge of #43271 - Nashenas88:nll, r=nikomatsakis	bors	-0/+48
	Add empty MIR pass for non-lexical lifetimes This is the first step for #43234.
2017-07-19	Add empty MIR pass for non-lexical lifetimes	Paul Faria	-0/+48

2017-07-19	Implement const fn {size,align}_of.	Eduard-Mihai Burtescu	-7/+20

2017-07-18	Provide positional information when visiting ty, substs and closure_substs ↵	Paul Faria	-4/+5
	in MIR
2017-07-12	overload the mir ty methods to make them more ergonomic to use	Ralf Jung	-31/+31

2017-07-11	Refactor: {Lvalue,Rvalue,Operand}::ty only need the locals' types, not the ↵	Ralf Jung	-31/+31
	full &Mir
2017-06-30	Auto merge of #42924 - pnkfelix:mir-dataflow, r=arielb1	bors	-0/+869
	Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate. Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate. 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. (This PR is another baby step for mir-borrowck; it is a piece of work that other people want to rebase their stuff on top of, namely developers who are doing other dataflow analyses on top of MIR.) I have deliberately architected this PR in an attempt to minimize the number of actual code changes. The majority of the diff should be little more than changes to mod and use declarations, as well as a few visibility promotions to pub(crate) when a declaration was moved downward in the module hierarchy. (I have no problem with other PR's that move declarations around to try to clean this up; my goal was to ensure that the diff here was as small as possible, to make the review nearly trivial.)
2017-06-28	rustc_typeck: use body-id of type-checking item in need_type_info	Venkata Giri Reddy	-1/+1

2017-06-28	Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.	Felix S. Klock II	-0/+869
	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.
2017-06-28	Auto merge of #42931 - arielb1:statement-visitor, r=eddyb	bors	-2/+3
	re-add the call to `super_statement` in EraseRegions The move gathering code is sensitive to type-equality - that is rather un-robust and I plan to fix it eventually, but that's a more invasive change. And we want to fix the visitor anyway. Fixes #42903. r? @eddyb
2017-06-28	re-add the call to `super_statement` in EraseRegions	Ariel Ben-Yehuda	-2/+3
	The move gathering code is sensitive to type-equality - that is rather un-robust and I plan to fix it eventually, but that's a more invasive change. And we want to fix the visitor anyway. Fixes #42903.