about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-1/+1
2025-05-22interpret: do not force_allocate all return placesRalf Jung-1/+1
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-1/+5
2025-03-12minor interpret cleanupsRalf Jung-3/+3
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-1/+1
2025-01-31ValidationMichael Goulet-0/+2
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+5
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-13/+5
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-2/+11
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-11/+2
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-1/+7
2024-12-22Delete `Rvalue::Len`Scott McMurray-7/+1
2024-12-13Update compiler/rustc_const_eval/src/interpret/step.rsscottmcm-1/+3
2024-12-13Don't retag the `PtrMetadata(&raw const *_n)` in slice indexingScott McMurray-2/+9
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+3
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+2
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-2/+2
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-14/+14
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-06various cleanups based on reviewRalf Jung-36/+33
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-11/+239
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-35/+8
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-4/+2
2024-07-07Refactor & fixup interpreter implementation of tail callsMaybe Waffle-1/+1
2024-06-08offset_of: allow (unstably) taking the offset of slice tail fieldsRalf Jung-1/+4
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-8/+6
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-9/+5
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-04-21Address PR feedbackScott McMurray-4/+12
2024-04-21Use it in the library, and `InstSimplify` it away in the easy placesScott McMurray-1/+16
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-1/+1
2024-04-06Put checks that detect UB under their own flag below debug_assertionsBen Kimock-1/+1
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-11/+1
2024-03-09Only enable library UB checks in const-eval/Miri when debug_assertions are en...Ben Kimock-1/+1
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-4/+10
2024-02-15Split a bool argument into two named functionsOli Scherer-4/+4
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-4/+16
2023-11-28move write_aggregate into step file, and also extract write_repeat into separ...Ralf Jung-30/+71
2023-10-31Support enum variants in offset_of!George Bateman-1/+1
2023-10-25Evaluate computed values to constants.Camille GILLOT-1/+1
2023-10-15separate bounds-check from alignment checkRalf Jung-3/+0
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-6/+4
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3