summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2022-06-21Auto merge of #95576 - DrMeepster:box_erasure, r=oli-obkbors-50/+64
2022-06-19Mention formatting macros when encountering ArgumentV1::new in constMichael Goulet-1/+11
2022-06-15remove box derefs from codgenDrMeepster-50/+64
2022-06-15Rename `impl_constness` to `constness`Deadbeef-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-17/+16
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+3
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-1/+1
2022-06-07Remove `AlwaysLiveLocals` wrapper structTomasz Miąsko-2/+2
2022-06-02commentRalf Jung-1/+1
2022-06-02add cast kind of from_exposed_addr (int-to-ptr casts)Ralf Jung-11/+10
2022-06-01rename PointerAddress → PointerExposeAddressRalf Jung-2/+2
2022-05-31Add a pointer to address cast kindTomasz Miąsko-21/+8
2022-05-30Auto merge of #97025 - ouz-a:mini-derefer-generator, r=davidtwcobors-1/+10
2022-05-30validate derefer, run derefer inside generatorouz-a-1/+10
2022-05-30Reduce the scope of a mutable variableOli Scherer-7/+2
2022-05-30Add a helper function for checking whether a default function in a trait can ...Oli Scherer-9/+7
2022-05-30Remove `#[default..]` and add `#[const_trait]`Deadbeef-10/+8
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-12/+9
2022-05-19Proper const stability check, default to unstableJacob Pratt-19/+35
2022-05-19Add and use stability helper methodsJacob Pratt-1/+1
2022-05-19Fall back to being const-unstable when undeclaredJacob Pratt-19/+6
2022-05-17Auto merge of #97111 - JohnTitor:rollup-x3vjf6u, r=JohnTitorbors-1/+4
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-3/+1
2022-05-17Update function pointer call error messagembartlett21-1/+4
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-3/+1
2022-05-12Auto merge of #95562 - lcnr:attr-no-encode, r=davidtwcobors-17/+13
2022-05-11Remove `PartialOrd`/`Ord` impl for `PlaceRef`Aaron Hill-2/+3
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-06Expand validator to be more precise on checked binary opsJakob Degen-3/+41
2022-04-30Eliminate duplication of RPO calculation for mirSparrowLii-2/+2
2022-04-22Relax restrictions for copy operandsJakob Degen-1/+2
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-4/+3
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+2
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-1/+1
2022-04-11Adjust MIR validator to check a few more things for terminatorsJakob Degen-5/+19
2022-04-11Extend the MIR validator to check many more things around rvalues.Jakob Degen-39/+161
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-1/+9
2022-04-11Add new `Deinit` statement kindJakob Degen-3/+19
2022-04-10Avoid accessing HIR from MIR queries.Camille GILLOT-14/+4
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-2/+2
2022-03-30Spellchecking some commentsYuri Astrakhan-2/+2
2022-03-28Normalize all projections in mir validation againOli Scherer-1/+6
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-8/+16
2022-03-26Auto merge of #95149 - cjgillot:once-diag, r=estebankbors-2/+2
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-28/+48
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-9/+7