about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-12-20Auto merge of #119037 - RalfJung:repr-c-abi-mismatch, r=scottmcmbors-0/+33
2023-12-18Rename many `DiagCtxt` and `EarlyDiagCtxt` locals.Nicholas Nethercote-5/+5
2023-12-18Rename many `EarlyDiagCtxt` arguments.Nicholas Nethercote-4/+4
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-3/+3
2023-12-18Rename `EarlyErrorHandler` as `EarlyDiagCtxt`.Nicholas Nethercote-5/+5
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-8/+25
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-1/+22
2023-12-15Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-14Rollup merge of #118933 - nnethercote:cleanup-errors-even-more, r=compiler-er...Jubilee-1/+1
2023-12-15Split `Handler::emit_diagnostic` in two.Nicholas Nethercote-1/+1
2023-12-14add test for uninhabited saved locals in a coroutineRalf Jung-0/+31
2023-12-14Merge from rustcThe Miri Conjob Bot-1/+44
2023-12-14Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-13fix computing the dynamic alignment of packed structs with dyn trait tailsRalf Jung-0/+21
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-1/+1
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-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-12fmtThe Miri Conjob Bot-8/+4
2023-12-12Merge from rustcThe Miri Conjob Bot-19/+12
2023-12-12Preparing for merge from rustcThe Miri Conjob Bot-1/+1
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-10Auto merge of #3219 - saethlin:map-failed, r=RalfJungbors-4/+83
2023-12-10Return MAP_FAILED when mmap failsBen Kimock-4/+83
2023-12-10Auto merge of #3199 - Jefffrey:fix-doc-and-script, r=RalfJungbors-3/+4
2023-12-10Preparing for merge from rustcRalf Jung-1/+1
2023-12-10remove redundant importssurechen-18/+5
2023-12-08Fix x86 SSE4.1 ptestnzcEduardo Sánchez Muñoz-36/+41
2023-12-08Auto merge of #3214 - eduardosm:move-x86-code, r=RalfJungbors-265/+304
2023-12-08Move implementation of SSE4.1 dpps/dppd to helper functionEduardo Sánchez Muñoz-37/+52
2023-12-08Move implementation of SSE4.1 `ptest*` into a helper functionEduardo Sánchez Muñoz-21/+41
2023-12-08Merge from rustcThe Miri Conjob Bot-9/+24
2023-12-08Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-12-07Auto merge of #118568 - DianQK:no-builtins-symbols, r=pnkfelixbors-0/+1
2023-12-07Auto merge of #118324 - RalfJung:ctfe-read-only-pointers, r=saethlinbors-9/+23
2023-12-07also print 'immutable' flagRalf Jung-0/+11
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-3/+4
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-6/+8
2023-12-07Move round_* functions from `shims::x86::sse41` module to `shims::x86`Eduardo Sánchez Muñoz-84/+84
2023-12-07Move unary_op_* functions from `shims::x86::sse` module to `shims::x86`Eduardo Sánchez Muñoz-125/+129
2023-12-06Adjust tests for newly added ambiguous_wide_pointer_comparisons lintUrgau-0/+2
2023-12-05remove unnecesary `-Zunstable-options`Weihang Lo-4/+1
2023-12-05Fix formattingIgor Matuszewski-1/+3
2023-12-05Don't explicitly warn against `semicolon_in_expressions_from_macros`Igor Matuszewski-1/+1