about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2022-06-14address reviewb-naber-17/+54
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-142/+107
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-05-30Add a helper function for checking whether a default function in a trait can ...Oli Scherer-2/+1
2022-05-30Remove `#[default..]` and add `#[const_trait]`Deadbeef-2/+3
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-5/+8
2022-05-22Auto merge of #97177 - oli-obk:const-stability, r=davidtwcobors-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-19Add and use stability helper methodsJacob Pratt-1/+1
2022-05-18Auto merge of #97019 - b-naber:transition-to-valtrees-pt1, r=oli-obkbors-66/+209
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-5/+1
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-66/+209
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-5/+1
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