about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/shims
AgeCommit message (Expand)AuthorLines
2025-07-28revert accidental changeRalf Jung-0/+2
2025-07-28Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571'Ralf Jung-4/+2
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-4/+2
2025-07-27call_function helper: dont ICE on return type mismatchesRalf Jung-0/+51
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-14/+14
2025-05-22enable isolated-stdin test on WindowsRalf Jung-1/+1
2025-05-21test direct usage of io::{stdout,stderr,stdin}Ralf Jung-0/+28
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-3/+3
2025-04-17replaced check_shim with check_shim_abi for env, file, sockets and time relat...geetanshjuneja-3/+3
2025-03-12Merge pull request #4185 from geetanshjuneja/abi_checkRalf Jung-0/+76
2025-03-12added check_shim_abigeetanshjuneja-0/+76
2025-03-08Move fs into sysThalia Archibald-9/+9
2025-02-06Throw ub error when invoking non-vararg shim with vararg importtiif-0/+29
2025-02-02miri_get_backtrace: stop supporting the v0 protocolRalf Jung-2/+5
2025-01-30Check fixed arg number for variadic function.tiif-0/+63
2024-09-16Bump ui testOli Scherer-16/+16
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-3/+3
2024-06-17tell people how to set miri flagsRalf Jung-2/+2
2024-05-20Fix miri tooMichael Goulet-1/+1
2024-05-04only show the 'basic API common for this target' message when this is a missi...Ralf Jung-4/+0
2024-05-04update 'unsupported' messageRalf Jung-4/+8
2024-05-04move intrinsics implementations and tests into dedicated folderRalf Jung-57/+0
2024-02-18Dyn erase at call siteDavid Thomas-2/+2
2024-02-18Reduce monomorphisation bloat in small_c_stringDavid Thomas-0/+1
2024-01-11std: update miri testsjoboet-8/+8
2023-11-25blessRalf Jung-1/+1
2023-11-25Merge from rustcRalf Jung-8/+8
2023-11-24Bless Miri testsNilstrieb-8/+8
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
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ...Oli Scherer-1186/+0
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
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
2023-07-06Ignore test on appleOli Scherer-0/+1
2023-07-05C "memcpy" shim: ensure the pointers are validRalf Jung-0/+102
2023-06-20Improve organizationBen Kimock-0/+190
2023-05-09Update to latest ui_test crate version.Oli Scherer-1/+1
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
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+1072