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

Age	Commit message (Collapse)	Author	Lines
2017-11-10	Separately eliminate self-assignments	sinkuu	-4/+39

2017-11-10	Fix MIR CopyPropagation errneously propagating assignments to function arguments	sinkuu	-0/+7

2017-11-10	Normalize inlined function in MIR inliner	Shotaro Yamada	-5/+33

2017-11-10	Auto merge of #45785 - arielb1:unsafe-fixes, r=eddyb	bors	-69/+113
	fixes to MIR effectck r? @eddyb beta-nominating because regression (MIR effectck is new)
2017-11-09	add a bunch of debug logging to transform::inline	Ariel Ben-Yehuda	-6/+23

2017-11-06	Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1	bors	-177/+462
	extend NLL with preliminary support for free regions on functions This PR extends https://github.com/rust-lang/rust/pull/45538 with support for free regions. This is pretty preliminary and will no doubt want to change in various ways, particularly as we add support for closures, but it's enough to get the basic idea in place: - We now create specific regions to represent each named lifetime declared on the function. - Region values can contain references to these regions (represented for now as a `BTreeSet<RegionIndex>`). - If we wind up trying to infer that `'a: 'b` must hold, but no such relationship was declared, we report an error. It also does a number of drive-by refactorings. r? @arielb1 cc @spastorino
2017-11-06	collect unused unsafe code	Ariel Ben-Yehuda	-61/+92
	FIXME: de-uglify
2017-11-06	run unsafety checking before dead block collection	Ariel Ben-Yehuda	-4/+12
	Fixes #45087.
2017-11-06	fix unsafety checking for generators	Ariel Ben-Yehuda	-7/+12
	Fixes #45729
2017-11-02	trace span info for constraints and report errors	Niko Matsakis	-26/+104

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

2017-11-02	add comments to `region_infer`, restructure a bit	Niko Matsakis	-35/+56

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

2017-11-02	rename `Lookup` to `TyContext` and pass more info when visiting tys	Niko Matsakis	-23/+22

2017-11-02	add TerminatorKind::FalseEdges and use it in matches	Mikhail Modin	-4/+23

2017-10-31	remove the NLL pass (it is now invoked by mir borrowck)	Niko Matsakis	-23/+2

2017-10-31	change region display to `'_#Nr`, update the `newtype_index!` macro	Niko Matsakis	-1/+1
	The macro now takes a format string. It no longer defaults to using the type name. Didn't seem worth going through contortions to maintain. I also changed most of the debug formats to be `foo[N]` instead of `fooN`.
2017-10-31	make the dataflow / mir-borrowck types carry a `'tcx` lifetime	Niko Matsakis	-5/+5
	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 nll separately invokable	Niko Matsakis	-29/+13

2017-10-31	add basic region subtyping inference	Santiago Pastorino	-0/+112

2017-10-31	add reborrow constraints	Santiago Pastorino	-0/+35

2017-10-31	factor out NLL invocation interface	Niko Matsakis	-76/+123

2017-10-31	update the format of liveness debug dumps to be more readable	Niko Matsakis	-24/+61

2017-10-31	add subregion between borrow region and resulting reference	Niko Matsakis	-8/+55

2017-10-31	preliminary support for may-dangle attribute and drop constraints	Niko Matsakis	-13/+113

2017-10-31	extend liveness to distinguish "drop" and "non-drop" uses	Niko Matsakis	-33/+74

2017-10-31	introduce liveness constraints into NLL code	Niko Matsakis	-209/+329
	And do a bunch of gratuitious refactoring that I did not bother to separate into nice commits.
2017-10-31	extend liveness to compute intrablock liveness and add unit tests	Niko Matsakis	-10/+34

2017-10-31	execute liveness, write a simple test	Niko Matsakis	-3/+25

2017-10-13	Add License to infer.rs	Santiago Pastorino	-0/+10

2017-10-13	TODO -> FIXME	Santiago Pastorino	-4/+4

2017-10-13	Add allow_dead code directive to unused methods	Santiago Pastorino	-0/+5

2017-10-13	Do not move infcx, just borrow it	Santiago Pastorino	-7/+8

2017-10-13	borrow block_data instead of moving it	Santiago Pastorino	-1/+1

2017-10-13	sup_def is a mutable reference	Santiago Pastorino	-1/+1

2017-10-13	inteference_context should be mut	Santiago Pastorino	-1/+1

2017-10-13	Mark Region as public	Santiago Pastorino	-1/+1

2017-10-13	Mark free regions handling as TODO	Santiago Pastorino	-9/+10

2017-10-13	Initial attempt at implementation of inference layout for nll	Paul Faria	-5/+224

2017-10-13	Auto merge of #45013 - chrisvittal:mir_pretty_printing_pr, r=nikomatsakis	bors	-7/+38
	Extend mir dump to dump each region Building on #44878, implement the feature discussed in #44872. Through discussions on the WG-nll-gitter, @nikomatsakis and I decided to implement this by extending `dump_mir` and all functions that it calls to take a callback of signature `FnMut(PassWhere, &mut Write) -> io::Result<()>` where `PassWhere` is an enum that represents possible locations that we may want to print out extra data in the process of dumping the MIR. I'm not particularly wedded to the name `PassWhere`, but I felt that simply calling the enum `Where` wasn't the right thing to name it. This work depends strongly on #44878, and should be rebased on the final version of that tree, whatever that may be.
2017-10-08	Auto merge of #45016 - pnkfelix:mir-borrowck-gather-and-signal-move-errors, ↵	bors	-2/+2
	r=nikomatsakis MIR-borrowck: gather and signal any move errors When building up the `MoveData` structure for a given MIR, also accumulate any erroneous actions, and then report all of those errors when the construction is complete. This PR adds a host of move-related error constructor methods to `trait BorrowckErrors`. I think I got the notes right; but we should plan to audit all of the notes before turning MIR-borrowck on by default. Fix #44830
2017-10-04	Expand mir dump in order to handle NLL pass	Christopher Vittal	-7/+38
	Extend `dump_mir` and functions it calls in order to allow callers to add custom information. We do this by adding an enum `PassWhere` and an extra argument of type `FnMut(PassWhere, &mut Write) -> io::Result<()>`. This callback is responsible for printing the extra information when MIR is dumped at various stages. For the "nll" pass, use the new mechanism to dump the `Region` information after the header, but before the control flow graph for every function. In the interest of keeping the output somewhat concise, implement a custom Debug impl for `Region` Open Questions: * What should we call what has been called `PassWhere` so far?
2017-10-04	Make newtype_index get debug_name using reflection	Santiago Pastorino	-1/+1

2017-10-04	Make newtype_index macro use full path to resolve constants	Santiago Pastorino	-2/+0

2017-10-04	Generate Idx in nll using newtype_index!	Santiago Pastorino	-15/+3

2017-10-04	Convert regions to IndexVec	Santiago Pastorino	-2/+19

2017-10-04	Store a new Region value every time we create a new region variable	Paul Faria	-2/+11

2017-10-04	Auto merge of #44901 - michaelwoerister:on-demand-eval, r=nikomatsakis	bors	-8/+7
	incr.comp.: Switch to red/green change tracking, remove legacy system. This PR finally switches incremental compilation to [red/green tracking](https://github.com/rust-lang/rust/issues/42293) and completely removes the legacy dependency graph implementation -- which includes a few quite costly passes that are simply not needed with the new system anymore. There's still some documentation to be done and there's certainly still lots of optimizing and tuning ahead -- but the foundation for red/green is in place with this PR. This has been in the making for a long time `:)` r? @nikomatsakis cc @alexcrichton, @rust-lang/compiler
2017-10-04	mir-borrowck: Gather move errors during MoveData construction and report them.	Felix S. Klock II	-2/+2
	Currently is using DUMMY_SP as the associated span; a follow-up commit will pass in appropriate spans when constructing the errors.
2017-10-03	Auto merge of #44896 - qmx:move-resolve-to-librustc, r=arielb1	bors	-11/+17
	Move monomorphize::resolve() to librustc this moves `monomorphize::resolve(..)` to librustc, and re-enables inlining for some trait methods, fixing #44389 @nikomatsakis I've kept the calls to the new `ty::Instance::resolve(....)` always `.unwrap()`-ing for the moment, how/do you want to add more debugging info via `.unwrap_or()` or something like this? we still have some related `resolve_*` functions on monomorphize, but I wasn't sure moving them was into the scope for this PR too. @eddyb mind to take a look too?