summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2025-05-05Merge pull request #4307 from JoJoDeveloping/remove-unique-is-uniqueRalf Jung-169/+0
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-169/+0
2025-05-03Merge from rustcThe Miri Cronjob Bot-119/+89
2025-05-02Rollup merge of #140521 - RalfJung:oob-error, r=saethlinMatthias Krüger-89/+89
2025-05-01Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubileeGuillaume Gomez-30/+0
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-6/+6
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-6/+6
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-89/+89
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-105/+52
2025-04-29Merge pull request #4272 from geetanshjuneja/schedulingRalf Jung-39/+39
2025-04-29Added random schedulinggeetanshjuneja-39/+39
2025-04-27`unsafe(no_mangle)` in `miri_start` examplesprimoly-1/+1
2025-04-25Merge from rustcThe Miri Cronjob Bot-0/+4
2025-04-24Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etcbendn-0/+4
2025-04-22Merge from rustcThe Miri Cronjob Bot-2/+2
2025-04-21Rollup merge of #140009 - ShE3py:tls-abort, r=thomccChris Denton-2/+2
2025-04-20Merge from rustcThe Miri Cronjob Bot-0/+29
2025-04-19simd_select_bitmask: the 'padding' bits in the mask are just ignoredRalf Jung-30/+0
2025-04-18rtprintpanic: clarify that the error is aborting the processLieselotte-2/+2
2025-04-17Merge pull request #4263 from geetanshjuneja/check_shim_abiRalf Jung-3/+3
2025-04-17replaced check_shim with check_shim_abi for env, file, sockets and time relat...geetanshjuneja-3/+3
2025-04-16use std-declared intrinsics rather than copying the declarationRalf Jung-106/+50
2025-04-08Do not optimize out SwitchInt before borrowck, or if Zmir-preserve-ubMichael Goulet-0/+29
2025-03-20Merge from rustcThe Miri Cronjob Bot-0/+22
2025-03-17Fix miribjorn3-0/+22
2025-03-16Merge from rustcThe Miri Cronjob Bot-8/+0
2025-03-15Merge from rustcThe Miri Cronjob Bot-2/+2
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-8/+0
2025-03-14Merge from rustcThe Miri Cronjob Bot-27/+27
2025-03-12Allow more top-down inlining for single-BB calleesScott McMurray-2/+2
2025-03-12Merge pull request #4185 from geetanshjuneja/abi_checkRalf Jung-0/+76
2025-03-12added check_shim_abigeetanshjuneja-0/+76
2025-03-12intrinsics: remove unnecessary leading underscore from argument namesRalf Jung-27/+27
2025-03-08Move fs into sysThalia Archibald-9/+9
2025-02-28Shorten span of panic failures in const contextEsteban Küber-1/+1
2025-02-24Merge from rustcRalf Jung-5/+48
2025-02-23rename sub_ptr 😅bendn-3/+3
2025-02-23Rollup merge of #137121 - bend-n:master, r=NoratriebMatthias Krüger-2/+0
2025-02-20Rollup merge of #135296 - lukas-code:dyn-leak-check, r=compiler-errorsMatthias Krüger-0/+45
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