summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
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
2022-06-03Use serde_json for target spec jsonbjorn3-1/+1
2022-05-28Make TyCtxt implement Interner, make HashStable generic and move to rustc_typ...Michael Goulet-7/+7
2022-05-28Move things to rustc_type_irWilco Kusee-7/+7
2022-05-24Add the transmute and asm checks to typeck as deferred checksOli Scherer-7/+0
2022-05-22Lifetime variance fixes for rustcMichael Goulet-18/+18
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-2/+2
2022-05-20Rollup merge of #97185 - RalfJung:number-validity, r=oli-obkGuillaume Gomez-4/+7
2022-05-19interpret/validity: separately control checking numbers for being init and no...Ralf Jung-4/+7
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-5/+17
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-5/+8
2022-05-13Rustc changes for permissive provenancecarbotaniuman-5/+8