about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/unaligned_pointers
AgeCommit message (Collapse)AuthorLines
2025-06-16miri: bless testsDavid Wood-2/+2
These error messages include lines of the standard library which have changed and so need updated.
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-17/+17
2025-05-28atomic_load intrinsic: use const generic parameter for orderingRalf Jung-3/+4
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-09-16Bump ui testOli Scherer-36/+36
2024-05-21don't inhibit random field reordering on repr(packed(1))Ralf Jung-1/+1
2024-05-04only show the 'basic API common for this target' message when this is a ↵Ralf Jung-2/+0
missing foreign function
2024-05-04update 'unsupported' messageRalf Jung-2/+4
2024-02-12Allow invalid ref casting in Miri unaligned_ref_addr_of testUrgau-0/+2
2024-01-18Remove no-longer-needed `allow(dead_code)` from Miri testsJake Goulding-1/+1
`repr(transparent)` now silences the lint.
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-3/+3
Otherwise the newly-detected dead code causes new output
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
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
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 ↵Ralf Jung-0/+50
happens
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
Also stops using github actions groups that conflict with our groups as github does not nest them
2023-04-14Fix spellingJosh Soref-1/+1
* additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
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
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573