about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/align_offset_symbolic.rs
AgeCommit message (Expand)AuthorLines
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-4/+3
2024-05-04make some tests not need output (so they work on wasm)Ralf Jung-1/+4
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-1/+1
2024-02-08fmtThe Miri Conjob Bot-1/+1
2024-02-06miri: fix ICE with symbolic alignment check on extern staticRalf Jung-1/+22
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-2/+2
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-0/+12
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-28/+15
2022-11-20make align_offset always work on no-provenance pointersRalf Jung-0/+6
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+105