summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
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
2022-10-19Magic functions for writing to stdout/stderr.Cliff L. Biffle-0/+60
2022-10-12merge rustc historyRalf Jung-2/+2
2022-10-11rename rustc_allocator_nounwind to rustc_nounwindRalf Jung-2/+2
2022-10-10merge rustc historyRalf Jung-0/+3
2022-10-09Auto merge of #93668 - SUPERCILEX:path_alloc, r=joshtriplettbors-0/+3
2022-10-091/1000 events do happen sometimes...Ralf Jung-5/+5
2022-10-09merge rustc historyRalf Jung-42/+7
2022-10-08Auto merge of #102315 - RalfJung:assert_unsafe_precondition, r=thomccbors-2/+2
2022-10-07make const_err a hard errorRalf Jung-40/+5
2022-10-07rustupRalf Jung-1/+0
2022-10-07fix MiriRalf Jung-2/+2
2022-10-06Auto merge of #102573 - RalfJung:mirisync, r=oli-obkbors-2/+51
2022-10-03Reduce CString allocations in std as much as possibleAlex Saveau-0/+3
2022-10-01bless a miri testMaybe Waffle-1/+1