about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2025-02-28Shorten span of panic failures in const contextEsteban Küber-5/+16
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-4/+4
2025-02-22Fix binding mode problemsMichael Goulet-6/+4
2025-02-13simplify valtree branches constructionLukas Markeffsky-15/+12
2025-02-13intern valtreesLukas Markeffsky-14/+11
2025-02-03Rollup merge of #136430 - FedericoBruzzone:follow-up-136180, r=oli-obkMatthias Krüger-19/+23
2025-02-03Refactor using the type-level constant value `ty::Value`FedericoBruzzone-19/+23
2025-02-03Remove hook calling via `TyCtxtAt`.Nicholas Nethercote-4/+5
2025-01-31Auto merge of #134424 - 1c3t3a:null-checks, r=saethlinbors-0/+1
2025-01-31Insert null checks for pointer dereferences when debug assertions are enabledBastian Kersting-0/+1
2025-01-30add commentsLukas Markeffsky-1/+2
2025-01-30Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obkbors-3/+5
2025-01-28miri: optimize zeroed allocSpecificProtagonist-3/+5
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-1/+1
2025-01-15Methods of const traits are constOli Scherer-12/+13
2024-12-27Spruce up the docs of several queries related to the type/trait system and co...León Orell Valerian Liehr-10/+4
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+6
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-3/+6
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-3/+2
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-3/+2
2024-12-13Auto merge of #134269 - matthiaskrgr:rollup-fkshwux, r=matthiaskrgrbors-2/+1
2024-12-13Rollup merge of #134058 - RalfJung:interpret-typing-env, r=lcnrMatthias Krüger-2/+1
2024-12-12Move impl constness into impl trait headerOli Scherer-9/+12
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-4/+5
2024-12-11Make a helper privateOli Scherer-1/+1
2024-12-09fix ICE on type error in promotedRalf Jung-16/+17
2024-12-09interpret: reduce usage of TypingEnv::fully_monomorphizedRalf Jung-2/+1
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-7/+9
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-7/+9
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-1/+3
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-5/+12
2024-11-30report UB when the niche value refers to the untagged variantRalf Jung-1/+3
2024-11-20interpret: make typing_env field privateRalf Jung-5/+4
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-47/+38
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+1
2024-11-19Auto merge of #133164 - RalfJung:promoted-oom, r=jieyouxubors-1/+8
2024-11-18interpret: do not ICE when a promoted fails with OOMRalf Jung-1/+8
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-7/+13
2024-11-16stabilize const_ptr_is_nullRalf Jung-0/+6
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-11-04remove support for extern-block const intrinsicsRalf Jung-9/+3
2024-11-03Rollup merge of #132423 - RalfJung:const-eval-align-offset, r=dtolnayJubilee-82/+6
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-5/+4
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-5/+4
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-11-03remove const-support for align_offsetRalf Jung-82/+6
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-7/+7
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1