about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2022-05-10even tighter checks for layouts on immediate field projectionsRalf Jung-6/+11
2022-05-10disable one check for now until #96185 is fixedRalf Jung-4/+5
2022-05-10tighten sanity checks around Scalar and ScalarPairRalf Jung-44/+44
2022-05-06Fix inaccurate function name in `rustc_const_eval` docspierwill-3/+3
2022-05-05give it a scary nameRalf Jung-10/+13
2022-05-04interpret: debug-check ScalarPair layout informationRalf Jung-43/+86
2022-04-26account for custom DSTs in valtree -> constvalue conversionb-naber-0/+6
2022-04-21deduplicate a lot of codeb-naber-18/+6
2022-04-21implement valtree -> constvalue conversionb-naber-6/+28
2022-04-20Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obkDylan DPC-6/+23
2022-04-19Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obkDylan DPC-45/+58
2022-04-18avoid an unnecessary call to Pointer::into_parts, and caution against into_po...Ralf Jung-3/+2
2022-04-18add method to get absolute address of a pointer (useful only for Miri)Ralf Jung-6/+4
2022-04-18avoid pairing up AllocId and PointerTag, which is redundantRalf Jung-23/+40
2022-04-17ptr_get_alloc_id: don't return an actual PointerRalf Jung-30/+29
2022-04-17downgrade really verbose logging to traceRalf Jung-2/+2
2022-04-17interpret: more debug logging for read_scalar and write_scalarRalf Jung-4/+21
2022-04-17add caution to some commentsRalf Jung-1/+1
2022-04-17when writing uninit to an allocation, also clear relocations like other write...Ralf Jung-5/+10
2022-04-16Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obkDylan DPC-1/+1
2022-04-14Remove some now-dead code that was only relevant before deaggregation.Oli Scherer-19/+3
2022-04-12use len on mplace instead of reading immediate, remove dead codeb-naber-2/+2
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+46
2022-04-08use deref on ImmTyb-naber-1/+1
2022-04-08create leafs for slicesb-naber-45/+4
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-30/+39
2022-04-06Auto merge of #95707 - RalfJung:initialized, r=oli-obkbors-4/+22
2022-04-06Rollup merge of #95693 - RalfJung:more-context, r=oli-obkDylan DPC-6/+11
2022-04-05interp/validity: enforce Scalar::InitializedRalf Jung-4/+22
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-6/+11
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-16/+25
2022-04-05mir-interpret now treats unions as non-immediate, even if they have scalar la...Oli Scherer-5/+9
2022-04-05Mark scalar layout unions so that backends that do not support partially init...Oli Scherer-13/+18
2022-04-03tweak some function namesRalf Jung-13/+13
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-221/+178
2022-03-31catch overflow in slice size computationRalf Jung-1/+2
2022-03-31audit check_mul uses in interpretRalf Jung-1/+7
2022-03-31interpret: make isize::MAX the limit for dynamic value sizesRalf Jung-8/+10
2022-03-30Spellchecking some commentsYuri Astrakhan-5/+5
2022-03-29include refs in valtree creationb-naber-4/+45
2022-03-26interpret: with enforce_number_validity, ensure integers are truly Scalar::In...Ralf Jung-3/+6
2022-03-26interpret: mark a dead match arm as deadRalf Jung-1/+2
2022-03-23Rollup merge of #95221 - RalfJung:check_and_deref_ptr, r=oli-obkMatthias Krüger-15/+5
2022-03-22interpret/memory: simplify check_and_deref_ptrRalf Jung-15/+5
2022-03-22interpret/validity: improve clarityRalf Jung-3/+2
2022-03-21rename LocalState::Uninitialized to UnallocatedRalf Jung-12/+10
2022-03-20Auto merge of #95071 - RalfJung:arbitrary-self-dyn, r=oli-obkbors-15/+40
2022-03-18Miri: implement arbitrary-self dyn receiversRalf Jung-15/+40
2022-03-16rustc_error: make ErrorReported impossible to constructmark-5/+9
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-7/+10