summaryrefslogtreecommitdiff
path: root/compiler/rustc_const_eval/src/const_eval/eval_queries.rs
Commit message (Expand)AuthorAgeFilesLines
* Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote2023-05-031-1/+1
* Remove WithOptconstParam.Camille GILLOT2023-04-201-3/+3
* Fix typos in compilerDaniPopes2023-04-101-1/+1
* Rename many interner functions.Nicholas Nethercote2023-02-241-1/+1
* Use target instead of machine for mir interpreter integer handling.Oli Scherer2023-02-151-1/+1
* Avoid some `tls::with` calls.Nicholas Nethercote2023-02-091-1/+1
* Make alignment checks a future incompat lintOli Scherer2022-12-151-7/+8
* always check alignment during CTFERalf Jung2022-12-151-1/+1
* compiler: remove unnecessary imports and qualified pathsKaDiWa2022-12-101-1/+0
* interpret: get rid of run() functionRalf Jung2022-11-271-1/+1
* interpret: use Either over Result when it is not representing an error conditionRalf Jung2022-11-181-13/+16
* cleanup and dedupe CTFE and Miri error reportingRalf Jung2022-11-161-3/+3
* add is_sized method on Abi and Layout, and use itRalf Jung2022-11-131-1/+1
* make const_err a hard errorRalf Jung2022-10-071-36/+14
* remove the `Subst` trait, always use `EarlyBinder`lcnr2022-09-191-1/+1
* tracing::instrument cleanupOli Scherer2022-09-011-5/+2
* Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC2022-08-301-3/+5
|\
| * interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung2022-08-271-3/+5
* | Rollup merge of #101038 - RalfJung:interning-alignment, r=oli-obkMatthias Krüger2022-08-281-0/+2
|\ \ | |/ |/|
| * no alignment check during interningRalf Jung2022-08-261-0/+2
* | make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung2022-08-261-5/+2
|/
* fix ICE with extra-const-ub-checksRalf Jung2022-08-211-4/+18
* Add bound_impl_subject and bound_return_tyJack Huey2022-08-031-2/+2
* now we can make scalar_to_ptr a method on ScalarRalf Jung2022-07-231-12/+11
* get rid of MemPlaceMeta::PoisonRalf Jung2022-07-131-0/+1
* tweak names and output and blessRalf Jung2022-07-091-1/+1
* review feedbackRalf Jung2022-07-091-1/+1
* don't allow ZST in ScalarIntRalf Jung2022-07-091-2/+2
* interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung2022-07-061-0/+1
* use const instead of function and make it privateTakayuki Maeda2022-07-011-5/+3
* interpret: do not prune requires_caller_location stack frames quite so earlyRalf Jung2022-06-261-1/+1
* implement valtrees as the type-system representation for constant valuesb-naber2022-06-141-1/+3
* Refactor call terminator to always hold a destination placeJakob Degen2022-05-231-1/+1
* use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber2022-05-161-1/+1
* Introduce EarlyBinderJack Huey2022-05-101-2/+2
* combine all unsized types and add another recursive call to process nested un...b-naber2022-04-271-8/+1
* account for custom DSTs in valtree -> constvalue conversionb-naber2022-04-261-4/+4
* include valtree creation and valtree -> constvalue conversion in debug assert...b-naber2022-04-241-1/+8
* implement valtree -> constvalue conversionb-naber2022-04-211-14/+24
* Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obkDylan DPC2022-04-161-0/+2
|\
| * create leafs for slicesb-naber2022-04-081-0/+2
* | interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung2022-04-071-11/+12
* | Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardinbors2022-04-051-2/+2
|\ \
| * | mir-interpret now treats unions as non-immediate, even if they have scalar la...Oli Scherer2022-04-051-2/+2
* | | interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung2022-04-031-5/+3
|/ /
* | Remember mutability in `DefKind::Static`.Camille GILLOT2022-03-291-1/+1
|/
* Introduce `ConstAllocation`.Nicholas Nethercote2022-03-071-1/+1
* rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu2022-02-231-2/+1
* Rollup merge of #94143 - est31:let_else_const_eval, r=lcnrMatthias Krüger2022-02-211-3/+2
|\
| * rustc_const_eval: adopt let else in more placesest312022-02-191-3/+2