about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-05-22Auto merge of #97177 - oli-obk:const-stability, r=davidtwcobors-28/+31
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-10/+9
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-19Proper const stability check, default to unstableJacob Pratt-19/+35
2022-05-19Add and use stability helper methodsJacob Pratt-2/+2
2022-05-19Fall back to being const-unstable when undeclaredJacob Pratt-19/+6
2022-05-18Auto merge of #97019 - b-naber:transition-to-valtrees-pt1, r=oli-obkbors-81/+236
2022-05-18Rollup merge of #97116 - RalfJung:ref-validity, r=oli-obkYuki Okushi-6/+11
2022-05-17interpret/validity: reject references to uninhabited typesRalf Jung-6/+11
2022-05-17Auto merge of #97111 - JohnTitor:rollup-x3vjf6u, r=JohnTitorbors-1/+4
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-10/+4
2022-05-17Update function pointer call error messagembartlett21-1/+4
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-81/+236
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-10/+4
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-3/+3
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-35/+112
2022-05-13Add bound_type_ofJack Huey-5/+4
2022-05-13Rustc changes for permissive provenancecarbotaniuman-35/+112
2022-05-12fix clippy expect_fun_callklensy-1/+3
2022-05-12Auto merge of #95562 - lcnr:attr-no-encode, r=davidtwcobors-17/+13
2022-05-12Auto merge of #96889 - Aaron1011:place-ref-remove, r=compiler-errorsbors-2/+3
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-11Remove `PartialOrd`/`Ord` impl for `PlaceRef`Aaron Hill-2/+3
2022-05-11Auto merge of #96220 - RalfJung:scalar-no-padding, r=oli-obkbors-53/+53
2022-05-11Rollup merge of #95281 - pierwill:fix-85513, r=Dylan-DPCDylan DPC-3/+3
2022-05-11avoid computing Scalar size/align in debug buildsRalf Jung-3/+3
2022-05-10Introduce EarlyBinderJack Huey-6/+7
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-10only_local: always check for misuselcnr-17/+13
2022-05-09Auto merge of #96815 - SparrowLii:promote_const, r=oli-obkbors-42/+52
2022-05-09use `Result<(),()>` instead of Validity enumSparrowLii-54/+35
2022-05-07optimize `promote_consts` by cache the validate checkSparrowLii-41/+70
2022-05-06Check that field projections have the correct typeJakob Degen-1/+55
2022-05-06Fix inaccurate function name in `rustc_const_eval` docspierwill-3/+3
2022-05-06Expand validator to be more precise on checked binary opsJakob Degen-3/+41
2022-05-05Rollup merge of #96714 - RalfJung:scalar-pair-debug, r=oli-obkMatthias Krüger-49/+95
2022-05-05give it a scary nameRalf Jung-10/+13
2022-05-04interpret: debug-check ScalarPair layout informationRalf Jung-43/+86
2022-05-04Stabilize `bool::then_some`Josh Triplett-1/+0