about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-1/+1
2024-09-08interpret: reset provenance on typed copiesRalf Jung-0/+13
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-3/+3
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-1/+2
2024-08-30enable Miri to pass const pointers through FFIStrophox-1/+2
2024-08-29Add `warn(unreachable_pub)` to `rustc_middle`.Nicholas Nethercote-1/+1
2024-08-14use the new Box methods in the interpreterRalf Jung-4/+2
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-94/+51
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-88/+12
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-9/+7
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-6/+14
2024-07-29Reformat `use` declarations.Nicholas Nethercote-54/+39
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-6/+14
2024-07-22Auto merge of #127442 - saethlin:alloc-decoding-lock, r=oli-obkbors-89/+25
2024-07-21Explain why the new setup can't deadlockBen Kimock-1/+13
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+5
2024-07-17Remove in-progress allocation decoding statesBen Kimock-89/+13
2024-07-14Add cache for `allocate_str`Adwin White-6/+11
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-23/+50
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-2/+2
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-23/+50
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-0/+2
2024-06-21add as_ptr to trait AllocBytes, fix 2 impls; add pub fn get_bytes_unchecked_r...Strophox-3/+23
2024-06-18Rollup merge of #126583 - RalfJung:interpret-oom, r=saethlinGuillaume Gomez-2/+5
2024-06-17Remove an unused validation error variantOli Scherer-3/+0
2024-06-17interpret: better error when we ran out of memoryRalf Jung-2/+5
2024-06-14Enable const evaluation for `f16` and `f128`Trevor Gross-0/+14
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-24/+9
2024-06-08add missing Scalar::from_i128Ralf Jung-0/+5
2024-06-05Don't walk the bodies of free constants for reachability.Oli Scherer-3/+23
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-22/+21
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-2/+1
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-3/+5
2024-05-23Allow const eval failures if the cause is a type layout issueOli Scherer-0/+3
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-3/+5
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-2/+1
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-6/+13
2024-05-13interpret: move error macros into error.rsRalf Jung-132/+126
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-11/+27
2024-05-09Remove `TinyList`.Nicholas Nethercote-9/+8
2024-05-03remove trait bounds on AllocBytesStrophox-3/+1
2024-05-03Cow::from(&*...) changed to Cow::Owned(Vec::from(...))Strophox-1/+1
2024-05-03generalize adjust_from_tcxStrophox-4/+4
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-2/+3
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-4/+7
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-21/+78
2024-04-19Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obkbors-11/+13
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-2/+2
2024-04-18interpret/binary_int_op: avoid dropping to raw ints until we determined the signRalf Jung-10/+12
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-2/+2