about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
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
2022-02-25Switch bootstrap cfgsMark Rousskov-1/+1
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-30/+41
2022-02-25Auto merge of #93368 - eddyb:diagbld-guarantee, r=estebankbors-57/+170
2022-02-24Auto merge of #94131 - Mark-Simulacrum:fmt-string, r=oli-obkbors-5/+5
2022-02-24Rollup merge of #94270 - RalfJung:fn-ptrs, r=oli-obkMatthias Krüger-13/+18
2022-02-23Miri: relax fn ptr checkRalf Jung-13/+18
2022-02-23Rollup merge of #94280 - tmiasko:should-print-region, r=oli-obkMatthias Krüger-1/+1
2022-02-23Rename `region_should_not_be_omitted` to `should_print_region`Tomasz Miąsko-1/+1
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-48/+159
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-9/+11
2022-02-22Miri: extend comments on downcast operationRalf Jung-2/+6
2022-02-21ScalarMaybeUninit is explicitly hexadecimal in its formattingRalf Jung-7/+7
2022-02-21Rollup merge of #94189 - GuillaumeGomez:scalar-lower-hex, r=RalfJungMatthias Krüger-1/+1
2022-02-21Rollup merge of #94143 - est31:let_else_const_eval, r=lcnrMatthias Krüger-123/+86
2022-02-21Fix typoest31-1/+1
2022-02-20Always format to internal String in FmtPrinterMark Rousskov-5/+5
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-7/+8