about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/concurrency
AgeCommit message (Collapse)AuthorLines
2025-06-07bless non-Linux testsRalf Jung-3/+1
2025-06-07make better use of label for data-race and some other errorsRalf Jung-2/+2
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-6/+3
2025-05-19run tests on mips-unknown-linux-gnuRalf Jung-0/+1
2024-10-14add test ensuring a moved mutex deadlocksRalf Jung-0/+32
2024-09-16Bump ui testOli Scherer-7/+7
2024-01-05Auto merge of #118297 - shepmaster:warn-dead-tuple-fields, r=WaffleLapkinbors-1/+1
Merge `unused_tuple_struct_fields` into `dead_code` This implicitly upgrades the lint from `allow` to `warn` and places it into the `unused` lint group. [Discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Moving.20.60unused_tuple_struct_fields.60.20from.20allow.20to.20warn)
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-1/+1
Otherwise the newly-detected dead code causes new output
2023-12-25have windows tests use windows-sysDrMeepster-121/+0
2023-11-24Manual find replace updatesNilstrieb-4/+4
2023-11-24Bless Miri testsNilstrieb-2/+2
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-12more consistent naming for TLS testsRalf Jung-31/+0
2023-10-28accept some atomic loads from read-only memoryRalf Jung-31/+62
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-2/+2
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ↵Oli Scherer-325/+0
tests don't build dependencies
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-0/+2
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-3/+3
Miri: fix error on dangling pointer inbounds offset We used to claim that the pointer was "dereferenced", but that is just not true. Can be reviewed commit-by-commit. The first commit is an unrelated rename that didn't seem worth splitting into its own PR. r? `@oli-obk`
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-3/+3
also simplify the in-bounds checking in Miri's borrow trackers
2023-07-29Change default panic handler message format.Mara Bos-1/+2
2023-05-09Update to latest ui_test crate version.Oli Scherer-2/+2
Also stops using github actions groups that conflict with our groups as github does not nest them
2023-05-08port tests to 2021 editionRalf Jung-4/+4
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-12/+12
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-11/+11
2022-09-24Bless miri.Camille GILLOT-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+540
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573