summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-6/+8
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-6/+8
2024-07-15Make normalization regex less exactChris Denton-1/+1
2024-07-14add test for intermediate reference in '&(*x).0 as *const i32'Ralf Jung-0/+40
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-0/+69
2024-07-07Fixup a typo in a comment in a testMaybe Lapkin-1/+1
2024-07-07Fix conflicts after rebaseMaybe Lapkin-2/+2
2024-07-07add miri tests and a fixmeMaybe Waffle-0/+69
2024-07-04Add UI test for protector end write semanticsJohannes Hostert-0/+62
2024-06-24Merge from rustcThe Miri Cronjob Bot-2/+2
2024-06-23Rollup merge of #126833 - RalfJung:extern-type-field-ice, r=compiler-errorsMatthias Krüger-2/+2
2024-06-23Merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-2/+2
2024-06-22Make `effects` an incomplete featureDeadbeef-1/+1
2024-06-21Merge from rustcThe Miri Cronjob Bot-9/+62
2024-06-20Auto merge of #116088 - nbdd0121:unwind, r=Amanieu,RalfJungbors-9/+1
2024-06-19Remove c_unwind from tests and fix testsGary Guo-9/+1
2024-06-19Rollup merge of #126154 - RalfJung:storage-live, r=compiler-errorsLeón Orell Valerian Liehr-0/+61
2024-06-17Auto merge of #3683 - RalfJung:MIRIFLAGS, r=RalfJungbors-39/+15
2024-06-17tell people how to set miri flagsRalf Jung-39/+15
2024-06-17Auto merge of #3681 - rust-lang:rustup-2024-06-17, r=RalfJungbors-11/+11
2024-06-17show proper UB when making a too large allocation requestRalf Jung-0/+25
2024-06-16std: move `sys_common::backtrace` to `sys`joboet-11/+11
2024-06-14add Miri testsRalf Jung-0/+61
2024-06-13fmtThe Miri Cronjob Bot-6/+12
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-2/+2
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-0/+125
2024-06-11check for correct trait in size_and_align_ofRalf Jung-2/+2
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