about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-08-15C string function shims: consistently treat "invalid" pointers as UBRalf Jung-6/+34
2023-08-11Include spans in use-after-free diagnosticsBen Kimock-14/+169
2023-08-11Remove `float_to_int_unchecked` and inline it into its call sitesEduardo Sánchez Muñoz-2/+2
2023-08-11Add checked float-to-int helper functionEduardo Sánchez Muñoz-2/+2
2023-08-11Auto merge of #2989 - eduardosm:x86-intrinsics, r=RalfJungbors-0/+1075
2023-08-11miri: implement some `llvm.x86.sse.*` intrinsics and add testsEduardo Sánchez Muñoz-0/+1075
2023-08-10add gamma function shimsRalf Jung-2/+17
2023-08-07Auto merge of #114560 - RalfJung:miri, r=RalfJungbors-264/+476
2023-08-06Add a new `compare_bytes` intrinsic instead of calling `memcmp` directlyScott McMurray-4/+4
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-113/+138
2023-08-05ensure we allow zero-sized references to functions and vtablesRalf Jung-0/+25
2023-08-05fix return place protection when the place is given as a localRalf Jung-0/+69
2023-08-04Merge from rustcThe Miri Conjob Bot-4/+5
2023-08-03Auto merge of #108955 - Nilstrieb:dont-use-me-pls, r=oli-obkbors-0/+1
2023-08-03Add `internal_features` lintNilstrieb-0/+1
2023-08-03add test checking that overlapping assignments workRalf Jung-0/+9
2023-08-03Merge from rustcThe Miri Conjob Bot-50/+80
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-4/+4
2023-08-02add local_addr_of_mut testRalf Jung-0/+12
2023-08-02add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_cons...Ralf Jung-11/+65
2023-08-02Auto merge of #112431 - Urgau:cast_ref_to_mut_improvments, r=Nilstriebbors-0/+4
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-50/+76
2023-08-02fmtThe Miri Conjob Bot-8/+12
2023-08-02Merge from rustcThe Miri Conjob Bot-49/+122
2023-08-01Auto merge of #114331 - matthiaskrgr:rollup-rnrmwcx, r=matthiaskrgrbors-0/+24
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-50/+76
2023-08-01Auto merge of #112849 - m-ou-se:panic-message-format, r=thomccbors-49/+98
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-0/+24
2023-07-31Auto merge of #3002 - RalfJung:miri-script, r=RalfJungbors-1/+1
2023-07-31fix oversight from new miri-scriptRalf Jung-1/+1
2023-07-31add some interesting tests for alignment corner casesRalf Jung-18/+67
2023-07-30Auto merge of #2997 - RalfJung:test-utils, r=RalfJungbors-112/+77
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-112/+77
2023-07-30fmtThe Miri Conjob Bot-1/+1
2023-07-29Auto merge of #114211 - RalfJung:miri, r=RalfJungbors-79/+99
2023-07-29Adjust some tests for invalid_reference_casting improvementsUrgau-0/+4
2023-07-29Fix test output.Mara Bos-2/+4
2023-07-29Change default panic handler message format.Mara Bos-47/+94
2023-07-29Auto merge of #113422 - Urgau:cast_ref_to_mut-pre-beta, r=Nilstriebbors-2/+2
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-42/+44
2023-07-26Unite bless environment variables under `RUSTC_BLESS`Trevor Gross-2/+3
2023-07-26we correctly check that the perm is not lazy when triggering protectorsNeven Villani-0/+16
2023-07-26fix protectors so that all reads actually commuteNeven Villani-26/+26
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-52/+54
2023-07-26fmtThe Miri Conjob Bot-1/+1
2023-07-25Auto merge of #114011 - RalfJung:place-projection, r=oli-obkbors-1/+4
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-1/+4
2023-07-23Merge from rustcRalf Jung-5/+4
2023-07-22Merge from rustcThe Miri Conjob Bot-4/+5
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-5/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 11:01:10 +0000