about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret
AgeCommit message (Expand)AuthorLines
2024-06-14MIR Shl/Shr: the offset can be computed with rem_euclidRalf Jung-12/+7
2024-06-14const validation: fix ICE on dangling ZST referenceRalf Jung-5/+11
2024-06-13const-eval: make lint scope computation consistentRalf Jung-17/+10
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-4/+4
2024-06-13Rollup merge of #126379 - RalfJung:find_closest_untracked_caller_location, r=...León Orell Valerian Liehr-3/+7
2024-06-13interpret: update doc comment for find_closest_untracked_caller_locationRalf Jung-3/+7
2024-06-12Rollup merge of #126358 - jswrenn:fix-125811, r=compiler-errorsJubilee-4/+1
2024-06-12Rollup merge of #126328 - RalfJung:is_none_or, r=workingjubileeJubilee-3/+3
2024-06-13safe transmute: support `Variants::Single` enumsJack Wrenn-4/+1
2024-06-12use is_none_or in some places in the compilerRalf Jung-3/+3
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-116/+129
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-26/+29
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-4/+36
2024-06-11check for correct trait in size_and_align_ofRalf Jung-5/+8
2024-06-10Rollup merge of #126184 - RalfJung:interpret-simd-nonpow2, r=oli-obkMatthias Krüger-6/+9
2024-06-10interpret: refactor dyn trait handlingRalf Jung-112/+90
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-25/+23
2024-06-09interpret: do not ICE on padded non-pow2 SIMD vectorsRalf Jung-6/+9
2024-06-08offset_of: allow (unstably) taking the offset of slice tail fieldsRalf Jung-1/+4
2024-06-08StorageLive: refresh storage (instead of UB) when local is already liveRalf Jung-5/+3
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-2/+4
2024-06-05Update the interpreter to handle the new casesBen Kimock-9/+22
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-2/+4
2024-06-01Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-05-29Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin许杰友 Jieyou Xu (Joe)-24/+50
2024-05-28Add an intrinsic for `ptr::metadata`Scott McMurray-5/+25
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-24/+50
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-191/+162
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-23/+21
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+18
2024-05-23Allow const eval failures if the cause is a type layout issueOli Scherer-3/+14
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+18
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-187/+126
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-22/+30
2024-05-22clarify commentRalf Jung-1/+3
2024-05-21improve comment wordingRalf Jung-1/+2
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-186/+123
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-9/+5
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-22/+29
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-31/+53
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-5/+5
2024-05-09Make builtin_deref just return a TyMichael Goulet-5/+5
2024-05-09interpret/miri: better errors on failing offset_fromRalf Jung-13/+16
2024-05-04Rollup merge of #124720 - RalfJung:interpret-drop, r=compiler-errorsMatthias Krüger-6/+9
2024-05-04some comments or dynamic drop handlingRalf Jung-0/+6
2024-05-04interpret: Drop: always evaluate placeRalf Jung-6/+3
2024-05-04interpret, miri: uniform treatments of intrinsics/functions with and without ...Ralf Jung-6/+3
2024-05-04Rollup merge of #124293 - oli-obk:miri_intrinsic_fallback_body, r=RalfJungMatthias Krüger-4/+21
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-4/+21
2024-05-02interpret: hide some reexports in rustdocRalf Jung-0/+1