about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/dangling_pointers/deref_dangling_ref.rs
AgeCommit message (Expand)AuthorLines
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-1/+1
2023-10-17fmtThe Miri Conjob Bot-1/+1
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-0/+16