summary refs log tree commit diff
path: root/src/tools/miri/tests
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-15Rollup merge of #124921 - RalfJung:offset-from-same-addr, r=oli-obkMatthias Krüger-3/+0
2024-07-15Make normalization regex less exactChris Denton-1/+1
2024-07-14Auto merge of #3745 - joboet:os_unfair_lock, r=RalfJungbors-0/+127
2024-07-14implement the `os_unfair_lock` functions on macOSjoboet-0/+127
2024-07-14add test for intermediate reference in '&(*x).0 as *const i32'Ralf Jung-0/+40
2024-07-10Auto merge of #3720 - safinaskar:read, r=RalfJungbors-0/+77
2024-07-09Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t...Askar Safin-0/+77
2024-07-09Auto merge of #3739 - joboet:macos_tls_dtors, r=RalfJungbors-0/+50
2024-07-09Merge from rustcThe Miri Cronjob Bot-8/+116
2024-07-08implement support for multiple TLS destructors on macOSjoboet-0/+50
2024-07-08Rollup merge of #127355 - aceArt-GmbH:126475, r=oli-obkMatthias Krüger-8/+8
2024-07-08Auto merge of #113128 - WaffleLapkin:become_trully_unuwuable, r=oli-obk,RalfJungbors-0/+108
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/+108
2024-07-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-3/+0
2024-07-06Mark format! with must_use hintlukas-8/+8
2024-07-06`sched_setaffinity`: adjust test on BE systemsFolkert-2/+7
2024-07-06`sched_setaffinity`: test `cpusetsize == 0`Folkert-0/+19
2024-07-05implement `libc::sched_getaffinity` and `libc::sched_setaffinity`Folkert-0/+231
2024-07-05Merge from rustcThe Miri Cronjob Bot-1/+3
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-1/+3
2024-07-04Add casting tests for `f16` and `f128`Trevor Gross-0/+66
2024-07-04Refactor float casting testsTrevor Gross-186/+390
2024-07-04Auto merge of #3732 - JoJoDeveloping:tree-borrows-protector-end-write, r=Ralf...bors-0/+62
2024-07-04Add UI test for protector end write semanticsJohannes Hostert-0/+62
2024-07-04Merge from rustcThe Miri Cronjob Bot-9/+18
2024-07-03Auto merge of #3726 - TDecking:vzero, r=RalfJungbors-0/+5
2024-07-03Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsicsTobias Decking-0/+5
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-1/+3
2024-07-01add syscall `dup()`Adwin White-0/+26
2024-06-29Fix FnMut/Fn shim for coroutine-closures that capture referencesMichael Goulet-9/+18
2024-06-29iter_exported_symbols: also walk used statics in local crateRalf Jung-0/+17
2024-06-29Merge from rustcThe Miri Cronjob Bot-17/+0
2024-06-28Revert "Rollup merge of #126938 - RalfJung:link_section, r=compiler-errors"Rémy Rakic-17/+0
2024-06-27Merge from rustcThe Miri Cronjob Bot-0/+17
2024-06-25Merge from rustcBen Kimock-3/+3
2024-06-25miri: make sure we can find link_section statics even for the local crateRalf Jung-0/+17
2024-06-24Auto merge of #126523 - joboet:the_great_big_tls_refactor, r=Mark-Simulacrumbors-3/+3
2024-06-24Auto merge of #3708 - RalfJung:tls-dtor-in-dtor, r=RalfJungbors-58/+91
2024-06-24tests for when a thread-local gets initialized in a tls dtorRalf Jung-58/+91
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-22Auto merge of #3690 - TDecking:adx, r=RalfJungbors-0/+70
2024-06-22Make `effects` an incomplete featureDeadbeef-1/+1
2024-06-21Implement LLVM x86 adx intrinsicsTobias Decking-0/+70