about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/mod.rs
AgeCommit message (Expand)AuthorLines
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-7/+0
2023-11-16Let Miri see the AllocId for all TyCtxt allocationsBen Kimock-0/+7
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-5/+6
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-1/+1
2023-09-19move ConstValue into mirRalf Jung-1/+1
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 04:09:12 +0000