about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-34/+34
2023-08-16on out-of-bounds error, show where the allocation was createdRalf Jung-7/+45
2023-08-16Auto merge of #2940 - saethlin:use-after-free-spans, r=RalfJungbors-14/+169
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-07Auto merge of #114560 - RalfJung:miri, r=RalfJungbors-115/+253
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-05fix return place protection when the place is given as a localRalf Jung-0/+69
2023-08-04Merge from rustcThe Miri Conjob Bot-4/+4
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-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-02Merge from rustcThe Miri Conjob Bot-17/+34
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-17/+34
2023-07-31add some interesting tests for alignment corner casesRalf Jung-0/+44
2023-07-30Auto merge of #2997 - RalfJung:test-utils, r=RalfJungbors-2/+2
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-2/+2
2023-07-29Auto merge of #114211 - RalfJung:miri, r=RalfJungbors-30/+30
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-15/+30
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-26/+26
2023-07-26fix protectors so that all reads actually commuteNeven Villani-26/+26
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-4/+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
2023-07-21Auto merge of #2985 - RalfJung:retag-fields, r=saethlinbors-15/+31
2023-07-21ask people to reach out if we declare too much UBRalf Jung-2/+9
2023-07-21SB: track whether a retag occurred nested inside a fieldRalf Jung-7/+7
2023-07-21make full field retagging the defaultRalf Jung-9/+18
2023-07-21add `naive_layout_of` queryMoulins-4/+5
2023-07-20Merge from rustcThe Miri Conjob Bot-0/+1
2023-07-18moved note as unspanned note, moved note to the bottom of the msgnxya-1/+1
2023-07-18fix miri test with links to query documentationnxya-0/+1
2023-07-18ignore test on appleRalf Jung-0/+1
2023-07-16miri: fail when calling a function that requires an unavailable target featureEduardo Sánchez Muñoz-0/+26
2023-07-14remove compile-flags that are no longer neededRalf Jung-37/+10
2023-07-14work around custom_mir spanRalf Jung-13/+6
2023-07-13Rename cast_ref_to_mut lint to invalid_reference_castingUrgau-2/+2
2023-07-12Auto merge of #112945 - compiler-errors:tighten-span-of-adjustment-error, r=o...bors-15/+8
2023-07-11fix handling of alignment for dyn-sized placesRalf Jung-5/+6
2023-07-11miri: protect Move() function arguments during the callRalf Jung-22/+323
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-15/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 22:27:42 +0000