summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2025-02-12Change swap_nonoverlapping from lang to library UBBen Kimock-0/+46
2025-02-06remove use of `feature(trait_upcasting)` from miriWaffle Lapkin-3/+0
2025-02-04Auto merge of #135760 - scottmcm:disjoint-bitor, r=WaffleLapkinbors-0/+20
2025-02-03Rollup merge of #136438 - RalfJung:offset_from_ub_errors, r=oli-obk许杰友 Jieyou Xu (Joe)-3/+45
2025-02-02miri_get_backtrace: stop supporting the v0 protocolRalf Jung-2/+5
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-3/+45
2025-01-31PR feedbackScott McMurray-0/+20
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