summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2023-04-10rustupBen Kimock-1/+3
2023-04-06Add miri tests for terminate terminatorGary Guo-4/+58
2023-04-06Bless testsGary Guo-9/+9
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-10/+13
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-5/+7
2023-03-16TB: select tests to run both TB and SBNeven Villani-1/+1
2023-03-16TB: new testsNeven Villani-0/+386
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-3/+1
2023-02-21Merge from rustcRalf Jung-5/+5
2023-02-20basic dyn* support for MiriRalf Jung-5/+5
2023-02-07Merge from rustcRalf Jung-54/+0
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-54/+0
2023-02-01fmtRalf Jung-1/+1
2023-01-31make unaligned_reference a hard errorRalf Jung-5/+12
2023-01-02tweaks to retag diagnostic handlingRalf Jung-4/+4
2022-12-28handle unknown targets more gracefullyRalf Jung-11/+15
2022-12-24fix warningsRalf Jung-2/+2
2022-12-24Merge from rustcRalf Jung-1/+147
2022-12-23Mention and number the components of a race in the order the interpreter sees...Ben Kimock-105/+105
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-89/+89
2022-12-22Add a (1) and (2) to the data race errorsBen Kimock-110/+110
2022-12-22Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJungbors-0/+146
2022-12-21Fix phrasingBen Kimock-27/+27
2022-12-21Clean up implementation, deduplicate in errorsBen Kimock-226/+81
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-2/+2
2022-12-21Bless testsJakob Degen-4/+4
2022-12-21Retag argument to `drop_in_place` unconditionallyJakob Degen-12/+5
2022-12-21Retag as FnEntry on `drop_in_place`Jakob Degen-0/+153
2022-12-21Fix typo in reading_half_a_pointer.rsIkko Ashimine-1/+1
2022-12-20Fix span managementBen Kimock-29/+29
2022-12-16Include a Span in VClockBen Kimock-0/+280
2022-12-13implement minimal epoll_create1 shimDebugSteven-26/+0
2022-12-06Bless after rebaseOli Scherer-4/+4
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-414/+414
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-485/+485
2022-12-03for now, do not do fake reads on non-Unpin mutable referencesRalf Jung-45/+0
2022-12-01Bump ui_test crateOli Scherer-6/+6
2022-11-27make Stacked Borrows retags act like data racesRalf Jung-42/+144
2022-11-27!Unpin retags must still be reads, to check dereferenceableRalf Jung-0/+89
2022-11-22update test_dependenciesRalf Jung-2/+2
2022-11-20add a weak form of protection that justifies Box noaliasRalf Jung-27/+71
2022-11-16Auto merge of #104456 - RalfJung:miri, r=RalfJungbors-11/+0
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-13/+4
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-42/+68
2022-11-06add test for printing per-byte provenanceRalf Jung-0/+64
2022-11-06interpret: support for per-byte provenanceRalf Jung-42/+4
2022-11-06remove a stray stderr fileRalf Jung-11/+0
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-36/+50
2022-10-28update ignore-windows commentsRalf Jung-2/+1
2022-10-22add scalar-abi-only field retagging optionRalf Jung-1/+64
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 17:42:24 +0000