summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-1/+1
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-34/+103
2022-05-13Add bound_type_ofJack Huey-5/+4
2022-05-13Rustc changes for permissive provenancecarbotaniuman-34/+103
2022-05-11Apply CR suggestions; add real tracking issueScott McMurray-0/+2
2022-05-11Add a debug check for ordering, and check for isize overflow in CTFEScott McMurray-3/+10
2022-05-11Add `unsigned_offset_from` on pointersScott McMurray-5/+19
2022-05-11Auto merge of #96220 - RalfJung:scalar-no-padding, r=oli-obkbors-53/+53
2022-05-11avoid computing Scalar size/align in debug buildsRalf Jung-3/+3
2022-05-10Introduce EarlyBinderJack Huey-4/+5
2022-05-10fmtRalf Jung-3/+1
2022-05-10update/remove some old commentsRalf Jung-5/+1
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