summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2024-03-14Rename some things around validation error reporting to signal that it is in ...Oli Scherer-4/+6
2024-03-14Move the entire success path into `eval_body_using_ecx`Oli Scherer-40/+32
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-7/+4
2024-03-14Move InterpCx into eval_in_interpreterOli Scherer-8/+8
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-14/+4
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-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-5/+12
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-1/+1
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-6/+2
2024-03-11Rollup merge of #121893 - RalfJung:const-interior-mut-tests, r=oli-obkJubilee-4/+4
2024-03-11const-checking: add some corner case tests, and fix some nitsRalf Jung-4/+4
2024-03-11Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercotebors-7/+7
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote-1/+1
2024-03-11Rename `IntoDiagnostic` as `Diagnostic`.Nicholas Nethercote-2/+2
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-5/+5
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-09interpret: do not call machine read hooks during validationRalf Jung-6/+2
2024-03-08Tweak the way we protect in-place function arguments in interpretersMaybe Waffle-2/+2
2024-03-07Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obkbors-5/+5
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-4/+2
2024-03-04consistently use MPlaceTy for return placesRalf Jung-5/+5
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-2/+2
2024-02-21Rollup merge of #121396 - RalfJung:mir-const-value-inspect, r=oli-obkLeón Orell Valerian Liehr-10/+28
2024-02-21make it possible for outside crates to inspect a mir::ConstValue with the int...Ralf Jung-10/+28
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-1/+1
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-6/+2
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+1
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-30/+51
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-0/+26
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-12Rollup merge of #120833 - nnethercote:more-internal-emit_diagnostics-cleanups...Matthias Krüger-1/+1
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-1/+1
2024-02-12fix cycle error when a static and a promoted are mutually recursiveRalf Jung-11/+2
2024-02-12Remove `dcx` arg from `ReportErrorExt::add_args`.Nicholas Nethercote-1/+1
2024-02-10detect consts that reference extern staticsRalf Jung-2/+5
2024-02-10validation: descend from consts into staticsRalf Jung-28/+10
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-99/+112
2024-02-07Rollup merge of #120302 - oli-obk:const_intern_cleanups, r=RalfJungGuillaume Boisseau-6/+2
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+2
2024-02-05Rollup merge of #119600 - aDotInTheVoid:comment-fix, r=compiler-errorsMatthias Krüger-3/+1
2024-02-03Use `DiagnosticArgName` in a few more places.Nicholas Nethercote-5/+4
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-1/+1