about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-03-15interpret/allocation: fix aliasing issue in interpreter and refactor getters ...Ralf Jung-3/+14
2024-03-14remove unnecessary sized checksLukas Markeffsky-4/+4
2024-03-14Rename some things around validation error reporting to signal that it is in ...Oli Scherer-7/+9
2024-03-14Move the entire success path into `eval_body_using_ecx`Oli Scherer-41/+33
2024-03-14Move validation into eval_body_using_ecxOli Scherer-6/+4
2024-03-14Share the `InterpCx` creation between static and const evaluationOli Scherer-19/+11
2024-03-14Remove an argument that can be computed cheaplyOli Scherer-7/+3
2024-03-14Directly pass in the stack instead of computing it from a machineOli Scherer-5/+6
2024-03-14Move generate_stacktrace_from_stack away from InterpCx to avoid having to kno...Oli Scherer-36/+31
2024-03-14Move InterpCx into eval_in_interpreterOli Scherer-9/+9
2024-03-14Move error handling into const_validate_mplaceOli Scherer-11/+6
2024-03-14Move only usage of `take_static_root_alloc` to its definition and inline itOli Scherer-24/+19
2024-03-14Generalize `eval_in_interpreter` with a helper traitOli Scherer-10/+34
2024-03-14Fix accidental re-addition of removed code in a previous PROli Scherer-3/+0
2024-03-14Auto merge of #122243 - RalfJung:local-place-sanity-check, r=oli-obkbors-70/+59
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-6/+13
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-36/+110
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-10/+11
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-12/+45
2024-03-11Rollup merge of #121893 - RalfJung:const-interior-mut-tests, r=oli-obkJubilee-5/+6
2024-03-11const-checking: add some corner case tests, and fix some nitsRalf Jung-5/+5
2024-03-11Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercotebors-13/+12
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote-1/+1
2024-03-11Rename `IntoDiagnostic` as `Diagnostic`.Nicholas Nethercote-5/+4
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-7/+7
2024-03-11Remove unused impls from some subdiagnostics.Nicholas Nethercote-1/+1
2024-03-10Rollup merge of #122290 - RalfJung:mir-printing, r=compiler-errorsMatthias Krüger-1/+1
2024-03-10MIR printing: print the path of uneval'd const; refer to promoteds in a consi...Ralf Jung-1/+1
2024-03-10use Instance::expect_resolve() instead of unwraping Instance::resolve()Ralf Jung-4/+2
2024-03-10remove unnecessary frame parameter from after_local_allocatedRalf Jung-4/+4
2024-03-10Auto merge of #121662 - saethlin:precondition-unification, r=RalfJungbors-6/+12
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-12/+45
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/+46
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-6/+12
2024-03-08Rollup merge of #122076 - WaffleLapkin:mplace-args, r=RalfJungMatthias Krüger-26/+52
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-26/+52
2024-03-08Rollup merge of #122183 - RalfJung:read-discriminant-uninhabited-variant, r=t...Matthias Krüger-1/+7
2024-03-08Rollup merge of #122173 - compiler-errors:ptr-equality-in-ctfe, r=lcnrMatthias Krüger-1/+0
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-13/+11