about summary refs log tree commit diff
path: root/src/librustc_mir/transform/add_validation.rs
AgeCommit message (Expand)AuthorLines
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-395/+0
2018-09-24Shrink StatementKind::Assign.Nicholas Nethercote-6/+6
2018-08-27Rename hir::map::NodeKind to hir::Nodevarkor-3/+3
2018-08-27Rename hir::map::Node to hir::map::NodeKindvarkor-3/+3
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-3/+3
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-0/+1
2018-07-18Auto merge of #52364 - ljedrz:mir_remove_clone, r=RalfJungbors-10/+11
2018-07-16ExprKindcsmoe-1/+1
2018-07-15Remove a clone in mir/transform/add_validation.ljedrz-10/+11
2018-05-30rustc: rename mir::VisibilityScope to mir::SourceScope.Eduard-Mihai Burtescu-1/+1
2018-05-16label-break-value: Parsing and AST/HIR changesest31-1/+1
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-2/+2
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-37/+35
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-6/+6
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-3/+7
2017-11-14rustc: split off BodyOwnerKind from MirSource.Eduard-Mihai Burtescu-4/+4
2017-11-14rustc: move the MIR pass infrastructure and list to rustc_mir.Eduard-Mihai Burtescu-1/+2
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-2/+2
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-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-42/+132
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-30after a Ref, only acquire the Deref'd destinationRalf Jung-0/+4
2017-07-30please the tidyRalf Jung-2/+2
2017-07-30add -Z flag for AddValidation passRalf Jung-0/+4
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-30add a pass for validation commands; for now just emit the initial AcquireValidRalf Jung-0/+43