about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util
AgeCommit message (Expand)AuthorLines
2025-07-16Comment more code and make tests clearerDeadbeef-6/+5
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-4/+6
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-28Rollup merge of #142708 - Darksonn:location-len-without-nul, r=Mark-SimulacrumMatthias Krüger-7/+5
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+0
2025-06-19Do not include NUL-terminator in computed lengthAlice Ryhl-7/+5
2025-06-06Rollup merge of #142103 - scottmcm:fieldidx-in-interp, r=oli-obkGuillaume Gomez-4/+8
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-4/+8
2025-06-06Rollup merge of #142012 - oli-obk:no-optional-spans, r=fee1-deadMatthias Krüger-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-1/+1
2025-06-04Add Location::file_with_nulTaylor Cramer-8/+13
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-02-28rename BackendRepr::Vector → SimdVectorRalf Jung-1/+1
2025-02-20Remove `BackendRepr::Uninhabited`, replaced with an `uninhabited: bool` field...Zachary S-7/+9
2025-02-05Pretty print pattern type values with `transmute` if they don't satisfy their...Oli Scherer-13/+42
2025-02-03Remove hook calling via `TyCtxtAt`.Nicholas Nethercote-5/+4
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+2
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-0/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-6/+3
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-16/+13
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-16/+7
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-7/+7
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-7/+7
2024-10-29TypingMode :thinking:lcnr-2/+3
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-2/+1
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-1/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-3/+5
2024-09-16make `LayoutCx` not genericLukas Markeffsky-2/+2
2024-09-08clarify comments and names in check_validity_requirementRalf Jung-9/+11
2024-09-08interpret: reset padding during validationRalf Jung-1/+1
2024-09-08interpret: reset provenance on typed copiesRalf Jung-4/+8
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-1/+1
2024-08-08Normalize struct tail properly in disalignment checkMichael Goulet-1/+1
2024-08-06pass the right `ParamEnv` to `might_permit_raw_init_strict`y21-5/+5
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-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-4/+4
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-2/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+2
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-3/+6
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-0/+3
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1