about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-09-08interpret: remove Readable trait, we can use Projectable insteadRalf Jung-43/+17
2024-09-06Make `Ty::boxed_ty` return an `Option`Pavel Grigorenko-1/+1
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-2/+2
2024-09-03Add `warn(unreachable_pub)` to `rustc_const_eval`.Nicholas Nethercote-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-6/+6
2024-08-31Auto merge of #129831 - matthiaskrgr:rollup-befq6zx, r=matthiaskrgrbors-11/+1
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-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 #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-25Avoid taking reference of &TyKindMichael Goulet-3/+3
2024-08-24interpret: ImmTy: tighten sanity checks in offset logicRalf Jung-6/+15
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-6/+6
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-4/+32
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-5/+8
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-6/+6
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-5/+4
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
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-4/+26
2024-08-06various cleanups based on reviewRalf Jung-55/+54
2024-08-06make some Frame fields more privateRalf Jung-4/+12
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-1220/+1251
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-38/+46
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-76/+127
2024-08-02Rollup merge of #128494 - RalfJung:mir-lazy-lists, r=compiler-errorsMatthias Krüger-1/+1
2024-08-02Rollup merge of #128453 - RalfJung:raw_eq, r=saethlinMatthias Krüger-3/+0
2024-08-01MIR required_consts, mentioned_items: ensure we do not forget to fill these l...Ralf Jung-1/+1
2024-08-01fix the way we detect overflow for inbounds arithmetic (and tweak the error m...Ralf Jung-8/+14
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-23/+7
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-46/+69
2024-07-31raw_eq: using it on bytes with provenance is not UB (outside const-eval)Ralf Jung-3/+0
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-7/+2
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-54/+68
2024-07-29Reformat `use` declarations.Nicholas Nethercote-104/+68
2024-07-28step cfg(bootstrap)Mark Rousskov-7/+2
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-7/+13