about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util
AgeCommit message (Expand)AuthorLines
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
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-02Rollup merge of #121731 - oli-obk:eager_opaque_checks, r=compiler-errorsGuillaume Boisseau-22/+3
2024-02-28Now that inlining, mir validation and const eval all use reveal-all, we won't...Oli Scherer-22/+3
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-2/+1
2024-02-21make it possible for outside crates to inspect a mir::ConstValue with the int...Ralf Jung-2/+7
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-4/+4
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-25Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillotbors-2/+2
2024-01-23partially inline `eval_rvalue_into_place` for const prop lintOli Scherer-2/+2
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-0/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-1/+0
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-0/+1
2023-10-31Turn const_caller_location from a query to a hookOli Scherer-5/+8
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-0/+64