summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-2/+2
2022-10-28Auto merge of #102674 - CastilloDel:master, r=oli-obkbors-8/+8
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-2/+2
2022-10-20Revert "Unify tcx.constness and param env constness checks"Michael Goulet-56/+16
2022-10-18Remove allow(rustc::potential_query_instability) in rustc_const_evalCastilloDel-8/+8
2022-10-14more dupe word typosRageking8-1/+1
2022-10-12Unify tcx.constness and param env constness checksMichael Goulet-16/+56
2022-10-07make const_err a hard errorRalf Jung-105/+21
2022-10-01Refactor rustc lint APIMaybe Waffle-3/+3
2022-09-20Rollup merge of #102021 - lcnr:tyConst-fun, r=b-naber,BoxyUwUMichael Howell-4/+4
2022-09-19`DestructuredConst` split mir and tylcnr-2/+2
2022-09-19ctfe, `const_to_op` only for mir constantslcnr-2/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-27/+24
2022-09-04Make `const_eval_select` a real intrinsicDeadbeef-15/+1
2022-09-01tracing::instrument cleanupOli Scherer-17/+8
2022-08-30Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obkDylan DPC-3/+18
2022-08-28entirely get rid of NeedsRfc CTFE errorsRalf Jung-15/+5
2022-08-28CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just...Ralf Jung-3/+5
2022-08-28Rollup merge of #101038 - RalfJung:interning-alignment, r=oli-obkMatthias Krüger-3/+5
2022-08-27interpret: make read-pointer-as-bytes *always* work in MiriRalf Jung-3/+18
2022-08-27Auto merge of #101064 - compiler-errors:rollup-fwm5m5f, r=compiler-errorsbors-8/+13
2022-08-26Rollup merge of #100738 - nidnogg:diagnostics_migr_const_eval, r=davidtwcoMichael Goulet-8/+13
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-17/+9
2022-08-26no alignment check during interningRalf Jung-3/+5
2022-08-22Addressing tidy check failnidnogg-2/+7
2022-08-22Addressing last comment on PR reviewnidnogg-3/+3
2022-08-21Fixed failing tests (missing labels), added automatic error code in create_fe...nidnogg-2/+2
2022-08-21Finished const_eval module migration, moving onto sibling foldersnidnogg-6/+6
2022-08-21fix ICE with extra-const-ub-checksRalf Jung-6/+28
2022-08-07add -Zextra-const-ub-checks to enable more UB checking in const-evalRalf Jung-0/+10
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-2/+2
2022-07-23now we can make scalar_to_ptr a method on ScalarRalf Jung-12/+11
2022-07-20rename get_global_alloc to try_get_global_allocRalf Jung-2/+2
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-3/+3
2022-07-17Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obkbors-1/+1
2022-07-16Rollup merge of #99259 - RalfJung:visit-a-place, r=oli-obkMatthias Krüger-1/+1
2022-07-15interpret/visitor: support visiting with a PlaceTyRalf Jung-1/+1
2022-07-14Use constant eval to do strict validity checks5225225-1/+1
2022-07-13get rid of MemPlaceMeta::PoisonRalf Jung-1/+1
2022-07-09tweak names and output and blessRalf Jung-2/+2
2022-07-09review feedbackRalf Jung-2/+2
2022-07-09don't allow ZST in ScalarIntRalf Jung-8/+4
2022-07-09Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obkDylan DPC-2/+2
2022-07-07make a name less ambiguousRalf Jung-2/+2
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-0/+1
2022-07-01Rollup merge of #98756 - TaKO8Ki:use-const-instead-of-function, r=Dylan-DPCDylan DPC-5/+3
2022-07-01use const instead of function and make it privateTakayuki Maeda-5/+3
2022-06-30Rollup merge of #98688 - RalfJung:from-mplace, r=oli-obkMatthias Krüger-5/+5
2022-06-29interpret: add From<&MplaceTy> for PlaceTyRalf Jung-5/+5