index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
librustc_mir
/
transform
/
add_validation.rs
Age
Commit message (
Expand
)
Author
Lines
2018-10-29
Emit Retag statements, kill Validate statements
Ralf Jung
-395
/
+0
2018-09-24
Shrink StatementKind::Assign.
Nicholas Nethercote
-6
/
+6
2018-08-27
Rename hir::map::NodeKind to hir::Node
varkor
-3
/
+3
2018-08-27
Rename hir::map::Node to hir::map::NodeKind
varkor
-3
/
+3
2018-08-22
Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...
varkor
-3
/
+3
2018-07-23
Promoteds are statics and statics have a place, not just a value
Oliver Schneider
-0
/
+1
2018-07-18
Auto merge of #52364 - ljedrz:mir_remove_clone, r=RalfJung
bors
-10
/
+11
2018-07-16
ExprKind
csmoe
-1
/
+1
2018-07-15
Remove a clone in mir/transform/add_validation.
ljedrz
-10
/
+11
2018-05-30
rustc: rename mir::VisibilityScope to mir::SourceScope.
Eduard-Mihai Burtescu
-1
/
+1
2018-05-16
label-break-value: Parsing and AST/HIR changes
est31
-1
/
+1
2018-05-08
Insert fields from TypeAndMut into TyRef to allow layout optimization
John Kåre Alsaker
-2
/
+2
2017-12-01
MIR: s/lv(al(ue)?)?/place in function/variable/module names.
Eduard-Mihai Burtescu
-37
/
+35
2017-12-01
MIR: s/Lvalue/Place in type names.
Eduard-Mihai Burtescu
-6
/
+6
2017-11-28
MIR: split Operand::Consume into Copy and Move.
Eduard-Mihai Burtescu
-3
/
+7
2017-11-14
rustc: split off BodyOwnerKind from MirSource.
Eduard-Mihai Burtescu
-4
/
+4
2017-11-14
rustc: move the MIR pass infrastructure and list to rustc_mir.
Eduard-Mihai Burtescu
-1
/
+2
2017-09-01
rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.
Eduard-Mihai Burtescu
-2
/
+2
2017-08-01
also release-validate return value before a call
Ralf Jung
-8
/
+13
2017-08-01
closure unsafety check: stop moving up when we hit an item
Ralf Jung
-15
/
+15
2017-08-01
use FnLike to recognize functions for us
Ralf Jung
-63
/
+60
2017-08-01
handle trait items as well
Ralf Jung
-0
/
+1
2017-08-01
handle tuple struct ctors
Ralf Jung
-1
/
+5
2017-07-31
Handle closures. Add some more tests.
Ralf Jung
-14
/
+47
2017-07-31
fix AddValidation on methods
Ralf Jung
-2
/
+8
2017-07-31
tidy
Ralf Jung
-2
/
+2
2017-07-31
optionally only emit basic validation for functions containing unsafe block /...
Ralf Jung
-42
/
+132
2017-07-30
do not use doc comments inside functions
Ralf Jung
-1
/
+1
2017-07-30
also release/validate around non-Misc casts
Ralf Jung
-30
/
+71
2017-07-30
after a Ref, only acquire the Deref'd destination
Ralf Jung
-0
/
+4
2017-07-30
please the tidy
Ralf Jung
-2
/
+2
2017-07-30
add -Z flag for AddValidation pass
Ralf Jung
-0
/
+4
2017-07-30
make ValidationOperand generic so that we can reuse it in miri with a differe...
Ralf Jung
-1
/
+1
2017-07-30
when suspending, we need to specify for which lifetime to recover
Ralf Jung
-50
/
+91
2017-07-30
only emit Suspend validation for mutable paths
Ralf Jung
-12
/
+41
2017-07-30
add_validation: handle drop
Ralf Jung
-2
/
+11
2017-07-30
emit validation for function calls and Ref
Ralf Jung
-5
/
+88
2017-07-30
add a pass for validation commands; for now just emit the initial AcquireValid
Ralf Jung
-0
/
+43