summary refs log tree commit diff
path: root/src/librustc_mir/transform/validate.rs
AgeCommit message (Collapse)AuthorLines
2020-08-18Validate the MIR of all optimizations in the mir-opt directoryOliver Scherer-7/+46
2020-08-08fix clippy::clone_on_copy: don't clone types that are copyMatthias Krüger-1/+1
2020-07-22Fix rebase falloutAaron Hill-1/+1
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
MIR sanity check: validate types on assignment This expands the MIR validation added by @jonas-schievink in https://github.com/rust-lang/rust/pull/72093 to also check that on an assignment, the types of both sides match. Cc @eddyb @oli-obk
2020-06-23Rollup merge of #73586 - RalfJung:switch-ty, r=oli-obkDylan DPC-1/+11
switch_ty is redundant This field is redundant, but we cannot remove it currently as pretty-printing relies on it (and it does not have access to `mir::Body` to compute the type itself). Cc @oli-obk @matthewjasper @jonas-schievink
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
Co-authored-by: Bastian Kauschke <bastian_kauschke@hotmail.de>
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-13 05:52:37 +0000