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

Age	Commit message (Collapse)	Author	Lines
2019-04-24	Rollup merge of #56278 - eddyb:mir-debuginfo-proof, r=nikomatsakis	Mazdak Farrokhzad	-2/+2
	Future-proof MIR for dedicated debuginfo. This is #56231 without the last commit (the one that actually moves to `VarDebuginfo`). Nothing should be broken, but it should no longer depend on debuginfo for anything else. r? @nikomatsakis
2019-04-23	rustc_mir: create the `let` and "remainder" scopes in source order.	Eduard-Mihai Burtescu	-2/+2

2019-04-23	Remove unnecessary ignore-tidy-linelength	varkor	-1/+0

2018-12-25	Remove licenses	Mark Rousskov	-20/+0

2018-09-18	Update mir-opt test suite	Rémy Rakic	-3/+3

2018-09-10	optimize `let x: T = ..` to avoid a temporary	Niko Matsakis	-38/+0
	For some weird reason this fixes `intrinsic-move-val`. It also affects various test heuristics. I removed one test (`reborrow_basic`) that didn't seem to really be testing anything in particular anymore, compared to all the other tests we've got.
2018-09-06	Fix tests	Wesley Wiser	-1/+1

2018-08-27	merge `PointIndexMap` and `RegionValueElements`	Niko Matsakis	-9/+9

2018-07-26	patch up mir-opt tests	Niko Matsakis	-14/+14

2018-07-21	delete tests	dylan_DPC	-110/+0

2018-07-21	remove unwanted tests and a reference to it in comments	dylan_DPC	-134/+0

2018-07-01	update mir-opt tests	Niko Matsakis	-5/+7

2018-06-27	Update MIR opt tests	Matthew Jasper	-6/+4

2018-05-30	rustc: use syntactic (instead of visibility) source info where appropriate.	Eduard-Mihai Burtescu	-4/+4

2018-05-10	"fix" test region-liveness-two-disjoint-uses	Niko Matsakis	-2/+5
	We no longer get two disjoint uses. =)
2018-04-15	remove -Znll -- borrowck=mir implies nll now	Niko Matsakis	-13/+13

2018-03-23	Updated MIR with UserAssertTy in mir-opt tests.	David Wood	-2/+2

2018-03-08	Produce instead of pointers	Oliver Schneider	-1/+1

2018-02-07	[ci skip] Generate false edges from loop_block	bobtwinkles	-8/+8
	As opposed to using weirdness involving pretending the body block is the loop block. This does not pass tests This commit is [ci skip] because I know it doesn't pass tests yet. Somehow this commit introduces nondeterminism into the handling of loops.
2017-12-20	convert region-liveness-drop{-,-no-}may-dangle.rs into ui tests	Niko Matsakis	-102/+0
	The "match exact bits of CFG" approach was fragile and uninformative.
2017-12-15	more concise debug output when dumping the value of a region	Niko Matsakis	-21/+21

2017-12-15	impose inputs/ouputs on MIR after the fact	Niko Matsakis	-1/+5
	The input/output types found in `UniversalRegions` are not normalized. The old code used to assign them directly into the MIR, which would lead to errors when there was a projection in a argument or return type. This also led to some special cases in the `renumber` code. We now renumber uniformly but then pass the input/output types into the MIR type-checker, which equates them with the types found in MIR. This allows us to normalize at the same time.
2017-12-15	thread through an implicit region body of the fn body	Niko Matsakis	-26/+32

2017-12-13	refactor region value bitmatrix	Niko Matsakis	-4/+4

2017-12-07	add closure requirement tests, improve debugging output	Niko Matsakis	-36/+44
	The overall format is now easier to read. Also, There is now graphviz output, as well as a `#[rustc_regions]` annotation that dumps internal state.
2017-12-04	constraint_generation: create liveness constraints more thoroughly	Niko Matsakis	-4/+4
	We now visit just the stuff in the CFG, and we add liveness constraints for all the random types, regions etc that appear within rvalues and statements.
2017-12-04	replace constant regions with a post-inference check	Niko Matsakis	-2/+2
	Rather than declaring some region variables to be constant, and reporting errors when they would have to change, we instead populate each free region X with a minimal set of points (the CFG plus end(X)), and then we let inference do its thing. This may add other `end(Y)` points into X; we can then check after the fact that indeed `X: Y` holds. This requires a bit of "blame" detection to find where the bad constraint came from: we are currently using a pretty dumb algorithm. Good place for later expansion.
2017-12-03	add and unignore tests	Ariel Ben-Yehuda	-2/+1

2017-12-03	funnel all unwind paths through a single Resume block	Ariel Ben-Yehuda	-44/+42
	This simplifies analysis and borrow-checking because liveness at the resume point can always be simply propagated. Later on, the "dead" Resumes are removed.
2017-11-28	tests: update to include move annotations in MIR.	Eduard-Mihai Burtescu	-4/+4

2017-11-25	Disable region-liveness-drop-no-may-dangle.rs	Keith Yeung	-0/+1

2017-11-17	MIR: hide .rodata constants vs by-ref ABI clash in trans.	Eduard-Mihai Burtescu	-11/+5

2017-11-16	fix mir-opt NLL tests -- variable `'_#0r` is now `'static`	Niko Matsakis	-25/+25

2017-11-09	change separator from `.` to `-`	Mikhail Modin	-2/+2

2017-11-09	change MIR dump filenames from `nodeN` to `DefPath`	Mikhail Modin	-30/+30

2017-11-02	add `mir-opt/named-lifetimes-basic.rs`	Niko Matsakis	-0/+34
	This lets us inspect the regions we infer around named arguments.
2017-10-31	patch mir-opt reference files	Niko Matsakis	-7/+13

2017-10-31	change region display to `'_#Nr`, update the `newtype_index!` macro	Niko Matsakis	-12/+12
	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	add basic region subtyping inference	Santiago Pastorino	-0/+49

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

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

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

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

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

2017-10-31	introduce liveness constraints into NLL code	Niko Matsakis	-0/+55
	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	-5/+18

2017-10-31	factor out `pre_defs` field by going backwards	Niko Matsakis	-0/+36

2017-10-31	add a test for the subtle case around calls	Niko Matsakis	-0/+42

2017-10-31	execute liveness, write a simple test	Niko Matsakis	-0/+47