about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
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