about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2023-04-28Tree Borrows: improved diagnosticsNeven Villani-31/+283
2023-04-24Hide backtrace from stderr filesOli Scherer-62/+2
2023-04-24Update miri test.Mara Bos-26/+28
2023-04-24Merge from rustcRalf Jung-0/+28
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-0/+28
2023-04-22Merge from rustcRalf Jung-0/+20
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-3/+5
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-0/+26
2023-04-21Bless miri.Camille GILLOT-0/+20
2023-04-17Merge from rustcOli Scherer-18/+69
2023-04-16Add a flag to disable leak backtracesBen Kimock-0/+17
2023-04-16Report a backtrace for memory leaks under MiriBen Kimock-21/+55
2023-04-14Fix spellingJosh Soref-6/+6
2023-04-13Update to new ui_test crateOli Scherer-4/+1
2023-04-11filter out notesDebugSteven-53/+1
2023-04-11throw unsupported for epoll_waitDebugSteven-0/+81
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