about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/step.rs
AgeCommit message (Expand)AuthorLines
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
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-1/+1
2023-09-11Return ImmTy in discriminant_for_variant.Camille GILLOT-1/+1
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-2/+2
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-5/+2
2023-08-07Rollup merge of #114542 - RalfJung:const-prop-nonsense, r=compiler-errorsMatthias Krüger-1/+2
2023-08-06Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJungMatthias Krüger-1/+1
2023-08-06cleanup misinformation regarding has_derefouz-a-1/+1