about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/cast.rs
AgeCommit message (Expand)AuthorLines
2025-09-26ProjectionElem::Subtype -> CastKind::Subtypebeepster4096-1/+1
2025-09-17Remove `DynKind`León Orell Valerian Liehr-2/+2
2025-08-11Add tracing to resolve-related functionsStypox-14/+20
2025-07-18Generalize `unsize` and `unsize_into` destinationsOli Scherer-3/+4
2025-07-01Remove support for dyn*Michael Goulet-14/+0
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-1/+2
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-19/+14
2025-02-20Rollup merge of #135296 - lukas-code:dyn-leak-check, r=compiler-errorsMatthias Krüger-4/+6
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-2/+2
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-4/+6
2025-01-30More assertions, tests, and miri coverageMichael Goulet-28/+26
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-1/+8
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-9/+1
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-1/+1
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-1/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-2/+2
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-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-1/+3
2024-10-14De-duplicate and move `adjust_nan` to `InterpCx`Eduardo Sánchez Muñoz-17/+10
2024-10-04Use wide pointers consistenly across the compilerUrgau-3/+3
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-10/+14
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-5/+6
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+1
2024-09-23Check vtable projections for validity in miriMichael Goulet-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-25Avoid taking reference of &TyKindMichael Goulet-3/+3
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-2/+2
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-0/+6
2024-08-09interpret: make identity upcasts a NOP again to avoid them generating a new r...Ralf Jung-0/+6
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-5/+36
2024-06-27Enable const casting for `f16` and `f128`Trevor Gross-10/+17
2024-06-19`bug!` more uses of these in runtime stuffScott McMurray-3/+1
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-8/+1
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-3/+7
2024-06-10interpret: refactor dyn trait handlingRalf Jung-8/+1
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-1/+1
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-5/+4
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-1/+3
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-1/+5
2024-04-03rename `expose_addr` to `expose_provenance`joboet-3/+3
2024-03-23also rename the SIMD intrinsicRalf Jung-2/+2
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-1/+1