summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-2/+2
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-1/+9
2022-05-13Rustc changes for permissive provenancecarbotaniuman-1/+9
2022-05-12fix clippy expect_fun_callklensy-1/+3
2022-05-10Introduce EarlyBinderJack Huey-2/+2
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-1/+1
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/+117
2022-04-24include valtree creation and valtree -> constvalue conversion in debug assert...b-naber-31/+30
2022-04-21deduplicate a lot of codeb-naber-224/+115
2022-04-21implement valtree -> constvalue conversionb-naber-144/+509
2022-04-18remove an unnecessary use of loc_place.ptr.into_pointer_or_addrRalf Jung-1/+1
2022-04-16Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obkDylan DPC-25/+57
2022-04-14handle arrays and slices uniformly in valtree creationb-naber-31/+13
2022-04-12use len on mplace instead of reading immediate, remove dead codeb-naber-37/+12
2022-04-08use deref on ImmTyb-naber-3/+2
2022-04-08create leafs for slicesb-naber-71/+59
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-20/+21
2022-04-06Rollup merge of #95693 - RalfJung:more-context, r=oli-obkDylan DPC-1/+2
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-1/+2
2022-04-05Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors-2/+2
2022-04-05mir-interpret now treats unions as non-immediate, even if they have scalar la...Oli Scherer-2/+2
2022-04-03tweak some function namesRalf Jung-1/+1
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-17/+14
2022-03-31Merge impl_constness and is_const_fn_raw.Camille GILLOT-31/+35
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-1/+1
2022-03-29include refs in valtree creationb-naber-25/+113
2022-03-16rustc_error: make ErrorReported impossible to constructmark-3/+2
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-4/+4
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-7/+8
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-25Rollup merge of #94343 - RalfJung:fn-ptr, r=oli-obkMatthias Krüger-2/+3
2022-02-24Miri fn ptr check: don't use conservative null checkRalf Jung-2/+3
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-20/+23
2022-02-21Rollup merge of #94143 - est31:let_else_const_eval, r=lcnrMatthias Krüger-12/+8
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-3/+3
2022-02-19Fix pretty printing of enums without variantsTomasz Miąsko-0/+4
2022-02-19rustc_const_eval: adopt let else in more placesest31-12/+8
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-3/+3
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-20/+18
2022-02-15Overhaul `Const`.Nicholas Nethercote-5/+5
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-11use body.tainted_by_error to skip loading MIRMichael Goulet-23/+8
2022-02-11rework borrowck errors so that it's harder to not set taintedMichael Goulet-2/+2
2022-02-11skip const eval if we have an error in borrowckMichael Goulet-0/+3
2022-02-03Rollup merge of #92802 - compiler-errors:deduplicate-stack-trace, r=oli-obkYuki Okushi-1/+29
2022-01-30Rollup merge of #93358 - compiler-errors:is-not-const, r=fee1-deadMatthias Krüger-3/+2
2022-01-26drive-by: use is_const and is_const_if_constMichael Goulet-3/+2
2022-01-26`const_deallocate`: Don't deallocate memory allocated in an another const. Do...woppopo-5/+15
2022-01-23Add `intrinsics::const_deallocate`woppopo-0/+17