about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-5/+15
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-4/+13
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1
2024-05-07replace another Option<Span> by DUMMY_SPRalf Jung-10/+10
2024-05-04interpret, miri: uniform treatments of intrinsics/functions with and without ...Ralf Jung-14/+2
2024-05-03Ensure miri only uses fallback bodies that have manually been vetted to prese...Oli Scherer-1/+2
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-8/+24
2024-04-23properly fill a promoted's required_constsRalf Jung-19/+2
2024-04-23interpret: sanity-check that required_consts captures all consts that can failRalf Jung-0/+20
2024-04-17Use less fragile error handlingOli Scherer-3/+5
2024-04-17Validate before reporting interning errors.Oli Scherer-3/+26
2024-04-08Actually create ranged int types in the type system.Oli Scherer-2/+14
2024-03-27chore: fix some commentsxiaoxiangxianzi-1/+1
2024-03-26Auto merge of #111769 - saethlin:ctfe-backtrace-ctrlc, r=RalfJungbors-1/+8
2024-03-23tag_for_variant follow-upsRalf Jung-22/+23
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-1/+214
2024-03-22Add `tag_for_variant` queryJack Wrenn-1/+214
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-2/+2
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-1/+8
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