about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity
AgeCommit message (Expand)AuthorLines
2025-09-10interpret: fix overlapping aggregate initializationRalf Jung-1/+1
2025-08-24Allow `integer_to_ptr_transmutes` in testsUrgau-0/+3
2025-07-31Allow `dangling_pointers_from_locals` lint in testsUrgau-0/+3
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-1/+6
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-3/+3
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-42/+42
2025-04-24Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etcbendn-0/+4
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-0/+45
2024-09-28add tests for validity of Box with custom allocatorRalf Jung-0/+99
2024-09-25fmtThe Miri Cronjob Bot-1/+3
2024-09-23Check vtable projections for validity in miriMichael Goulet-2/+35
2024-09-16Bump ui testOli Scherer-76/+76
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+23
2024-06-13fmtThe Miri Cronjob Bot-6/+12
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-0/+125
2024-05-08Use generic `NonZero`.Markus Reiter-13/+13
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-0/+48
2024-03-10Fix `miri` tests.Markus Reiter-4/+4
2023-12-26custom mir: make it clear what the return block isRalf Jung-3/+3
2023-11-30move some validity-related tests into subdirRalf Jung-0/+105
2023-11-24Bless Miri testsNilstrieb-26/+26
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-3/+3
2023-10-28add some tests specifically for validity checks arising from match bindersRalf Jung-0/+59
2023-09-06miri: catch function calls where the argument is caller-invalid / the return ...Ralf Jung-4/+101
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-4/+4
2023-07-14remove compile-flags that are no longer neededRalf Jung-2/+0
2023-02-20basic dyn* support for MiriRalf Jung-3/+3
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+552
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 04:50:29 +0000