about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2023-10-20Merge from rustcRalf Jung-1/+1
2023-10-20Preparing for merge from rustcRalf Jung-1/+1
2023-10-19clarify commentRalf Jung-3/+7
2023-10-19remove allocations from int_to_ptr_map and exposed when they get freedRalf Jung-16/+35
2023-10-19switch intptrcast to helper trait pattern like everything elseRalf Jung-88/+87
2023-10-19intptrcast: only find strictly in-bounds pointers when we are not hitting ↵Ralf Jung-2/+5
the base address
2023-10-19fmtRalf Jung-4/+1
2023-10-19Auto merge of #115214 - Urgau:rfc-3127-trim-paths, r=compiler-errorsbors-1/+1
Implement rustc part of RFC 3127 trim-paths This PR implements (or at least tries to) [RFC 3127 trim-paths](https://github.com/rust-lang/rust/issues/111540), the rustc part. That is `-Zremap-path-scope` with all of it's components/scopes. `@rustbot` label: +F-trim-paths
2023-10-19Merge from rustcRalf Jung-25/+48
2023-10-19Preparing for merge from rustcRalf Jung-1/+1
2023-10-19Rollup merge of #116650 - RalfJung:miri-intptrcast, r=oli-obkMatthias Krüger-25/+48
add some comments and some cleanup around Miri intptrcast `@saethlin` maybe this helps a bit?
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /miri-scriptdependabot[bot]-2/+2
Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.38.17 to 0.38.19. - [Release notes](https://github.com/bytecodealliance/rustix/releases) - [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.17...v0.38.19) --- updated-dependencies: - dependency-name: rustix dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /cargo-miridependabot[bot]-2/+2
Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.38.17 to 0.38.19. - [Release notes](https://github.com/bytecodealliance/rustix/releases) - [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.17...v0.38.19) --- updated-dependencies: - dependency-name: rustix dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-18Bump rustix from 0.38.17 to 0.38.19dependabot[bot]-2/+2
--- updated-dependencies: - dependency-name: rustix dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-17Auto merge of #3124 - eduardosm:fix-sse41-round, r=RalfJungbors-5/+64
Fix rounding mode check in SSE4.1 round functions Now it masks out the correct bit and adds some explanatory comments. Also extends the tests.
2023-10-17Fix rounding mode check in SSE4.1 round functionsEduardo Sánchez Muñoz-5/+64
Now it masks out the correct bit and adds some explanatory comments. Also extends the tests.
2023-10-17[RFC 3127 - Trim Paths]: Fix building tools (rustdoc, clippy, ...)Urgau-1/+1
2023-10-17fmtThe Miri Conjob Bot-49/+14
2023-10-17Merge from rustcThe Miri Conjob Bot-297/+393
2023-10-17Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-10-16triagebot: re-enable merge commit checkRalf Jung-4/+3
2023-10-15Auto merge of #3118 - eduardosm:intrinsics-x86-sse41, r=RalfJungbors-0/+581
Implement `llvm.x86.sse41.*` intrinsics
2023-10-15Implement `llvm.x86.sse41.*` intrinsicsEduardo Sánchez Muñoz-0/+581
2023-10-15separate bounds-check from alignment checkRalf Jung-24/+13
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-50/+55
2023-10-15place evaluation: require the original pointer to be aligned if an access ↵Ralf Jung-8/+55
happens
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-220/+264
2023-10-14Rollup merge of #116576 - eduardosm:const-eval-wasm-target-features, r=RalfJungGuillaume Gomez-2/+13
const-eval: allow calling functions with targat features disabled at compile time in WASM This is not unsafe on WASM, see https://github.com/rust-lang/rust/pull/84988 r? `@RalfJung` Fixes https://github.com/rust-lang/rust/issues/116516
2023-10-14const-eval: allow calling functions with targat features disabled at compile ↵Eduardo Sánchez Muñoz-2/+13
time in WASM This is not unsafe on WASM, see https://github.com/rust-lang/rust/pull/84988
2023-10-14Merge from rustcThe Miri Conjob Bot-16/+2
2023-10-14Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-10-14Auto merge of #115524 - RalfJung:misalign, r=wesleywiserbors-16/+2
const-eval: make misalignment a hard error It's been a future-incompat error (showing up in cargo's reports) since https://github.com/rust-lang/rust/pull/104616, Rust 1.68, released in March. That should be long enough. The question for the lang team is simply -- should we move ahead with this, making const-eval alignment failures a hard error? (It turns out some of them accidentally already were hard errors since #104616. But not all so this is still a breaking change. Crater found no regression.)
2023-10-13Clean up unchecked_math, separate out unchecked_shiftsltdk-2/+2
2023-10-13doc comment for Provenance::WildcardRalf Jung-0/+18
2023-10-13add some comments and some cleanup around Miri intptrcastRalf Jung-25/+30
2023-10-12Fix identation of a `rustfmt::skip`ed statementEduardo Sánchez Muñoz-6/+6
2023-10-12Remove from miri LLVM intrinsics that are no longer neededEduardo Sánchez Muñoz-220/+1
2023-10-12fmtRalf Jung-6/+6
2023-10-12Merge from rustcRalf Jung-20/+480
2023-10-12Preparing for merge from rustcRalf Jung-1/+1
2023-10-10avoid confusing loop in catch_panic testRalf Jung-5/+6
2023-10-09Auto merge of #3101 - eduardosm:x86-aes-intrinsics, r=RalfJungbors-0/+539
Implement `llvm.x86.aesni.*` intrinsics
2023-10-09Implement `llvm.x86.aesni.*` intrinsicsEduardo Sánchez Muñoz-0/+539
2023-10-09return_pointer_aliasing2 should also run with SBRalf Jung-2/+45
2023-10-09add test to ensure RET assignments do not get propagated on unwindingRalf Jung-0/+74
2023-10-09add test for self-assignment on call through referenceRalf Jung-0/+16
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-10/+121
2023-10-09ensure unary minus propagates NaN payloads exactlyRalf Jung-0/+8
2023-10-08miri: make NaN generation non-deterministicRalf Jung-20/+361
2023-10-07Merge from rustcThe Miri Conjob Bot-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 02:59:20 +0000