summary refs log tree commit diff
path: root/compiler/rustc_mir/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2021-06-02Validate type of locals used as indicesTomasz Miąsko-2/+20
2021-03-09Clean up todoskadmin-1/+43
2020-11-23Rollup merge of #79080 - camelid:mir-visit-debuginfo-project, r=jonas-schievinkJonas Schievink-7/+1
2020-11-22Add comment and remove obsolete special caseCamelid-7/+1
2020-11-19Revert "Normalize function type during validation"Tomasz Miąsko-2/+0
2020-11-19Revert "Always use param_env_reveal_all_normalized in validator"Tomasz Miąsko-7/+10
2020-11-15Rollup merge of #79031 - camelid:mir-validate-local-decl, r=jonas-schievinkJonas Schievink-0/+7
2020-11-13Validate that locals have a corresponding `LocalDecl`Camelid-0/+7
2020-11-12Always use param_env_reveal_all_normalized in validatorTomasz Miąsko-10/+7
2020-11-12Normalize function type during validationTomasz Miąsko-0/+2
2020-11-06improve fixmeBastian Kauschke-3/+6
2020-11-02revert #75443 update mir validatorBastian Kauschke-75/+21
2020-10-31Assert that locals have storage when usedTomasz Miąsko-12/+21
2020-10-30validator: Extend aliasing check to a call terminatorTomasz Miąsko-5/+40
2020-10-24MIR validation should check `SwitchInt` values are valid for the typeWesley Wiser-2/+24
2020-10-14Validate references to source scopesTomasz Miąsko-2/+15
2020-10-10Refactor how SwitchInt stores jump targetsJonas Schievink-13/+4
2020-10-04Replace `(Body, DefId)` with `Body` where possibleDylan MacKenzie-1/+1
2020-10-04Remember the `MirSource` for each `Body`Dylan MacKenzie-6/+5
2020-10-02validate: skip debuginfoJonas Schievink-15/+14
2020-10-02validate: storage must be allocated on local useJonas Schievink-3/+29
2020-09-10Validate removal of AscribeUserType, FakeRead, and Shallow borrowTomasz Miąsko-2/+26
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+396