about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/unaligned_pointers
AgeCommit message (Expand)AuthorLines
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-0/+22
2023-12-04fmtThe Miri Conjob Bot-10/+2
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-0/+83
2023-11-24Bless Miri testsNilstrieb-14/+14
2023-10-15more precise error for 'based on misaligned pointer' caseRalf Jung-23/+23
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-0/+50
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-44/+45
2023-07-31add some interesting tests for alignment corner casesRalf Jung-0/+44
2023-07-14remove compile-flags that are no longer neededRalf Jung-3/+2
2023-07-11fix handling of alignment for dyn-sized placesRalf Jung-5/+6
2023-05-09Update to latest ui_test crate version.Oli Scherer-1/+1
2023-04-14Fix spellingJosh Soref-1/+1
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-10/+13
2023-02-01fmtRalf Jung-1/+1
2023-01-31make unaligned_reference a hard errorRalf Jung-5/+12
2022-12-21Bless testsJakob Degen-1/+1
2022-12-21Retag as FnEntry on `drop_in_place`Jakob Degen-0/+45
2022-10-091/1000 events do happen sometimes...Ralf Jung-5/+5
2022-10-07fix MiriRalf Jung-2/+2
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+331