summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2022-05-11Remove `PartialOrd`/`Ord` impl for `PlaceRef`Aaron Hill-2/+3
2022-05-06Check that field projections have the correct typeJakob Degen-1/+55
2022-05-06Expand validator to be more precise on checked binary opsJakob Degen-3/+41
2022-04-22Relax restrictions for copy operandsJakob Degen-1/+2
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-4/+3
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+2
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-1/+1
2022-04-11Adjust MIR validator to check a few more things for terminatorsJakob Degen-5/+19
2022-04-11Extend the MIR validator to check many more things around rvalues.Jakob Degen-39/+161
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-1/+9
2022-04-11Add new `Deinit` statement kindJakob Degen-3/+18
2022-03-28Normalize all projections in mir validation againOli Scherer-1/+6
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-4/+1
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-27/+47
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+4
2022-02-07Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakisbors-4/+1
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-4/+1
2022-02-01Validate that values in switch int terminator are uniqueTomasz Miąsko-0/+18
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-1/+0
2021-12-13Remove `in_band_lifetimes` from `rustc_const_eval`LegionMammal978-1/+1
2021-12-03Add initial AST and MIR support for unwinding from inline assemblyAmanieu d'Antras-1/+4
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-2/+1
2021-11-29Don't re-export `MirPass`Dylan MacKenzie-3/+2
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+2
2021-09-18Start block is not allowed to have basic block predecessorsTomasz Miąsko-1/+4
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+523