about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
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
2022-02-20Implement LowerHex on Scalar to clean up their display in rustdocGuillaume Gomez-1/+1
2022-02-19Fix pretty printing of enums without variantsTomasz Miąsko-0/+4
2022-02-19rustc_const_eval: adopt let else in more placesest31-123/+86
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-7/+8
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-22/+20
2022-02-15Overhaul `Const`.Nicholas Nethercote-15/+15
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-9/+9
2022-02-12Report the selection error when possibleDeadbeef-15/+36
2022-02-12Adapt new changeDeadbeef-4/+11
2022-02-12Handle Fn family trait call errrorDeadbeef-4/+41
2022-02-12Rebased and improved errorsDeadbeef-4/+2
2022-02-12Improve error messages even moreDeadbeef-126/+388
2022-02-12More informative error message for E0015Deadbeef-49/+51
2022-02-11use body.tainted_by_error to skip loading MIRMichael Goulet-40/+17
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-5/+8
2022-02-11rework borrowck errors so that it's harder to not set taintedMichael Goulet-4/+6
2022-02-11skip const eval if we have an error in borrowckMichael Goulet-1/+8