about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/place.rs
AgeCommit message (Expand)AuthorLines
2024-06-10interpret: refactor dyn trait handlingRalf Jung-49/+0
2024-06-09interpret: do not ICE on padded non-pow2 SIMD vectorsRalf Jung-6/+7
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-18/+18
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-3/+5
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-5/+12
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-1/+1
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-10remove unnecessary frame parameter from after_local_allocatedRalf Jung-1/+1
2024-03-09remove some frame parameters that are no longer neededRalf Jung-6/+6
2024-03-09remove a machine hook that is no longer usedRalf Jung-3/+0
2024-03-09interpret: ensure that Place is never used for a different frameRalf Jung-26/+33
2024-03-07Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obkbors-10/+6
2024-03-05only set noalias on Box with the global allocatorRalf Jung-0/+1
2024-03-04consistently use MPlaceTy for return placesRalf Jung-10/+0
2024-03-04interpret: avoid a long-lived PlaceTy in stack framesRalf Jung-0/+6
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-3/+25
2024-02-15Split a bool argument into two named functionsOli Scherer-1/+22
2024-02-12Dejargnonize substShoyu Vanilla-3/+4
2024-01-25Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillotbors-16/+3
2024-01-23const prop nonsense eliminatedOli Scherer-16/+3
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-3/+3
2023-12-07avoid marking as immutable what is already immutableRalf Jung-5/+1
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-7/+7
2023-11-28move write_aggregate into step file, and also extract write_repeat into separ...Ralf Jung-30/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-10-15separate bounds-check from alignment checkRalf Jung-10/+3
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-7/+7
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-114/+77
2023-10-15avoid re-checking the offset while iterating an array/sliceRalf Jung-7/+20
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-26/+22
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-2/+1
2023-10-03print normalized tyouz-a-10/+15
2023-09-26const-eval: make misalignment a hard errorRalf Jung-2/+1
2023-09-20interpret: less debug-printing of typesRalf Jung-3/+3
2023-09-19move ConstValue into mirRalf Jung-5/+4
2023-09-15make interpreter type Debug impl independent of Ty debug implRalf Jung-2/+7
2023-09-06miri: catch function calls where the argument is caller-invalid / the return ...Ralf Jung-0/+7
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-113/+146
2023-08-30a bit of meta-related cleanup on ProjectableRalf Jung-27/+6
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-12/+18
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-33/+33
2023-08-25Record allocation spans inside force_allocationBen Kimock-4/+5
2023-08-08Auto merge of #114520 - RalfJung:unsized-valtrees, r=oli-obkbors-2/+14
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-2/+14
2023-08-06interpret: use ConstPropNonsense for more const-prop induced issuesRalf Jung-2/+2
2023-08-04interpret: add mplace_to_ref helper methodRalf Jung-2/+13