about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2022-05-31Add a pointer to address cast kindTomasz Miąsko-15/+22
2022-05-30Rollup merge of #97395 - RalfJung:call-abi, r=oli-obkMichael Goulet-1/+8
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-5/+5
2022-05-28Initial fixes on top of type interner commitMichael Goulet-4/+4
2022-05-28Move things to rustc_type_irWilco Kusee-3/+3
2022-05-27Auto merge of #96046 - oli-obk:const_typeck, r=cjgillotbors-8/+4
2022-05-26clippy::complexity fixesMatthias Krüger-7/+3
2022-05-25Miri call ABI check: ensure type size+align stay the sameRalf Jung-1/+8
2022-05-24Remove outdated commentOli Scherer-4/+0
2022-05-24Add the transmute and asm checks to typeck as deferred checksOli Scherer-4/+4
2022-05-24Add flag for stricter checks on uninit/zeroed5225225-3/+11
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-36/+49
2022-05-22Lifetime variance fixes for rustcMichael Goulet-4/+4
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-8/+8
2022-05-20Ensure we never consider the null pointer dereferencableRalf Jung-0/+4
2022-05-20Rollup merge of #97188 - carbotaniuman:remove-null-assert, r=RalfJungGuillaume Gomez-8/+1
2022-05-20Rollup merge of #97185 - RalfJung:number-validity, r=oli-obkGuillaume Gomez-15/+33
2022-05-19Remove unneeded assertscarbotaniuman-8/+1
2022-05-19fmtRalf Jung-2/+1
2022-05-19interpret/validity: separately control checking numbers for being init and no...Ralf Jung-15/+34
2022-05-18Auto merge of #97019 - b-naber:transition-to-valtrees-pt1, r=oli-obkbors-7/+13
2022-05-17interpret/validity: reject references to uninhabited typesRalf Jung-6/+11
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-2/+2
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-7/+13
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-2/+2
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-1/+1
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-34/+103
2022-05-13Add bound_type_ofJack Huey-5/+4
2022-05-13Rustc changes for permissive provenancecarbotaniuman-34/+103
2022-05-11Apply CR suggestions; add real tracking issueScott McMurray-0/+2
2022-05-11Add a debug check for ordering, and check for isize overflow in CTFEScott McMurray-3/+10
2022-05-11Add `unsigned_offset_from` on pointersScott McMurray-5/+19
2022-05-11Auto merge of #96220 - RalfJung:scalar-no-padding, r=oli-obkbors-53/+53
2022-05-11avoid computing Scalar size/align in debug buildsRalf Jung-3/+3
2022-05-10Introduce EarlyBinderJack Huey-4/+5
2022-05-10fmtRalf Jung-3/+1
2022-05-10update/remove some old commentsRalf Jung-5/+1
2022-05-10even tighter checks for layouts on immediate field projectionsRalf Jung-6/+11
2022-05-10disable one check for now until #96185 is fixedRalf Jung-4/+5
2022-05-10tighten sanity checks around Scalar and ScalarPairRalf Jung-44/+44
2022-05-06Fix inaccurate function name in `rustc_const_eval` docspierwill-3/+3
2022-05-05give it a scary nameRalf Jung-10/+13
2022-05-04interpret: debug-check ScalarPair layout informationRalf Jung-43/+86
2022-04-26account for custom DSTs in valtree -> constvalue conversionb-naber-0/+6
2022-04-21deduplicate a lot of codeb-naber-18/+6
2022-04-21implement valtree -> constvalue conversionb-naber-6/+28
2022-04-20Rollup merge of #96160 - RalfJung:interpret-debug, r=oli-obkDylan DPC-6/+23
2022-04-19Rollup merge of #96165 - RalfJung:miri-provenance-cleanup, r=oli-obkDylan DPC-45/+58
2022-04-18avoid an unnecessary call to Pointer::into_parts, and caution against into_po...Ralf Jung-3/+2
2022-04-18add method to get absolute address of a pointer (useful only for Miri)Ralf Jung-6/+4