summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-04-04Don't inherit codegen attrs from parent staticMichael Goulet-1/+7
2024-03-14Move the entire success path into `eval_body_using_ecx`Oli Scherer-1/+1
2024-03-14Move generate_stacktrace_from_stack away from InterpCx to avoid having to kno...Oli Scherer-29/+27
2024-03-14Move InterpCx into eval_in_interpreterOli Scherer-1/+1
2024-03-14Move only usage of `take_static_root_alloc` to its definition and inline itOli Scherer-10/+15
2024-03-14Auto merge of #122243 - RalfJung:local-place-sanity-check, r=oli-obkbors-70/+58
2024-03-13placate tidy.Felix S. Klock II-1/+1
2024-03-13downgrade mutable-ptr-in-final-value from hard-error to future-incompat lint ...Felix S. Klock II-4/+8
2024-03-13Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obkbors-2/+4
2024-03-12Exhaustively match on the mutability and nestednessOli Scherer-7/+9
2024-03-12s/mt/mutability/Oli Scherer-4/+4
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-31/+98
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-9/+10
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-6/+43
2024-03-10remove unnecessary frame parameter from after_local_allocatedRalf Jung-4/+4
2024-03-10Auto merge of #121662 - saethlin:precondition-unification, r=RalfJungbors-4/+10
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-6/+43
2024-03-09remove some frame parameters that are no longer neededRalf Jung-17/+17
2024-03-09remove a machine hook that is no longer usedRalf Jung-24/+0
2024-03-09interpret: ensure that Place is never used for a different frameRalf Jung-33/+45
2024-03-09Only enable library UB checks in const-eval/Miri when debug_assertions are en...Ben Kimock-1/+1
2024-03-09interpret: pass Size and Align to before_memory_deallocationRalf Jung-2/+4
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-7/+11
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-4/+10
2024-03-08Rollup merge of #122076 - WaffleLapkin:mplace-args, r=RalfJungMatthias Krüger-24/+50
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-24/+50
2024-03-08Rollup merge of #122183 - RalfJung:read-discriminant-uninhabited-variant, r=t...Matthias Krüger-1/+7
2024-03-08interpret: update comment about read_discriminant on uninhabited variantsRalf Jung-1/+7
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-10/+8
2024-03-07Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obkbors-26/+22
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-8/+3
2024-03-05Rollup merge of #122018 - RalfJung:box-custom-alloc, r=oli-obkMatthias Krüger-8/+3
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-03-05only set noalias on Box with the global allocatorRalf Jung-8/+3
2024-03-04consistently use MPlaceTy for return placesRalf Jung-26/+15
2024-03-04typoRalf Jung-1/+1
2024-03-04interpret/cast: make more matches on FloatTy properly exhaustiveRalf Jung-23/+35
2024-03-04interpret: avoid a long-lived PlaceTy in stack framesRalf Jung-3/+10
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+2
2024-02-29allow statics pointing to mutable staticsRalf Jung-17/+8
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-24Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgrbors-8/+12
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-10/+8
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-2/+2
2024-02-23interpret: do no ICE on OOB shuffle/insert/extract indicesRalf Jung-8/+12
2024-02-22Overhaul `Diagnostic` args.Nicholas Nethercote-1/+1
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-46/+39
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+1
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-46/+39