about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-25/+32
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+3
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-13/+21
2023-08-01rename deref_operand → deref_pointer and some Miri helper functionsRalf Jung-12/+11
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-4/+4
2023-07-29Rollup merge of #113773 - compiler-errors:err-layout-bail, r=cjgillotMatthias Krüger-1/+4
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-30/+38
2023-07-27Dont report CTFE errors that are due to references-error layoutsMichael Goulet-1/+4
2023-07-27bless clippyDeadbeef-5/+8
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-25/+30
2023-07-27Rollup merge of #114123 - oli-obk:tait_wtf, r=WaffleLapkinGuillaume Gomez-6/+9
2023-07-27Turns out opaque types can have hidden types registered during mir validationOli Scherer-6/+9
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-69/+52
2023-07-26Auto merge of #114071 - RalfJung:interpret-generic-read-write, r=oli-obkbors-244/+276
2023-07-26valtree: a bit of cleanupRalf Jung-15/+15
2023-07-25Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnrMatthias Krüger-3/+8
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-69/+52
2023-07-25make MPlaceTy non-CopyRalf Jung-16/+16
2023-07-25interpret: make read functions generic over operand typeRalf Jung-81/+83
2023-07-25interpret: make write functions generic over the place typeRalf Jung-139/+169
2023-07-25Auto merge of #113393 - compiler-errors:next-solver-unsize-rhs, r=lcnrbors-3/+6
2023-07-25Make everything builtin!Michael Goulet-3/+6
2023-07-25Auto merge of #114011 - RalfJung:place-projection, r=oli-obkbors-1142/+951
2023-07-25add some sanity checks in write_immediate_no_validateRalf Jung-3/+28
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-35/+49
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-1066/+681
2023-07-24interpret: support projecting into Place::Local without force_allocationRalf Jung-249/+404
2023-07-22Auto merge of #113853 - cjgillot:split-validator, r=compiler-errorsbors-188/+303
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-71/+73
2023-07-21Auto merge of #113892 - RalfJung:uninit-undef-poison, r=wesleywiserbors-1/+1
2023-07-21Reuse MIR validator for inliner.Camille GILLOT-1/+1
2023-07-21Make type validation buffer errors.Camille GILLOT-25/+24
2023-07-21Separate CFG validation from type validation.Camille GILLOT-181/+297
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-3/+8
2023-07-21CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`Moulins-11/+9
2023-07-21support non-null pointer niches in CTFEMoulins-63/+63
2023-07-20clarify MIR uninit vs LLVM undef/poisonRalf Jung-1/+1
2023-07-16Refactor checking function target features during const-evalEduardo Sánchez Muñoz-18/+29
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+19
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-104/+100
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-33/+54
2023-07-11fix handling of alignment for dyn-sized placesRalf Jung-4/+6
2023-07-11miri: protect Move() function arguments during the callRalf Jung-64/+180
2023-07-08Auto merge of #113376 - Nilstrieb:pointer-coercions-are-not-casts-because-tha...bors-23/+24
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-23/+24
2023-07-07miri: check that assignments do not self-overlapRalf Jung-1/+6
2023-07-07Auto merge of #113308 - compiler-errors:poly-select, r=lcnrbors-14/+9
2023-07-06Rollup merge of #111917 - WaffleLapkin:validate_unalloc, r=oli-obkMichael Goulet-14/+9
2023-07-06Separate select calls that don't need a binderMichael Goulet-14/+9
2023-07-06Auto merge of #113377 - BoxyUwU:move_ty_ctors_to_ty, r=compiler-errorsbors-10/+16