about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2024-05-19make basic things work on AndroidRalf Jung-14/+0
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-323/+2
2024-05-12further illumos/solaris support.David Carlier-1/+6
2024-05-09interpret/miri: better errors on failing offset_fromRalf Jung-0/+36
2024-05-08Use generic `NonZero`.Markus Reiter-20/+20
2024-05-08miri: rename intrinsic_fallback_checks_ub to intrinsic_fallback_is_specRalf Jung-15/+15
2024-05-04only show the 'basic API common for this target' message when this is a missi...Ralf Jung-24/+11
2024-05-04bless and fmtRalf Jung-1/+2
2024-05-04Merge from rustcRalf Jung-0/+28
2024-05-04update 'unsupported' messageRalf Jung-14/+28
2024-05-04move intrinsics implementations and tests into dedicated folderRalf Jung-0/+0
2024-05-03Ensure miri only uses fallback bodies that have manually been vetted to prese...Oli Scherer-0/+28
2024-04-25fmtThe Miri Cronjob Bot-1/+2
2024-04-25Merge from rustcThe Miri Cronjob Bot-2/+2
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-2/+2
2024-04-24avoid 'let _' in tests where we actually want the value to be computedRalf Jung-4/+4
2024-04-23Rollup merge of #124003 - WaffleLapkin:dellvmization, r=scottmcm,RalfJung,antoyoMatthias Krüger-2/+2
2024-04-23Rollup merge of #124220 - RalfJung:interpret-wrong-vtable, r=oli-obkMatthias Krüger-9/+93
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-9/+93
2024-04-20Merge from rustcThe Miri Cronjob Bot-0/+15
2024-04-18when reusing an address, most of the time only reuse from the current threadRalf Jung-4/+78
2024-04-18when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isola...Ralf Jung-0/+15
2024-04-17Merge from rustcRalf Jung-1/+1
2024-04-17Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obkMatthias Krüger-1/+1
2024-04-17Auto merge of #3480 - RalfJung:alloc_error_handler, r=RalfJungbors-80/+100
2024-04-17tests/utils: add fmt::Write implementations for miri's native stdout/stderrRalf Jung-38/+21
2024-04-17alloc_error_handler tests: directly call handle_alloc_error; test more codepathsRalf Jung-59/+96
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-1/+1
2024-04-17Merge from rustcThe Miri Cronjob Bot-2/+2
2024-04-16Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJungbors-0/+145
2024-04-16implement support for __rust_alloc_error_handlerRalf Jung-0/+145
2024-04-16no_std works on Windows nowRalf Jung-4/+0
2024-04-16deadlock: show backtrace for all threadsRalf Jung-4/+4
2024-04-16Box::into_raw: make Miri understand that this is a box-to-raw castRalf Jung-2/+2
2024-04-16Miri: adopt to new intrinsic typesMaybe Waffle-2/+2
2024-04-06make 'missing extern static' error consistent with missing shimRalf Jung-9/+9
2024-04-06chore: fix some typosfindseat-1/+1
2024-04-03rename `expose_addr` to `expose_provenance`joboet-2/+2
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-6/+6
2024-03-29Auto merge of #122520 - scottmcm:stabilize_unchecked_math_basics, r=jhprattbors-8/+0
2024-03-23Auto merge of #122952 - RalfJung:miri, r=RalfJungbors-11/+23
2024-03-23Auto merge of #3385 - Zoxc:read-types, r=RalfJungbors-11/+23
2024-03-23Report retags as distinct from real memory accesses for data racesJohn Kåre Alsaker-11/+23
2024-03-23Auto merge of #122582 - scottmcm:swap-intrinsic-v2, r=oli-obkbors-0/+78
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-6/+6
2024-03-18add_retag: ensure box-to-raw-ptr casts are preserved for MiriRalf Jung-2/+2
2024-03-17MIRI tests to confirm it's typedScott McMurray-0/+78
2024-03-17Auto merge of #121885 - reitermarkus:generic-nonzero-inner, r=oli-obk,wesleyw...bors-4/+4
2024-03-14Remove `feature(unchecked_math)` from miriScott McMurray-8/+0
2024-03-10Fix `miri` tests.Markus Reiter-4/+4