about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-03-08Don't ICE in CTFE if raw/fn-ptr types differMichael Goulet-1/+0
2024-03-07Auto merge of #121985 - RalfJung:interpret-return-place, r=oli-obkbors-31/+27
2024-03-06Rollup merge of #121382 - nnethercote:rework-untranslatable_diagnostic-lint, ...Matthias Krüger-0/+4
2024-03-06Rewrite the `untranslatable_diagnostic` lint.Nicholas Nethercote-0/+4
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-6/+6
2024-03-05only set noalias on Box with the global allocatorRalf Jung-8/+3
2024-03-05Rollup merge of #121997 - RalfJung:cast-float-ty, r=compiler-errorsMatthias Krüger-23/+35
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-14/+11
2024-03-04consistently use MPlaceTy for return placesRalf Jung-31/+20
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-02Rollup merge of #121731 - oli-obk:eager_opaque_checks, r=compiler-errorsGuillaume Boisseau-22/+3
2024-03-02add comment and test: we do not do value-based reasoning for promotion of unionsRalf Jung-0/+1
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+2
2024-02-29Rollup merge of #121782 - RalfJung:mutable-ref-in-static, r=oli-obkMatthias Krüger-19/+8
2024-02-29allow statics pointing to mutable staticsRalf Jung-19/+8
2024-02-28Auto merge of #121489 - nnethercote:diag-renaming, r=davidtwcobors-58/+56
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-28Now that inlining, mir validation and const eval all use reveal-all, we won't...Oli Scherer-22/+3
2024-02-28Rename `DiagnosticImportance` as `DiagImportance`.Nicholas Nethercote-16/+14
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-9/+9
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-35/+35
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-4/+2
2024-02-24Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgrbors-8/+12
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-13/+11
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-3/+3
2024-02-21Rollup merge of #121396 - RalfJung:mir-const-value-inspect, r=oli-obkLeón Orell Valerian Liehr-12/+35
2024-02-21make it possible for outside crates to inspect a mir::ConstValue with the int...Ralf Jung-12/+35
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-10/+4
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-0/+7
2024-02-20Reduce capabilities of `Diagnostic`.Nicholas Nethercote-0/+7
2024-02-19Always evaluate free constants and statics, even if previous errors occurredOli Scherer-1/+1
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-1/+1
2024-02-17const_mut_refs: allow mutable refs to staticsRalf Jung-4/+57
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-57/+52
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-3/+3
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-57/+52
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-4/+5
2024-02-15Auto merge of #120931 - chenyukang:yukang-cleanup-hashmap, r=michaelwoeristerbors-5/+5
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-1/+1
2024-02-15Auto merge of #116564 - oli-obk:evaluated_static_in_metadata, r=RalfJung,cjgi...bors-64/+246
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-52/+190
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-7/+27
2024-02-15Store static initializers in metadata instead of the MIR of statics.Oli Scherer-2/+2