about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-11/+1
2024-08-31Rollup merge of #129812 - RalfJung:box-custom-alloc, r=compiler-errorsMatthias Krüger-5/+7
2024-08-31Rollup merge of #129659 - RalfJung:const-fn-lang-feat, r=fee1-deadMatthias Krüger-3/+1
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-3/+1
2024-08-31interpret, codegen: tweak some comments and checks regarding Box with custom ...Ralf Jung-5/+7
2024-08-30enable Miri to pass const pointers through FFIStrophox-11/+1
2024-08-29interpret/visitor: make memory order iteration slightly more efficientRalf Jung-9/+10
2024-08-28Rollup merge of #129666 - RalfJung:raw-eq-align, r=compiler-errorsMatthias Krüger-5/+5
2024-08-28Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlinMatthias Krüger-42/+24
2024-08-28Rollup merge of #129608 - RalfJung:const-eval-ub-checks, r=saethlinMatthias Krüger-1/+11
2024-08-27Auto merge of #128506 - compiler-errors:by-move-body, r=cjgillotbors-1/+0
2024-08-27interpret: add missing alignment check in raw_eqRalf Jung-5/+5
2024-08-27Rollup merge of #129507 - RalfJung:per-fn-const_precise_live_drops, r=wesleyw...Matthias Krüger-2/+8
2024-08-27Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlinTrevor Gross-1/+1
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-1/+0
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-42/+24
2024-08-26const-eval: do not make UbChecks behavior depend on current crate's flagsRalf Jung-1/+11
2024-08-26Auto merge of #129508 - RalfJung:transient-locals, r=cjgillotbors-18/+32
2024-08-25Avoid taking reference of &TyKindMichael Goulet-3/+3
2024-08-25make it possible to enable const_precise_live_drops per-functionRalf Jung-2/+8
2024-08-25dont iterate over the bitsetRalf Jung-4/+2
2024-08-25only visit reachable blocks, do not use a visitorRalf Jung-28/+16
2024-08-24Rollup merge of #129505 - RalfJung:imm-ty-offset, r=davidtwcoMatthias Krüger-6/+15
2024-08-24Rollup merge of #129199 - RalfJung:writes_through_immutable_pointer, r=compil...Matthias Krüger-14/+10
2024-08-24const checking: properly compute the set of transient localsRalf Jung-17/+45
2024-08-24interpret: ImmTy: tighten sanity checks in offset logicRalf Jung-6/+15
2024-08-22stabilize const_fn_floating_point_arithmeticRalf Jung-48/+12
2024-08-21Rollup merge of #129344 - compiler-errors:less-option-unit-diagnostics, r=jie...Matthias Krüger-12/+12
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-12/+12
2024-08-20ctfe: make CompileTimeInterpCx type alias publicRalf Jung-2/+5
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-9/+9
2024-08-17make writes_through_immutable_pointer a hard errorRalf Jung-14/+10
2024-08-14stabilize `is_none_or`Slanterns-1/+0
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-11/+11
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-4/+32
2024-08-12Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnrMatthias Krüger-2/+2
2024-08-12Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxuGuillaume Gomez-7/+11
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-1/+1
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-1/+1
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-7/+11
2024-08-10rustc_const_eval: make LazyLock suggestion translatablePavel Grigorenko-1/+1
2024-08-10rustc_const_eval: make message about "const stable" translatablePavel Grigorenko-2/+2
2024-08-10rustc_const_eval: remove redundant `#[allow(rustc::untranslatable_diagnostic)]`Pavel Grigorenko-2/+0
2024-08-09interpret: make identity upcasts a NOP again to avoid them generating a new r...Ralf Jung-0/+6
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-11/+11
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-6/+5
2024-08-08Normalize struct tail properly in disalignment checkMichael Goulet-1/+1
2024-08-07Disallow enabling features without their implied featuresCaleb Zulawski-7/+1
2024-08-07Hide implicit target features from diagnostics when possibleCaleb Zulawski-3/+10