summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Expand)AuthorLines
2024-03-04Improve wording of static_mut_refObei Sideg-2/+2
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-0/+3
2024-01-18Remove no-longer-needed `allow(dead_code)` from Miri testsJake Goulding-2/+2
2024-01-11std: update miri testsjoboet-24/+24
2024-01-09Rollup merge of #117556 - obeis:static-mut-ref-lint, r=davidtwcoGuillaume Gomez-0/+2
2024-01-07Update test for `E0796` and `static_mut_ref` lintObei Sideg-0/+2
2024-01-06fmtThe Miri Conjob Bot-1/+6
2024-01-05Auto merge of #118297 - shepmaster:warn-dead-tuple-fields, r=WaffleLapkinbors-9/+9
2024-01-04Rollup merge of #119574 - RalfJung:miri, r=oli-obkMatthias Krüger-121/+22
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-9/+9
2023-12-30Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJungbors-121/+0
2023-12-27fast_math: detect non-finite resultsRalf Jung-0/+22
2023-12-26custom mir: make it clear what the return block isRalf Jung-30/+30
2023-12-25have windows tests use windows-sysDrMeepster-121/+0
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