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
/
compiler
/
rustc_mir
/
src
/
transform
/
validate.rs
Age
Commit message (
Expand
)
Author
Lines
2021-03-09
Clean up todos
kadmin
-1
/
+43
2020-11-23
Rollup merge of #79080 - camelid:mir-visit-debuginfo-project, r=jonas-schievink
Jonas Schievink
-7
/
+1
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
2020-11-19
Revert "Always use param_env_reveal_all_normalized in validator"
Tomasz Miąsko
-7
/
+10
2020-11-15
Rollup merge of #79031 - camelid:mir-validate-local-decl, r=jonas-schievink
Jonas Schievink
-0
/
+7
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
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
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
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
2020-09-04
Change ty.kind to a method
LeSeulArtichaut
-1
/
+1
2020-08-30
mv compiler to compiler/
mark
-0
/
+396