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

Age	Commit message (Collapse)	Author	Lines
2021-09-07	Rename rustc_mir to rustc_const_eval.	Camille GILLOT	-523/+0

2021-09-07	Move the dataflow framework to its own crate.	Camille GILLOT	-4/+3

2021-06-02	Validate type of locals used as indices	Tomasz Miąsko	-2/+20

2021-03-09	Clean up todos	kadmin	-1/+43
	Also add some span_bugs where it is unreachable
2020-11-23	Rollup merge of #79080 - camelid:mir-visit-debuginfo-project, r=jonas-schievink	Jonas Schievink	-7/+1
	MIR visitor: Don't treat debuginfo field access as a use of the struct Fixes #77454. r? `@jonas-schievink`
2020-11-22	Add comment and remove obsolete special case	Camelid	-7/+1

2020-11-19	Revert "Normalize function type during validation"	Tomasz Miąsko	-2/+0
	This reverts commit d486bfcbff107e8a6769e00c59d02b13c664b6ee.
2020-11-19	Revert "Always use param_env_reveal_all_normalized in validator"	Tomasz Miąsko	-7/+10
	This reverts commit 99be78d135e73197e04221c139a219ea6436e72a.
2020-11-15	Rollup merge of #79031 - camelid:mir-validate-local-decl, r=jonas-schievink	Jonas Schievink	-0/+7
	Validate that locals have a corresponding `LocalDecl` Fixes #73356.
2020-11-13	Validate that locals have a corresponding `LocalDecl`	Camelid	-0/+7

2020-11-12	Always use param_env_reveal_all_normalized in validator	Tomasz Miąsko	-10/+7

2020-11-12	Normalize function type during validation	Tomasz Miąsko	-0/+2
	During inlining, the callee body is normalized and has types revealed, but some of locals corresponding to the arguments might come from the caller body which is not. As a result the caller body does not pass validation without additional normalization.
2020-11-06	improve fixme	Bastian Kauschke	-3/+6

2020-11-02	revert #75443 update mir validator	Bastian Kauschke	-75/+21

2020-10-31	Assert that locals have storage when used	Tomasz Miąsko	-12/+21
	The validator in visit_local asserts that local has a stroage when used, but visit_local is never called so validation is ineffective. Use super_statement and super_terminator to ensure that locals are visited.
2020-10-30	validator: Extend aliasing check to a call terminator	Tomasz Miąsko	-5/+40

2020-10-24	MIR validation should check `SwitchInt` values are valid for the type	Wesley Wiser	-2/+24

2020-10-14	Validate references to source scopes	Tomasz Miąsko	-2/+15

2020-10-10	Refactor how SwitchInt stores jump targets	Jonas Schievink	-13/+4

2020-10-04	Replace `(Body, DefId)` with `Body` where possible	Dylan MacKenzie	-1/+1
	A `Body` now contains its `MirSource`, which in turn contains the `DefId` of the item associated with the `Body`.
2020-10-04	Remember the `MirSource` for each `Body`	Dylan MacKenzie	-6/+5

2020-10-02	validate: skip debuginfo	Jonas Schievink	-15/+14

2020-10-02	validate: storage must be allocated on local use	Jonas Schievink	-3/+29

2020-09-10	Validate removal of AscribeUserType, FakeRead, and Shallow borrow	Tomasz Miąsko	-2/+26
	Those statements are removed by CleanupNonCodegenStatements pass in drop lowering phase, and should not occur afterwards.
2020-09-04	Change ty.kind to a method	LeSeulArtichaut	-1/+1

2020-08-30	mv compiler to compiler/	mark	-0/+396