about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2024-10-22fmtThe Miri Cronjob Bot-1/+0
2024-10-22Merge from rustcThe Miri Cronjob Bot-13/+0
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-13/+0
2024-10-18tail_calls: add test ensuring local vars are indeed goneRalf Jung-0/+46
2024-10-15Rollup merge of #131521 - jdonszelmann:rc, r=joboetMichael Goulet-2/+2
2024-10-14add test ensuring a moved mutex deadlocksRalf Jung-0/+32
2024-10-11simplify Tree Borrows write-during-2phase exampleRalf Jung-13/+15
2024-10-11rename RcBox in other places tooJonathan Dönszelmann-2/+2
2024-10-04Merge from rustcThe Miri Cronjob Bot-3/+3
2024-10-03make sure we also detect mixed-size races that begin at different addressesRalf Jung-1/+47
2024-10-03fmtRalf Jung-2/+2
2024-10-02bless miri testsjoboet-3/+3
2024-09-30Auto merge of #131036 - RalfJung:miri-sync, r=RalfJungbors-13/+152
2024-09-29let rustfmt format importsRalf Jung-12/+6
2024-09-28add tests for validity of Box with custom allocatorRalf Jung-0/+99
2024-09-28allow mixed-size atomic readsRalf Jung-140/+154
2024-09-28miri: no longer complain about read-read racesRalf Jung-104/+0
2024-09-25fmtThe Miri Cronjob Bot-1/+3
2024-09-25Merge from rustcThe Miri Cronjob Bot-8/+41
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+1
2024-09-23Check vtable projections for validity in miriMichael Goulet-8/+41
2024-09-23add test for new abort_unwind functionRalf Jung-0/+44
2024-09-22Merge from rustcRalf Jung-2/+2
2024-09-21Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlinbors-2/+2
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-16/+16
2024-09-21Merge from rustcRalf Jung-4/+5
2024-09-20miri: An error message got changedJubilee Young-2/+2
2024-09-19Make the intention of the miri test more clearAdwin White-4/+5
2024-09-19Adapt test to new layoutAdwin White-2/+2
2024-09-17ptr_offset_unsigned_overflow: extend testRalf Jung-5/+6
2024-09-16Bump ui testOli Scherer-1398/+1394
2024-09-16fmtThe Miri Cronjob Bot-2/+2
2024-09-16Merge from rustcThe Miri Cronjob Bot-0/+192
2024-09-15Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlinMatthias Krüger-0/+192
2024-09-14Merge from rustcThe Miri Cronjob Bot-156/+65
2024-09-13Rollup merge of #130245 - RalfJung:miri-alloc-backtrace, r=AmanieuStuart Cook-156/+65
2024-09-12Merge from rustcThe Miri Cronjob Bot-0/+22
2024-09-11make basic allocation functions track_caller in Miri for nicer backtracesRalf Jung-156/+65
2024-09-11miri: fix overflow detection for unsigned pointer offsetRalf Jung-0/+22
2024-09-11Merge from rustcThe Miri Cronjob Bot-21/+21
2024-09-10Auto merge of #129403 - scottmcm:only-array-simd, r=compiler-errorsbors-21/+21
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-0/+192
2024-09-10fmtRalf Jung-46/+58
2024-09-09Update the MIRI testsScott McMurray-21/+21
2024-09-09fix UB in a testRalf Jung-2/+35
2024-09-08interpret: reset padding during validationRalf Jung-15/+198
2024-09-08interpret: reset provenance on typed copiesRalf Jung-0/+185
2024-09-01Rollup merge of #128495 - joboet:more_memcmp, r=scottmcmMatthias Krüger-4/+4
2024-08-30Merge from rustcThe Miri Cronjob Bot-3/+0
2024-08-29fix wasm testRalf Jung-1/+27