about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2017-08-04Auto merge of #43403 - RalfJung:mir-validate, r=nikomatsakisbors-8/+435
2017-08-01also release-validate return value before a callRalf Jung-8/+13
2017-08-01closure unsafety check: stop moving up when we hit an itemRalf Jung-15/+15
2017-08-01Auto merge of #43576 - arielb1:no-unneeded-unwind, r=eddybbors-47/+77
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-08-01pacify the merciless tidyAriel Ben-Yehuda-2/+2
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-08-01rustc_mir: don't build unused unwind cleanup blocksAriel Ben-Yehuda-32/+57
2017-08-01remove the span field from `diverge_cleanup`Ariel Ben-Yehuda-14/+19
2017-07-31CleanEndRegions: use default impl where possibleRalf Jung-7/+0
2017-07-30do not use doc comments inside functionsRalf Jung-1/+1
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/+6
2017-07-29Rollup merge of #43512 - arielb1:untyped-move-paths, r=eddybMark Simulacrum-2/+9
2017-07-28Auto merge of #43324 - Nashenas88:visit_locations, r=arielb1bors-7/+8
2017-07-28Auto merge of #43505 - eddyb:poly-const-eval-layout-of, r=nikomatsakisbors-13/+39
2017-07-27Squash Span into SourceInfo and rename enum and its inner typesPaul Faria-4/+4
2017-07-27erase types in the move-path abstract domainAriel Ben-Yehuda-2/+9
2017-07-27rustc_const_eval: keep track of the appropriate ParamEnv.Eduard-Mihai Burtescu-6/+12
2017-07-27rustc_const_eval: always require correct Substs.Eduard-Mihai Burtescu-11/+31
2017-07-26Rollup merge of #42959 - SimonSapin:nonzero-checked, r=sfacklerMark Simulacrum-1/+1
2017-07-25Bump master to 1.21.0Alex Crichton-2/+0
2017-07-23Fix some doc/comment typos.Bruce Mitchener-1/+1
2017-07-22Use checked NonZero constructor in MIR move path indicesSimon Sapin-1/+1
2017-07-22Rename {NonZero,Shared,Unique}::new to new_uncheckedSimon Sapin-1/+1
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-7/+8
2017-07-12overload the mir ty methods to make them more ergonomic to useRalf Jung-37/+37
2017-07-11Refactor: {Lvalue,Rvalue,Operand}::ty only need the locals' types, not the fu...Ralf Jung-37/+37
2017-07-06remove associated_consts feature gateSean McArthur-1/+2
2017-06-30Auto merge of #42924 - pnkfelix:mir-dataflow, r=arielb1bors-0/+3220