about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/eval_queries.rs
AgeCommit message (Expand)AuthorLines
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-0/+7
2025-07-23Remove useless lifetime parameter.Camille GILLOT-4/+4
2025-07-23Give an AllocId to ConstValue::Slice.Camille GILLOT-2/+1
2025-07-18Show the memory of uninit readsOli Scherer-2/+2
2025-07-16const heap: fix ICE on forgotten make_globalRalf Jung-3/+8
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-1/+1
2025-07-06interpret: rename StackPopCleanupRalf Jung-2/+2
2025-06-30Rollup merge of #143140 - RalfJung:ptr-into-parts, r=oli-obkMatthias Krüger-6/+7
2025-06-30Remove the nullary intrinsic const eval logic and treat them like other intri...Oli Scherer-29/+1
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-6/+7
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-07const-eval error: always say in which item the error occurredRalf Jung-15/+3
2025-06-04Report the actual item that evaluation failed forOli Scherer-2/+3
2025-06-02Use the informative error as the main const eval error messageOli Scherer-7/+27
2025-05-22interpret: do not force_allocate all return placesRalf Jung-1/+6
2024-12-09fix ICE on type error in promotedRalf Jung-12/+12
2024-11-20interpret: make typing_env field privateRalf Jung-3/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-30/+20
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-2/+4
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-2/+3
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-1/+1
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-3/+3
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-2/+2
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-22/+31
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-13/+13
2024-09-11clippy::useless_conversionMichael Goulet-6/+1
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-13/+13
2024-09-08interpret: reset provenance on typed copiesRalf Jung-2/+2
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-1/+1
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-1/+3
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-8/+5
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-32/+44
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-1/+1
2024-06-13const-eval: make lint scope computation consistentRalf Jung-1/+1
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-11/+11
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-15/+15
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-5/+5
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-1/+2
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1
2024-05-07replace another Option<Span> by DUMMY_SPRalf Jung-4/+4
2024-04-17Use less fragile error handlingOli Scherer-3/+5
2024-04-17Validate before reporting interning errors.Oli Scherer-3/+26
2024-03-27chore: fix some commentsxiaoxiangxianzi-1/+1
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-1/+8
2024-03-14Rename some things around validation error reporting to signal that it is in ...Oli Scherer-4/+6
2024-03-14Move the entire success path into `eval_body_using_ecx`Oli Scherer-40/+32
2024-03-14Move validation into eval_body_using_ecxOli Scherer-6/+4