about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
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
2023-07-10Merge from rustcRalf Jung-0/+43
2023-07-09test and fix return place alias restrictionsRalf Jung-0/+118
2023-07-09Auto merge of #113488 - RalfJung:miri, r=RalfJungbors-0/+103
2023-07-07miri: check that assignments do not self-overlapRalf Jung-0/+43
2023-07-06Ignore test on appleOli Scherer-0/+1
2023-07-05C "memcpy" shim: ensure the pointers are validRalf Jung-0/+102
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+208
2023-06-20Auto merge of #2520 - saethlin:mmap-shim, r=RalfJungbors-0/+190
2023-06-20Improve organizationBen Kimock-0/+0
2023-06-20Make munmap throw unsup errors instead of trying to workBen Kimock-8/+40
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-15 04:05:07 +0000