about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
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
2022-03-07Rollup merge of #94681 - RalfJung:miri-cast, r=oli-obkMatthias Krüger-8/+13
2022-03-06use singed_int_max/min helper methodsRalf Jung-7/+4
2022-03-06move saturating_add/sub into (pub) helper methodRalf Jung-39/+48
2022-03-06Auto merge of #94597 - nnethercote:ConstAllocation, r=fee1-deadbors-20/+25
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-20/+25
2022-03-06CTFE engine: expose misc_cast to MiriRalf Jung-8/+13
2022-03-06explain why shift with signed offset works the way it doesRalf Jung-3/+15
2022-03-04Rollup merge of #94575 - RalfJung:switchint-comment, r=oli-obkDylan DPC-1/+2
2022-03-03CTFE SwitchInt: update commentRalf Jung-1/+2
2022-03-03Rollup merge of #94555 - cuishuang:master, r=oli-obkMatthias Krüger-1/+1
2022-03-03Auto merge of #94512 - RalfJung:sdiv-ub, r=oli-obkbors-16/+14
2022-03-03all: fix some typoscuishuang-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-41/+41
2022-03-01Miri/CTFE: properly treat overflow in (signed) division/rem as UBRalf Jung-16/+14
2022-02-25Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbinibors-1/+1
2022-02-25Rollup merge of #94343 - RalfJung:fn-ptr, r=oli-obkMatthias Krüger-30/+41