about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/issues
AgeCommit message (Collapse)AuthorLines
2025-04-24Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etcbendn-0/+1
2025-04-18Rollup merge of #139553 - petrosagg:channel-double-free, r=RalfJung,tgross35Matthias Krüger-0/+45
sync::mpsc: prevent double free on `Drop` This PR is fixing a regression introduced by #121646 that can lead to a double free when dropping the channel. The details of the bug can be found in the corresponding crossbeam PR https://github.com/crossbeam-rs/crossbeam/pull/1187
2025-04-12fmtThe Miri Cronjob Bot-1/+1
2025-04-11sync::mpsc: prevent double free on `Drop`Petros Angelatos-1/+1
This PR is fixing a regression introduced by #121646 that can lead to a double free when dropping the channel. The details of the bug can be found in the corresponding crossbeam PR https://github.com/crossbeam-rs/crossbeam/pull/1187 Signed-off-by: Petros Angelatos <petrosagg@gmail.com>
2025-04-11sync::mpsc: add miri reproducer of double freePetros Angelatos-0/+45
Signed-off-by: Petros Angelatos <petrosagg@gmail.com>
2025-04-09Add a Miri test for 134713Scott McMurray-0/+30
2024-12-05Stabilize noop_wakerEric Holk-2/+0
Co-authored-by: zachs18 <8355914+zachs18@users.noreply.github.com>
2024-12-02Allow fn pointers comparisons lint in UI testsUrgau-0/+2
2024-09-29let rustfmt format importsRalf Jung-1/+2
2024-09-16Bump ui testOli Scherer-1/+1
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-0/+1
2024-06-20Fix ICE caused by seeking past `i64::MAX`Adwin White-0/+21
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-0/+40
2024-04-23chore: fix some typos in commentsforcedebug-1/+1
Signed-off-by: forcedebug <forcedebug@outlook.com>
2024-04-16Box::into_raw: make Miri understand that this is a box-to-raw castRalf Jung-0/+28
2024-02-02miri: normalize struct tail in ABI compat checkLukas Markeffsky-0/+20
2024-01-26interpret: project_downcast: do not ICE for uninhabited variantsRalf Jung-0/+16
2024-01-17Remove unnecessary `let`s and borrowing from `Waker::noop()` usage.Kevin Reid-2/+1
`Waker::noop()` now returns a `&'static Waker` reference, so it can be passed directly to `Context` creation with no temporary lifetime issue.
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-3/+3
Otherwise the newly-detected dead code causes new output
2023-12-11use Waker::noop instead of defining our own WakerRalf Jung-12/+6
2023-12-05fix typo in commentRalf Jung-1/+1
2023-12-05fmtThe Miri Conjob Bot-20/+24
2023-12-03codegen, miri: fix computing the offset of an unsized field in a packed structRalf Jung-0/+73
2023-08-02Merge from rustcThe Miri Conjob Bot-33/+0
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-33/+0
2023-07-31add some interesting tests for alignment corner casesRalf Jung-18/+0
2023-04-14Fix spellingJosh Soref-1/+1
* additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-3/+1
2023-03-09replace legacy copyright annotations in submodulesPietro Albini-9/+2
2023-01-11Stabilize `::{core,std}::pin::pin!`Daniel Henry-Mantilla-2/+0
2022-11-18Delete miri testMichael Goulet-24/+0
2022-10-21add test for #1909Ralf Jung-0/+57
2022-10-07rustupRalf Jung-1/+3
2022-09-22add regression test for miri issue 2433Ralf Jung-0/+22
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+577
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573