about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2025-02-19Merge from rustcThe Miri Cronjob Bot-0/+2
2025-02-18Rollup merge of #136750 - kornelski:ub-bug, r=saethlinUrgau-0/+2
2025-02-17Merge from rustcThe Miri Cronjob Bot-4/+4
2025-02-17stabilize (const_)ptr_sub_ptrbendn-2/+0
2025-02-16Make ub_check message clear that it's not an assertKornel-0/+2
2025-02-14Bless miri tests after applying unsafe_op_in_unsafe_fnEric Huss-4/+4
2025-02-13Merge from rustcThe Miri Cronjob Bot-0/+46
2025-02-12Change swap_nonoverlapping from lang to library UBBen Kimock-0/+46
2025-02-08Merge from rustcThe Miri Cronjob Bot-3/+0
2025-02-06remove use of `feature(trait_upcasting)` from miriWaffle Lapkin-3/+0
2025-02-06some more argument checking cleanupRalf Jung-9/+9
2025-02-06Throw ub error when invoking non-vararg shim with vararg importtiif-0/+29
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-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