about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-4/+4
2022-04-30Auto merge of #96500 - SparrowLii:rpo, r=tmiaskobors-2/+2
2022-04-30Eliminate duplication of RPO calculation for mirSparrowLii-2/+2
2022-04-28Auto merge of #95976 - b-naber:valtree-constval-conversion, r=oli-obkbors-146/+511
2022-04-27combine all unsized types and add another recursive call to process nested un...b-naber-96/+78
2022-04-26account for custom DSTs in valtree -> constvalue conversionb-naber-9/+123
2022-04-24include valtree creation and valtree -> constvalue conversion in debug assert...b-naber-31/+30
2022-04-22Relax restrictions for copy operandsJakob Degen-1/+2
2022-04-21deduplicate a lot of codeb-naber-242/+121
2022-04-21implement (as of now still unused) query for valtree -> constvalue conversionb-naber-0/+4
2022-04-21implement valtree -> constvalue conversionb-naber-150/+537
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-46/+59
2022-04-18remove an unnecessary use of loc_place.ptr.into_pointer_or_addrRalf Jung-1/+1
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-26/+58
2022-04-16Rollup merge of #96050 - oli-obk:deaggregator_cleanup, r=RalfJungDylan DPC-19/+3
2022-04-14handle arrays and slices uniformly in valtree creationb-naber-31/+13
2022-04-14Remove some now-dead code that was only relevant before deaggregation.Oli Scherer-19/+3
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-4/+3
2022-04-12use len on mplace instead of reading immediate, remove dead codeb-naber-39/+14
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+2
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-1/+1
2022-04-11Adjust MIR validator to check a few more things for terminatorsJakob Degen-5/+19
2022-04-11Extend the MIR validator to check many more things around rvalues.Jakob Degen-39/+161
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-1/+9
2022-04-11Add new `Deinit` statement kindJakob Degen-29/+92
2022-04-10Avoid accessing HIR from MIR queries.Camille GILLOT-14/+4
2022-04-08use deref on ImmTyb-naber-4/+3
2022-04-08create leafs for slicesb-naber-116/+63
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-50/+60
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-7/+13
2022-04-05interp/validity: enforce Scalar::InitializedRalf Jung-4/+22
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-7/+13
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-18/+27
2022-04-05mir-interpret now treats unions as non-immediate, even if they have scalar la...Oli Scherer-7/+11
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-14/+14
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-238/+192
2022-04-01Auto merge of #94883 - cjgillot:flat-metadata, r=oli-obkbors-31/+35
2022-03-31Merge impl_constness and is_const_fn_raw.Camille GILLOT-31/+35
2022-03-31catch overflow in slice size computationRalf Jung-1/+2