about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-12-20Auto merge of #119037 - RalfJung:repr-c-abi-mismatch, r=scottmcmbors-0/+33
2023-12-17do not allow ABI mismatches inside repr(C) typesRalf Jung-0/+33
2023-12-16Visit the AllocIds and BorTags in borrow state FrameExtraBen Kimock-0/+17
2023-12-15Auto merge of #3226 - saethlin:deadpool-test, r=RalfJungbors-0/+16
2023-12-15Add the test minimized from deadpoolBen Kimock-0/+16
2023-12-15Merge from rustcThe Miri Conjob Bot-0/+21
2023-12-14add test for uninhabited saved locals in a coroutineRalf Jung-0/+31
2023-12-14Merge from rustcThe Miri Conjob Bot-0/+43
2023-12-13fix computing the dynamic alignment of packed structs with dyn trait tailsRalf Jung-0/+21
2023-12-13Auto merge of #118534 - RalfJung:extern-type-size-of-val, r=WaffleLapkinbors-0/+43
2023-12-12also add a Miri testRalf Jung-0/+43
2023-12-12fmtThe Miri Conjob Bot-1/+0
2023-12-12Merge from rustcThe Miri Conjob Bot-7/+7
2023-12-11Auto merge of #3222 - RalfJung:waker-noop, r=RalfJungbors-63/+17
2023-12-11use Waker::noop instead of defining our own WakerRalf Jung-63/+17
2023-12-11Auto merge of #117758 - Urgau:lint_pointer_trait_comparisons, r=davidtwcobors-0/+2
2023-12-11Auto merge of #118032 - RalfJung:char-u32, r=Mark-Simulacrumbors-1/+5
2023-12-10Return MAP_FAILED when mmap failsBen Kimock-0/+79
2023-12-10remove redundant importssurechen-6/+0
2023-12-08Fix x86 SSE4.1 ptestnzcEduardo Sánchez Muñoz-0/+5
2023-12-06Adjust tests for newly added ambiguous_wide_pointer_comparisons lintUrgau-0/+2
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-0/+34
2023-12-05fix typo in commentRalf Jung-1/+1
2023-12-05fmtThe Miri Conjob Bot-20/+24
2023-12-05Merge from rustcThe Miri Conjob Bot-21/+89
2023-12-04Rollup merge of #118540 - RalfJung:unsized-packed-offset, r=TaKO8KiTakayuki Maeda-0/+73
2023-12-04fmtThe Miri Conjob Bot-10/+2
2023-12-04Merge from rustcThe Miri Conjob Bot-37/+111
2023-12-04Auto merge of #116915 - bend-n:unwet, r=saethlinbors-21/+16
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-21/+16
2023-12-03Auto merge of #117840 - RalfJung:miri-promise-align, r=cjgillotbors-30/+104
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-30/+104
2023-12-03SIMD bitmasks: use 'round up to multiple of 8' rather than 'clamp to at least 8'Ralf Jung-2/+0
2023-12-03disable a test that currently fails on big-endianRalf Jung-5/+9
2023-12-03also test directly calling simd_select_bitmaskRalf Jung-4/+39
2023-12-03also test simd_select_bitmask on arrays for less than 8 elementsRalf Jung-1/+6
2023-12-03Auto merge of #118567 - RalfJung:miri, r=RalfJungbors-12/+60
2023-12-03add simd_bswap and simd_bitreverseRalf Jung-0/+13
2023-12-03add simd_cttz and simd_ctlzRalf Jung-0/+5
2023-12-03simd_select_bitmask: support passing the mask as an arrayRalf Jung-0/+16
2023-12-03codegen, miri: fix computing the offset of an unsized field in a packed structRalf Jung-0/+73
2023-12-03Auto merge of #118487 - RalfJung:exposed-provenance, r=thomccbors-7/+7
2023-12-03Merge from rustcThe Miri Conjob Bot-9/+7
2023-12-02Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, r=workin...bors-9/+7
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-7/+7
2023-11-30give macOS some extra time, it needs thatRalf Jung-1/+1
2023-11-30move some validity-related tests into subdirRalf Jung-8/+8
2023-11-30move 'uninit' tests into common directoryRalf Jung-2/+4
2023-11-30Merge from rustcRalf Jung-0/+42
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+9