summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval
AgeCommit message (Expand)AuthorLines
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-1/+1
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-2/+2
2024-05-28Create const block DefIds in typeck instead of ast loweringOli Scherer-1/+1
2024-05-28Remove a CTFE check that was only ever used to ICEOli Scherer-13/+1
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-2/+2
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-62/+56
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-28/+25
2024-05-24Run rustfmt on files that need it.Nicholas Nethercote-4/+3
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+4
2024-05-23Allow const eval failures if the cause is a type layout issueOli Scherer-4/+5
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+4
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-3/+3
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-5/+15
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-3/+3
2024-05-17Rename Unsafe to SafetySantiago Pastorino-2/+2
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