about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/shims
AgeCommit message (Collapse)AuthorLines
2023-11-25blessRalf Jung-1/+1
2023-11-25Merge from rustcRalf Jung-8/+8
2023-11-24Bless Miri testsNilstrieb-8/+8
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-22Check that target features required by LLVM intrinsics are enabledEduardo Sánchez Muñoz-0/+57
2023-09-25Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJungbors-1186/+0
bump ui test crate The recommended way to run tests locally is `./miri bless -- -- --quiet`, which will show * progress bars * the currently running tests (allowing you to see which ones are still running towards the end of the test suite) * the output of the currently running tests (if they are slow). This means slow running tests can output lines to `stderr` and the last line will be shown after the test name and updated every few hundred milliseconds. As a side effect this PR also fixes #2998 and only builds dependencies if any tests actually need them (this means that with the next ui_test update we'll be able to merge all our test suites). Also fixes https://github.com/rust-lang/miri/issues/3052.
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ↵Oli Scherer-1186/+0
tests don't build dependencies
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-3/+3
2023-08-16Auto merge of #2940 - saethlin:use-after-free-spans, r=RalfJungbors-1/+18
When reporting a heap use-after-free, say where the allocation was allocated and deallocated This is a partial solution to: https://github.com/rust-lang/miri/issues/2917 Currently in the interpreter, we only have accurate information for where heap allocations are allocated and deallocated (see https://github.com/rust-lang/miri/pull/2940#discussion_r1243559711). So this just implements support for allocations where the information is already available, and the full support will require more interpreter tweaks.
2023-08-15C string function shims: consistently treat "invalid" pointers as UBRalf Jung-6/+34
2023-08-11Include spans in use-after-free diagnosticsBen Kimock-1/+18
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-3/+3
also simplify the in-bounds checking in Miri's borrow trackers
2023-07-06Ignore test on appleOli Scherer-0/+1
2023-07-05C "memcpy" shim: ensure the pointers are validRalf Jung-0/+102
Also add tests for some other shims that already behave correctly
2023-06-20Improve organizationBen Kimock-0/+190
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
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-45/+45
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-48/+48
2022-10-03Reduce CString allocations in std as much as possibleAlex Saveau-0/+3
Signed-off-by: Alex Saveau <saveau.alexandre@gmail.com>
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+1072
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573