about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
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
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-30Auto merge of #95436 - cjgillot:static-mut, r=oli-obkbors-1/+1
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-8/+8
2022-03-30Spellchecking some commentsYuri Astrakhan-8/+8
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-1/+1
2022-03-29include refs in valtree creationb-naber-29/+158
2022-03-28Normalize all projections in mir validation againOli Scherer-1/+6
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-8/+16
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-26Auto merge of #95149 - cjgillot:once-diag, r=estebankbors-2/+2
2022-03-25Rollup merge of #94655 - JakobDegen:mir-phase-docs, r=oli-obkDylan DPC-28/+48
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-28/+48
2022-03-23Rollup merge of #95221 - RalfJung:check_and_deref_ptr, r=oli-obkMatthias Krüger-15/+5
2022-03-23Auto merge of #94901 - fee1-dead:destructable, r=oli-obkbors-9/+7
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-21Rename `~const Drop` to `~const Destruct`Deadbeef-9/+7
2022-03-20Take &mut Diagnostic in emit_diagnostic.Camille GILLOT-2/+2
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-11/+14
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-19/+22
2022-03-11Rollup merge of #94827 - RalfJung:offset-from-ub, r=oli-obkDylan DPC-41/+45
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-19/+22
2022-03-10adjust offset_from logic: check that both pointers are in-boundsRalf Jung-41/+45
2022-03-09normalization change and rebaseb-naber-1/+12
2022-03-07Stabilize const_impl_trait as wellEric Holk-22/+0
2022-03-07Remove dead/useless codeEric Holk-58/+0
2022-03-07Update tests after feature stabilizationEric Holk-59/+0
2022-03-07Stabilize const_fn_fn_ptr_basics and const_fn_trait_boundEric Holk-125/+4
2022-03-07Rollup merge of #94685 - RalfJung:saturating, r=oli-obkMatthias Krüger-39/+45