about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
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-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
2024-01-29prefer instrumentation over entry/exit tracing statementsOli Scherer-2/+2
2024-01-29interning doesn't check alignment anymroe, because it doesn't do any more pro...Oli Scherer-4/+0
2024-01-26Auto merge of #116167 - RalfJung:structural-eq, r=lcnrbors-1/+1
2024-01-25Auto merge of #119911 - NCGThompson:is-statically-known, r=oli-obkbors-0/+5
2024-01-24remove StructuralEq traitRalf Jung-1/+1
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-14/+20
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-2/+2
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-14/+20
2024-01-20Auto merge of #119821 - oli-obk:reveal_all_const_evals, r=lcnrbors-29/+9
2024-01-19Add new intrinsic `is_constant` and optimize `pow`Catherine Flores-0/+5
2024-01-19Always use RevealAll for const eval queriesOli Scherer-29/+9
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+4
2024-01-10Rename `{create,emit}_warning` as `{create,emit}_warn`.Nicholas Nethercote-1/+1
2024-01-05Remove outdated references to `librustc_middle`.Alona Enraght-Moony-3/+1
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-6/+6
2023-12-24fix ICE when using raw ptr in a patternRalf Jung-1/+1