about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2022-07-05always check overflow in CheckedBinOp in CTFERalf Jung-1/+10
2022-07-05Auto merge of #96862 - oli-obk:enum_cast_mir, r=RalfJungbors-23/+2
2022-07-05Rollup merge of #98847 - RalfJung:box-is-special, r=oli-obkDylan DPC-12/+55
2022-07-05Rollup merge of #98811 - RalfJung:interpret-alloc-range, r=oli-obkDylan DPC-36/+22
2022-07-04interpret: fix CheckedBinOp behavior when overflow checking is disabledRalf Jung-2/+14
2022-07-05Auto merge of #98846 - RalfJung:alignment-is-a-type-thing, r=oli-obkbors-95/+118
2022-07-04Auto merge of #98627 - RalfJung:interpret-arith, r=lcnrbors-2/+17
2022-07-04extra assertion, extra sureRalf Jung-0/+1
2022-07-04clarify commentRalf Jung-1/+2
2022-07-03move Box mess handling into general visitorRalf Jung-34/+55
2022-07-03fix interpreter validity check on BoxRalf Jung-6/+28
2022-07-03interpret: track place alignment together with the type, not the valueRalf Jung-95/+117
2022-07-03interpret: don't rely on ScalarPair for overflowed arithmeticRalf Jung-2/+16
2022-07-02more use of format! variable captureRalf Jung-3/+1
2022-07-02Auto merge of #97585 - lqd:const-alloc-intern, r=RalfJungbors-2/+50
2022-07-02make AllocRef APIs more consistentRalf Jung-11/+13
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-23/+9
2022-07-02Auto merge of #91743 - cjgillot:enable_mir_inlining_inline_all, r=oli-obkbors-17/+6
2022-07-02Rollup merge of #98783 - RalfJung:jumpscares, r=fee1-deadDylan DPC-1/+1
2022-07-01interpret: make a comment less scaryRalf Jung-1/+1
2022-07-01Factor out hir::Node::BindingCameron Steffen-1/+1
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-3/+24
2022-06-30Change enum->int casts to not go through MIR casts.Oli Scherer-23/+2
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-3/+24
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-11/+6
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-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-11/+6
2022-06-22Rollup merge of #98099 - RalfJung:convert_tag_add_extra, r=oli-obkYuki Okushi-11/+15
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-14rebaseb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+5
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-6/+6
2022-06-13Rollup merge of #97960 - RalfJung:offset-from, r=oli-obkMatthias Krüger-67/+70
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