about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
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
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-6/+6
2023-12-23Use `IntoDiagnostic` default.Nicholas Nethercote-2/+2
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-07avoid marking as immutable what is already immutableRalf Jung-1/+4
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-23/+90
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-10/+7
2023-12-02Use `Session::diagnostic` in more places.Nicholas Nethercote-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-22Rollup merge of #118147 - Nilstrieb:no-redundant-casts, r=WaffleLapkinMichael Goulet-1/+1
2023-11-21Fix some unnecessary castsNilstrieb-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-21Rollup merge of #118029 - saethlin:allocid-gc, r=RalfJungNilstrieb-0/+8
2023-11-19Expand Miri's BorTag GC to a Provenance GCBen Kimock-0/+8
2023-11-12patterns: don't ice when encountering a raw str sliceRalf Jung-4/+9