summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret
AgeCommit message (Expand)AuthorLines
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
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-2/+2
2024-03-26Auto merge of #111769 - saethlin:ctfe-backtrace-ctrlc, r=RalfJungbors-0/+2
2024-03-22Rollup merge of #122537 - RalfJung:interpret-allocation, r=oli-obkMatthias Krüger-11/+31
2024-03-20Rollup merge of #121543 - onur-ozkan:clippy-args, r=oli-obkMatthias Krüger-2/+2
2024-03-20resolve clippy errorsonur-ozkan-2/+2
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-8/+8
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-0/+2
2024-03-15interpret/allocation: fix aliasing issue in interpreter and refactor getters ...Ralf Jung-11/+31
2024-03-14Add compiler support for parsing `f16` and `f128`Trevor Gross-1/+21
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-1/+11
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-10/+10
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-4/+2
2024-02-29Rollup merge of #121782 - RalfJung:mutable-ref-in-static, r=oli-obkMatthias Krüger-1/+0
2024-02-29allow statics pointing to mutable staticsRalf Jung-1/+0
2024-02-28Auto merge of #121489 - nnethercote:diag-renaming, r=davidtwcobors-8/+8
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-8/+8
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-1/+1
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-4/+5
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-4/+5
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-7/+7
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-34/+3
2024-02-15Add new query just for static initializersOli Scherer-26/+10
2024-02-15Replace `NonZero::<_>::new` with `NonZero::new`.Markus Reiter-2/+2
2024-02-15Use generic `NonZero` internally.Markus Reiter-7/+7
2024-02-12Dejargnonize substShoyu Vanilla-9/+9
2024-02-11Rollup merge of #120883 - RalfJung:extern-static-err, r=oli-obkMatthias Krüger-1/+1
2024-02-11Rollup merge of #120882 - RalfJung:set-discriminant, r=compiler-errorsMatthias Krüger-0/+2
2024-02-10detect consts that reference extern staticsRalf Jung-0/+1
2024-02-10validation: descend from consts into staticsRalf Jung-0/+1