about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-07-01use const instead of function and make it privateTakayuki Maeda-5/+3
2022-06-30Recover when failing to normalize closure signature.Camille GILLOT-1/+2
2022-06-30Don't assert polymorphization has taken effect in const evalWesley Wiser-16/+4
2022-06-30Rollup merge of #98688 - RalfJung:from-mplace, r=oli-obkMatthias Krüger-8/+29
2022-06-30Change enum->int casts to not go through MIR casts.Oli Scherer-27/+30
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-8/+29
2022-06-29Rollup merge of #98643 - voidc:valtree-ref-pretty, r=lcnrMatthias Krüger-79/+0
2022-06-29Rollup merge of #98554 - DrMeepster:box_unsizing_is_not_special, r=RalfJungDylan DPC-17/+7
2022-06-29Rollup merge of #98549 - RalfJung:interpret-stacktraces, r=oli-obkDylan DPC-18/+13
2022-06-29avoid walk when `get_ptr_alloc` returns no `AllocRef`Rémy Rakic-0/+3
2022-06-29fix commentsRémy Rakic-5/+5
2022-06-28fix silly mistakeDrMeepster-1/+1
2022-06-28Improve pretty printing of valtrees for referencesDominik Stolz-79/+0
2022-06-28const alloc interning: only check for references for arrays/slicesRémy Rakic-14/+18
2022-06-28ctfe: clarify skipping the interning walkRémy Rakic-11/+30
2022-06-28make `get_relocations` privateRémy Rakic-1/+1
2022-06-28ctfe interning: don't walk allocations that don't need itRémy Rakic-3/+25
2022-06-28Validate all fields of box instead of validating allocator specificallyDrMeepster-2/+2
2022-06-27make AllocKind actually publicRalf Jung-1/+1
2022-06-26interpret: refactor allocation info queryRalf Jung-51/+34
2022-06-26validate box's allocatorDrMeepster-0/+3
2022-06-26fix box with custom allocator in miriDrMeepster-17/+4
2022-06-26interpret: do not prune requires_caller_location stack frames quite so earlyRalf Jung-18/+13
2022-06-22Rollup merge of #98099 - RalfJung:convert_tag_add_extra, r=oli-obkYuki Okushi-11/+15
2022-06-21Auto merge of #95576 - DrMeepster:box_erasure, r=oli-obkbors-50/+69
2022-06-19Mention formatting macros when encountering ArgumentV1::new in constMichael Goulet-1/+11
2022-06-16interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais...Ralf Jung-11/+15
2022-06-15make sure miri ices when dereferencing a boxDrMeepster-0/+5
2022-06-15remove box derefs from codgenDrMeepster-50/+64
2022-06-15Rename `impl_constness` to `constness`Deadbeef-7/+8
2022-06-14rebaseb-naber-3/+3
2022-06-14correctly create Scalar for meta infob-naber-3/+7
2022-06-14address reviewb-naber-17/+54
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-169/+132
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-9/+10
2022-06-13Rollup merge of #98043 - TaKO8Ki:remove-unnecessary-to-string, r=davidtwcoMatthias Krüger-1/+1
2022-06-13Rollup merge of #97960 - RalfJung:offset-from, r=oli-obkMatthias Krüger-67/+70
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-1/+1
2022-06-11Try out `yeet` in the MIR interpreterScott McMurray-0/+1
2022-06-11Rollup merge of #97761 - RalfJung:vtable-validation, r=cjgillotDylan DPC-0/+8
2022-06-09interpret: unify offset_from check with offset checkRalf Jung-67/+70
2022-06-09Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnrbors-19/+23
2022-06-08Rollup merge of #97763 - RalfJung:fallible-cast, r=lcnrDylan DPC-6/+7
2022-06-08Auto merge of #97447 - nnethercote:improve-folding, r=jackh726bors-2/+2
2022-06-08Folding revamp.Nicholas Nethercote-2/+2
2022-06-07Remove `AlwaysLiveLocals` wrapper structTomasz Miąsko-4/+4
2022-06-06Auto merge of #97795 - Dylan-DPC:rollup-dxilagr, r=Dylan-DPCbors-6/+1
2022-06-06Auto merge of #97684 - RalfJung:better-provenance-control, r=oli-obkbors-18/+45
2022-06-05interpret: do not claim UB until we looked more into variadic functionsRalf Jung-6/+1
2022-06-05validating the vtable can lead to Stacked Borrows errorsRalf Jung-0/+8