about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2024-03-10Auto merge of #121662 - saethlin:precondition-unification, r=RalfJungbors-6/+12
2024-03-09Only enable library UB checks in const-eval/Miri when debug_assertions are en...Ben Kimock-1/+1
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
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-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