about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/mod.rs
AgeCommit message (Expand)AuthorLines
2023-09-14don't force all slice-typed ConstValue to be ConstValue::SliceRalf Jung-1/+1
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-7/+8
2023-08-03Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obkMatthias Krüger-5/+5
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-5/+5
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-1/+1
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-1/+1
2023-07-17Auto merge of #113562 - saethlin:larger-incr-comp-offset, r=nnethercotebors-2/+2
2023-07-14Use u64 for incr comp allocation offsetsBen Kimock-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-3/+28
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-2/+2
2023-04-26Remove QueryEngine traitJohn Kåre Alsaker-1/+3
2023-04-04Remove a fishy Clone implOli Scherer-1/+2
2023-02-20Minimal changes to make miri workRune Tynan-2/+2
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-1/+1
2023-01-25create and use GlobalAlloc::address_spaceErik Desjardins-1/+12
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-3/+3
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-2/+2
2022-11-10Use const_error_with_guaranteed moreMichael Goulet-1/+2
2022-11-06move InitMask to its own moduleRalf Jung-1/+1
2022-11-06interpret: support for per-byte provenanceRalf Jung-2/+2
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-1/+1
2022-08-27interpret: rename relocation → provenanceRalf Jung-1/+1
2022-08-26remove now-unused ScalarMaybeUninitRalf Jung-1/+1
2022-07-20various nits from reviewRalf Jung-1/+1
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-10/+10
2022-07-20rename get_global_alloc to try_get_global_allocRalf Jung-5/+12
2022-07-20add a Vtable kind of symbolic allocationsRalf Jung-4/+37
2022-07-02more use of format! variable captureRalf Jung-1/+1
2022-07-02add AllocRange Debug impl; remove redundant AllocId Display implRalf Jung-8/+4
2022-06-11Try out `yeet` in the MIR interpreterScott McMurray-5/+5
2022-06-08Use delayed error handling for `Encodable` and `Encoder` infallible.Nicholas Nethercote-8/+7
2022-05-28Make TyCtxt implement Interner, make HashStable generic and move to rustc_typ...Michael Goulet-7/+7
2022-05-28Move things to rustc_type_irWilco Kusee-7/+7
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-2/+2
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-3/+3
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-1/+2
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-7/+8
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-1/+1
2022-01-22Make `Decodable` and `Decoder` infallible.Nicholas Nethercote-15/+15
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-3/+3
2021-08-25use undef for uninitialized bytes in constantsErik Desjardins-1/+3
2021-07-17Auto merge of #87123 - RalfJung:miri-provenance-overhaul, r=oli-obkbors-4/+8
2021-07-17Changed dec2flt to use the Eisel-Lemire algorithm.Alex Huszagh-1/+0
2021-07-14more precise message for the ptr access check on derefRalf Jung-1/+5
2021-07-14use NonZeroU64 for AllocId to restore old type sizesRalf Jung-3/+3
2021-07-14CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf...Ralf Jung-1/+1
2021-06-02Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2021-05-18CTFE core engine allocation & memory API improvemenetsRalf Jung-1/+1