about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2023-12-17do not allow ABI mismatches inside repr(C) typesRalf Jung-0/+33
2023-12-12also add a Miri testRalf Jung-0/+43
2023-12-05fix miri_promise_symbolic_alignment for huge alignmentsRalf Jung-0/+22
2023-12-05Merge from rustcThe Miri Conjob Bot-19/+14
2023-12-04fmtThe Miri Conjob Bot-10/+2
2023-12-04Auto merge of #116915 - bend-n:unwet, r=saethlinbors-19/+14
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-19/+14
2023-12-03Auto merge of #117840 - RalfJung:miri-promise-align, r=cjgillotbors-0/+83
2023-12-03miri: support 'promising' alignment for symbolic alignment checkRalf Jung-0/+83
2023-12-03Auto merge of #118567 - RalfJung:miri, r=RalfJungbors-10/+14
2023-12-03Auto merge of #118487 - RalfJung:exposed-provenance, r=thomccbors-4/+4
2023-12-03Merge from rustcThe Miri Conjob Bot-1/+1
2023-12-02Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, r=workin...bors-1/+1
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-4/+4
2023-11-30move some validity-related tests into subdirRalf Jung-8/+8
2023-11-30move 'uninit' tests into common directoryRalf Jung-2/+4
2023-11-30Merge from rustcRalf Jung-0/+42
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+2
2023-11-28add test checking that aggregate assignments reset memory to uninit firstRalf Jung-0/+42
2023-11-26Update std::simd usage and test outputsCaleb Zulawski-1/+1
2023-11-25blessRalf Jung-16/+16
2023-11-25blessRalf Jung-1/+1
2023-11-25Merge from rustcRalf Jung-431/+431
2023-11-24Manual find replace updatesNilstrieb-8/+8
2023-11-24Bless Miri testsNilstrieb-423/+423
2023-11-24Refactor `float_to_int_checked` to remove its generic parameter and reduce co...Eduardo Sánchez Muñoz-48/+48
2023-11-23Merge from rustcThe Miri Conjob Bot-3/+0
2023-11-22Auto merge of #3180 - eduardosm:check-intrinsics-target-feature, r=RalfJungbors-0/+57
2023-11-22Check that target features required by LLVM intrinsics are enabledEduardo Sánchez Muñoz-0/+57
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-3/+0
2023-11-21Rollup merge of #118029 - saethlin:allocid-gc, r=RalfJungNilstrieb-2/+2
2023-11-19Rollup merge of #117832 - RalfJung:interpret-shift, r=cjgillotMichael Goulet-0/+24
2023-11-19tag-gc -> provenance-gcBen Kimock-2/+2
2023-11-14Auto merge of #117330 - tmiasko:custom-mir-cleanup-blocks, r=cjgillotbors-30/+30
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-30/+30
2023-11-12more consistent naming for TLS testsRalf Jung-9/+9
2023-11-12allow allocations referenced by main thread TLS to leakmax-heller-0/+98
2023-11-12interpret: simplify handling of shifts by no longer trying to handle signed a...Ralf Jung-0/+24
2023-11-10data_race: link to docs for 'unusual' race conditionsRalf Jung-0/+6
2023-11-04Auto merge of #3145 - RalfJung:data-race-error, r=RalfJungbors-106/+112
2023-11-02Merge from rustcThe Miri Conjob Bot-2/+2
2023-11-01Rollup merge of #115626 - clarfonthey:unchecked-math, r=thomccMatthias Krüger-2/+2
2023-10-30make sure we catch UB with _ pattern in various syntactic positionsRalf Jung-4/+81
2023-10-28Auto merge of #3149 - RalfJung:atomic-readonly-loads, r=RalfJungbors-31/+62
2023-10-28accept some atomic loads from read-only memoryRalf Jung-31/+62
2023-10-28add some tests specifically for validity checks arising from match bindersRalf Jung-0/+59
2023-10-28fmtThe Miri Conjob Bot-1/+0
2023-10-27Auto merge of #103208 - cjgillot:match-fake-read, r=oli-obk,RalfJungbors-0/+57
2023-10-27give some more help for the unusual data racesRalf Jung-12/+18
2023-10-27data-race: preserve structured access information longer, and don't upper-cas...Ralf Jung-104/+104
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 12:57:08 +0000