about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-07-21Auto merge of #2985 - RalfJung:retag-fields, r=saethlinbors-30/+57
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-24/+44
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/+38
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/+348
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-14/+118
2023-07-08Merge from rustcThe Miri Conjob Bot-1/+1
2023-07-07Rollup merge of #113441 - RalfJung:assign-no-overlap, r=oli-obkMichael Goulet-0/+43
2023-07-07miri: check that assignments do not self-overlapRalf Jung-0/+43
2023-07-07Auto merge of #2969 - oli-obk:run-dep, r=RalfJungbors-7/+7
2023-07-07MIRIFLAGS are already passed in the `./miri` wrapperOli Scherer-5/+0
2023-07-07Remove a now-useless flagOli Scherer-1/+0
2023-07-07Silence all the boilerplate around `./miri run` and `./miri run-dep`Oli Scherer-1/+0
2023-07-07Use new std::simd fn in miri testsJubilee Young-1/+1
2023-07-06Stop parsing ui_test annotations in `run-dep` modeOli Scherer-7/+14
2023-07-06Ignore test on appleOli Scherer-0/+1
2023-07-05C "memcpy" shim: ensure the pointers are validRalf Jung-0/+102
2023-07-04Restore test filtering by substring.Oli Scherer-1/+2
2023-07-03vec tets: ensure pointer is still writeableRalf Jung-6/+6
2023-06-29Use a valid `target` directory in miri ui testsOli Scherer-0/+1
2023-06-28Auto merge of #2936 - Vanille-N:unique, r=RalfJungbors-10/+419
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-10/+419
2023-06-27Make `--quiet` actually do somethingOli Scherer-3/+10
2023-06-26Update ui test crateOli Scherer-69/+33
2023-06-20Auto merge of #2520 - saethlin:mmap-shim, r=RalfJungbors-0/+260
2023-06-20Improve organizationBen Kimock-0/+0
2023-06-20Make munmap throw unsup errors instead of trying to workBen Kimock-21/+40
2023-06-20mmap/munmap/mremamp shimsBen Kimock-0/+241
2023-06-19bless new testsRalf Jung-2/+2
2023-06-18Merge from rustcRalf Jung-3/+3
2023-06-17Auto merge of #100036 - DrMeepster:box_free_free_box, r=oli-obkbors-3/+3
2023-06-17Merge from rustcRalf Jung-1/+1
2023-06-16remove box_free and replace with drop implDrMeepster-3/+3
2023-06-16Ignore the always part of #[inline(always)] in MIR inliningBen Kimock-1/+1
2023-06-16make test work cross-platformRalf Jung-31/+10
2023-06-16add tests for panicky drop in thread_local destructorRalf Jung-0/+75