summary refs log tree commit diff
path: root/src/librustc_mir/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2020-06-30update `equal_up_to_regions`Bastian Kauschke-5/+5
2020-06-27Rollup merge of #72796 - RalfJung:mir-assign-sanity, r=matthewjasperManish Goregaokar-12/+147
2020-06-23Rollup merge of #73586 - RalfJung:switch-ty, r=oli-obkDylan DPC-1/+11
2020-06-22make layout check a mere sanity checkRalf Jung-4/+6
2020-06-22also use relator in interpreter assignment sanity checkRalf Jung-74/+88
2020-06-22fix typoRalf Jung-1/+1
2020-06-22use a TypeRelation to compare the typesRalf Jung-18/+80
2020-06-22no need to normalize mutability any moreRalf Jung-13/+7
2020-06-22reveal_all when sanity-checking MIR assignment typesRalf Jung-3/+6
2020-06-22also normalize_erasing_regionsRalf Jung-0/+7
2020-06-22also normalize constants when comparing typesRalf Jung-33/+35
2020-06-22prepare visit_statement for checking more kinds of statementsRalf Jung-25/+28
2020-06-22MIR sanity check: validate types on assignmentRalf Jung-3/+51
2020-06-21fmtRalf Jung-2/+1
2020-06-21MIR validation: check switch_tyRalf Jung-1/+12
2020-06-21Make is_freeze and is_copy_modulo_regions take TyCtxtAtRalf Jung-1/+1
2020-06-14validator: print MIR instance on failureJonas Schievink-6/+4
2020-06-09Address commentsNathan Corbyn-19/+26
2020-06-08Strengthen cleanup to cleanup checkNathan Corbyn-16/+16
2020-06-08Relax cleanup to cleanup checkNathan Corbyn-2/+2
2020-06-08Enforce unwind invariantsNathan Corbyn-19/+41
2020-06-07rename FalseEdges -> FalseEdgeRalf Jung-1/+1
2020-05-31always print MIR Location when validator finds a problemRalf Jung-32/+36
2020-05-31more checks for SwitchIntRalf Jung-3/+7
2020-05-31replace DUMMY_SP by proper spanRalf Jung-5/+3
2020-05-31validate basic sanity for TerminatorKindRalf Jung-2/+101
2020-05-25Add a small MIR validation passJonas Schievink-0/+80
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 21:12:31 +0000