about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2024-12-30fmtRalf Jung-2/+2
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-3/+25
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-12/+12
2024-12-25miri: add test for overlapping typed_swapRalf Jung-0/+28
2024-12-15Merge from rustcThe Miri Cronjob Bot-10/+0
2024-12-13Fix miri testsEsteban Küber-10/+0
2024-12-11Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skippingRalf Jung-0/+60
2024-12-10TB: optimize accesses on large trees by ignoring subtrees if the access would...Johannes Hostert-6/+6
2024-12-05make SC fences stronger, to be correct wrt C++20Ralf Jung-107/+0
2024-12-04add test to demonstrate the effect of #4008Johannes Hostert-0/+60
2024-12-03Rollup merge of #133726 - joshtriplett:breakpoint, r=oli-obkMatthias Krüger-5/+3
2024-12-03miri: Adapt for `breakpoint` becoming safeJosh Triplett-5/+3
2024-11-30improve TagEncoding::Niche docs and sanity checkRalf Jung-0/+42
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-2/+2
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...Ralf Jung-1/+1
2024-10-29Rollup merge of #132233 - WaffleLapkin:box-module-split, r=workingjubileeJubilee-1/+1
2024-10-28Bless a miri testMaybe Lapkin-1/+1
2024-10-22fmtThe Miri Cronjob Bot-1/+0
2024-10-22Merge from rustcThe Miri Cronjob Bot-13/+0
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-13/+0
2024-10-18tail_calls: add test ensuring local vars are indeed goneRalf Jung-0/+46
2024-10-15Rollup merge of #131521 - jdonszelmann:rc, r=joboetMichael Goulet-2/+2
2024-10-14add test ensuring a moved mutex deadlocksRalf Jung-0/+32
2024-10-11simplify Tree Borrows write-during-2phase exampleRalf Jung-13/+15
2024-10-11rename RcBox in other places tooJonathan Dönszelmann-2/+2
2024-10-04Merge from rustcThe Miri Cronjob Bot-3/+3
2024-10-03make sure we also detect mixed-size races that begin at different addressesRalf Jung-1/+47
2024-10-03fmtRalf Jung-2/+2
2024-10-02bless miri testsjoboet-3/+3
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-13/+152
2024-09-29let rustfmt format importsRalf Jung-12/+6
2024-09-28add tests for validity of Box with custom allocatorRalf Jung-0/+99
2024-09-28allow mixed-size atomic readsRalf Jung-140/+154
2024-09-28miri: no longer complain about read-read racesRalf Jung-104/+0
2024-09-25fmtThe Miri Cronjob Bot-1/+3
2024-09-25Merge from rustcThe Miri Cronjob Bot-8/+41
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+1
2024-09-23Check vtable projections for validity in miriMichael Goulet-8/+41
2024-09-23add test for new abort_unwind functionRalf Jung-0/+44
2024-09-22Merge from rustcRalf Jung-2/+2
2024-09-21Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlinbors-2/+2
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-16/+16
2024-09-21Merge from rustcRalf Jung-4/+5
2024-09-20miri: An error message got changedJubilee Young-2/+2
2024-09-19Make the intention of the miri test more clearAdwin White-4/+5
2024-09-19Adapt test to new layoutAdwin White-2/+2
2024-09-17ptr_offset_unsigned_overflow: extend testRalf Jung-5/+6
2024-09-16Bump ui testOli Scherer-1398/+1394
2024-09-16fmtThe Miri Cronjob Bot-2/+2
2024-09-16Merge from rustcThe Miri Cronjob Bot-0/+192