about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/discriminant.rs
AgeCommit message (Expand)AuthorLines
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-2/+2
2025-06-03Change `tag_field` to `FieldIdx` in `Variants::Multiple`Scott McMurray-4/+4
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-2/+6
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-14/+9
2024-12-01fix safe-transmute handling of enumsRalf Jung-1/+1
2024-11-30report UB when the niche value refers to the untagged variantRalf Jung-19/+24
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-1/+1
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-3/+3
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-9/+10
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-08interpret: remove Readable trait, we can use Projectable insteadRalf Jung-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+2
2024-07-02chore: remove duplicate wordshattizai-1/+1
2024-06-14safe transmute: support non-ZST, variantful, uninhabited enumsJack Wrenn-1/+10
2024-06-13safe transmute: support `Variants::Single` enumsJack Wrenn-4/+1
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-8/+7
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-1/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-6/+2
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-1/+4
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-2/+1
2024-03-23tag_for_variant follow-upsRalf Jung-3/+5
2024-03-22Add `tag_for_variant` queryJack Wrenn-67/+89
2024-03-08interpret: update comment about read_discriminant on uninhabited variantsRalf Jung-1/+7
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the stored...Ralf Jung-0/+8
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-11-14Fix some typoscui fliter-2/+2
2023-10-25Evaluate computed values to constants.Camille GILLOT-5/+6
2023-10-20s/generator/coroutine/Oli Scherer-3/+3
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-09-21try to avoid some layout_of callsRalf Jung-1/+1
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-7/+6
2023-09-11Return ImmTy in discriminant_for_variant.Camille GILLOT-3/+4
2023-07-25interpret: make read functions generic over operand typeRalf Jung-18/+13
2023-07-25interpret: make write functions generic over the place typeRalf Jung-6/+11
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-27/+39
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-6/+22
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-14/+10
2023-07-21support non-null pointer niches in CTFEMoulins-10/+14
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+3
2023-04-16Various minor Idx-related tweaksScott McMurray-8/+9
2023-02-06interpret: move discriminant reading and writing to separate fileRalf Jung-0/+238