about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/intptrcast.rs
AgeCommit message (Expand)AuthorLines
2024-07-26better diagnostics for Tree Borrows + int2ptr castsRalf Jung-2/+0
2024-07-06Mark format! with must_use hintlukas-2/+2
2024-03-18add exposed-provenance example where we miss UBRalf Jung-0/+26
2024-03-09miri: add some chance to reuse addresses of previously freed allocationsRalf Jung-2/+2
2023-03-16TB: select tests to run both TB and SBNeven Villani-0/+2
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+163