about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2024-06-03Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violationMichael Goulet-34/+0
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-18/+24
2024-05-29Auto merge of #125360 - RalfJung:packed-field-reorder, r=fmeasebors-2/+2
2024-05-28Add Miri tests for `PtrMetadata` UBScott McMurray-0/+142
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-24/+24
2024-05-22Rollup merge of #124896 - RalfJung:miri-intrinsic-fallback, r=oli-obkLeón Orell Valerian Liehr-15/+15
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-323/+2
2024-05-21don't inhibit random field reordering on repr(packed(1))Ralf Jung-2/+2
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-24/+24
2024-05-20Fix miri tooMichael Goulet-1/+1
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