about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-0/+45
2025-01-29Merge pull request #4122 from tiif/fnabiRalf Jung-0/+63
2025-01-30Check fixed arg number for variadic function.tiif-0/+63
2025-01-26Merge from rustcThe Miri Cronjob Bot-3/+5
2025-01-25Auto merge of #133154 - estebank:issue-133137, r=wesleywiserbors-3/+5
2025-01-25Merge from rustcThe Miri Cronjob Bot-2/+2
2025-01-24bless miri testWaffle Lapkin-2/+2
2025-01-24Reword "crate not found" resolve messageEsteban Küber-3/+5
2025-01-23fmtThe Miri Cronjob Bot-3/+0
2025-01-21Auto merge of #134299 - RalfJung:remove-start, r=compiler-errorsbors-16/+19
2025-01-21remove support for the #[start] attributeRalf Jung-16/+19
2025-01-20Rollup merge of #135333 - vayunbiyani:test-environment, r=RalfJungMatthias Krüger-81/+57
2025-01-20Updated several files to use rust intrinsic macros instead of the legacy exte...vayunbiyani-81/+57
2025-01-11avoid nesting the user-defined main so deeply on the stackRalf Jung-7/+3
2025-01-11use a single large catch_unwind in lang_startRalf Jung-3/+7
2025-01-01Try to write the panic message with a single `write_all` callJohn Kåre Alsaker-0/+25
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