summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-2/+2
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-1/+1
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-18/+2
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-2/+2
2022-08-28improve OFFSET_IS_ADDR docsRalf Jung-2/+6
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-95/+83
2022-08-27interpret: rename relocation → provenanceRalf Jung-95/+92
2022-08-26remove now-unused ScalarMaybeUninitRalf Jung-134/+1
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-17/+8
2022-08-26remove some now-unnecessary parameters from check_bytesRalf Jung-19/+4
2022-07-30avoid assertion failures in try_to_scalar_intRalf Jung-1/+3
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-0/+18
2022-07-20various nits from reviewRalf Jung-1/+1
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-14/+14
2022-07-20make use of symbolic vtables in interpreterRalf Jung-18/+9
2022-07-20rename get_global_alloc to try_get_global_allocRalf Jung-5/+12
2022-07-20add a Vtable kind of symbolic allocationsRalf Jung-4/+40
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-95/+97
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-0/+2
2022-07-09tweak names and output and blessRalf Jung-3/+3
2022-07-09review feedbackRalf Jung-3/+3
2022-07-09don't allow ZST in ScalarIntRalf Jung-8/+6
2022-07-06interpret: use AllocRange in UninitByteAccessRalf Jung-60/+51
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-1/+1
2022-07-05adjust dangling-int-ptr error messageRalf Jung-12/+25
2022-07-05Rollup merge of #98811 - RalfJung:interpret-alloc-range, r=oli-obkDylan DPC-25/+21
2022-07-02more use of format! variable captureRalf Jung-2/+2
2022-07-02Auto merge of #97585 - lqd:const-alloc-intern, r=RalfJungbors-6/+11
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-25/+21
2022-06-29Auto merge of #98520 - RalfJung:invalid, r=compiler-errorsbors-2/+4
2022-06-29interpret: adjust error from constructing an invalid valueRalf Jung-2/+4
2022-06-28Improve pretty printing of valtrees for referencesDominik Stolz-7/+1
2022-06-28make `get_relocations` privateRémy Rakic-6/+11
2022-06-22Rollup merge of #98099 - RalfJung:convert_tag_add_extra, r=oli-obkYuki Okushi-6/+6
2022-06-19Use `ensure` for `UnusedBrokenConst`.Camille GILLOT-1/+34
2022-06-17Auto merge of #98097 - lqd:const-alloc-hash, r=oli-obkbors-2/+75
2022-06-16adjust const alloc interning partial hash commentsRémy Rakic-4/+8
2022-06-16ctfe: limit hashing of big const allocations when interningRémy Rakic-2/+71
2022-06-16interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais...Ralf Jung-6/+6
2022-06-14address reviewb-naber-20/+4
2022-06-14address reviewb-naber-2/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-7/+74
2022-06-11Try out `yeet` in the MIR interpreterScott McMurray-5/+5
2022-06-09Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnrbors-3/+16
2022-06-08Use delayed error handling for `Encodable` and `Encoder` infallible.Nicholas Nethercote-8/+7
2022-06-06Auto merge of #97684 - RalfJung:better-provenance-control, r=oli-obkbors-29/+54
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-29/+54
2022-06-04use precise spans for recursive const evaluationRalf Jung-3/+16