about summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2017-08-01closure unsafety check: stop moving up when we hit an itemRalf Jung-15/+15
2017-08-01Fixed all unnecessary muts in language coreIsaac van Bakel-1/+1
2017-08-01use FnLike to recognize functions for usRalf Jung-63/+60
2017-08-01handle trait items as wellRalf Jung-0/+1
2017-08-01handle tuple struct ctorsRalf Jung-1/+5
2017-07-31Handle closures. Add some more tests.Ralf Jung-14/+47
2017-07-31fix AddValidation on methodsRalf Jung-2/+8
2017-07-31tidyRalf Jung-2/+2
2017-07-31optionally only emit basic validation for functions containing unsafe block /...Ralf Jung-43/+135
2017-08-01rustc_mir::transform::simplify - remove nops firstAriel Ben-Yehuda-2/+2
2017-07-31CleanEndRegions: use default impl where possibleRalf Jung-7/+0
2017-07-30Consume MirVisitor changes and use more accurate spans for region renumberingPaul Faria-18/+23
2017-07-30do not use doc comments inside functionsRalf Jung-1/+1
2017-07-30Renumber regions as the first step of the non-lexical lifetimes inferencePaul Faria-12/+82
2017-07-30also release/validate around non-Misc castsRalf Jung-30/+71
2017-07-30Reorder passes so that AddValidation can run after ElaborateDropsRalf Jung-15/+6
2017-07-30after a Ref, only acquire the Deref'd destinationRalf Jung-0/+4
2017-07-30please the tidyRalf Jung-5/+8
2017-07-30add -Z flag for AddValidation passRalf Jung-0/+10
2017-07-30make ValidationOperand generic so that we can reuse it in miri with a differe...Ralf Jung-1/+1
2017-07-30when suspending, we need to specify for which lifetime to recoverRalf Jung-50/+91
2017-07-30only emit Suspend validation for mutable pathsRalf Jung-12/+41
2017-07-30add_validation: handle dropRalf Jung-2/+11
2017-07-30emit validation for function calls and RefRalf Jung-5/+88
2017-07-30CleanEndRegions: do not clean regions that occur in types in validation state...Ralf Jung-9/+44
2017-07-30add a pass for validation commands; for now just emit the initial AcquireValidRalf Jung-0/+44
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-0/+3
2017-07-28Merge remote-tracking branch 'origin/master' into genAlex Crichton-4/+5
2017-07-28Update commentJohn Kåre Alsaker-1/+1
2017-07-28Ignore drop check bools when testing for legal generator typesJohn Kåre Alsaker-2/+6
2017-07-28Fix a string literalJohn Kåre Alsaker-1/+1
2017-07-28Remove support for `gen arg`Alex Crichton-53/+2
2017-07-28Fix a bug with yielding subtypes of the yield type.John Kåre Alsaker-7/+9
2017-07-28Rename suspend to yieldJohn Kåre Alsaker-18/+18
2017-07-28Ensure upvars are dropped when generators have never been resumedJohn Kåre Alsaker-43/+115
2017-07-28Fix tidy warningsAlex Crichton-11/+23
2017-07-28Generator literal supportJohn Kåre Alsaker-7/+808
2017-07-28Auto merge of #43324 - Nashenas88:visit_locations, r=arielb1bors-4/+5
2017-07-27Squash Span into SourceInfo and rename enum and its inner typesPaul Faria-2/+2
2017-07-20Auto merge of #43271 - Nashenas88:nll, r=nikomatsakisbors-0/+48
2017-07-19Add empty MIR pass for non-lexical lifetimesPaul Faria-0/+48
2017-07-19Implement const fn {size,align}_of.Eduard-Mihai Burtescu-7/+20
2017-07-18Provide positional information when visiting ty, substs and closure_substs in...Paul Faria-4/+5
2017-07-12overload the mir ty methods to make them more ergonomic to useRalf Jung-31/+31
2017-07-11Refactor: {Lvalue,Rvalue,Operand}::ty only need the locals' types, not the fu...Ralf Jung-31/+31
2017-06-30Auto merge of #42924 - pnkfelix:mir-dataflow, r=arielb1bors-0/+869
2017-06-28rustc_typeck: use body-id of type-checking item in need_type_infoVenkata Giri Reddy-1/+1
2017-06-28Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.Felix S. Klock II-0/+869
2017-06-28Auto merge of #42931 - arielb1:statement-visitor, r=eddybbors-2/+3
2017-06-28re-add the call to `super_statement` in EraseRegionsAriel Ben-Yehuda-2/+3