about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail
AgeCommit message (Collapse)AuthorLines
2024-03-09simplify no-std testsRalf Jung-8/+4
set panic=abort so that we do not need this eh_personality thing
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-35/+5
remove the ability to disable ABI checking This got deprecated in https://github.com/rust-lang/miri/pull/3071, about half a year ago. `@rust-lang/miri` I think it's fine to remove this now.
2024-03-04disable diagnostic deduplicationRalf Jung-0/+16
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking ↵Ralf Jung-94/+94
less verbose
2024-03-02remove the ability to disable ABI checkingRalf Jung-35/+5
2024-03-02add option to track all read/write accesses to tracked allocationsRalf Jung-0/+1
2024-03-02print thread name in miri error backtracesRalf Jung-143/+162
2024-02-29add regression testRalf Jung-0/+25
2024-02-27Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgrbors-12/+12
Rollup of 4 pull requests Successful merges: - #121598 (rename 'try' intrinsic to 'catch_unwind') - #121639 (Update books) - #121648 (Update Vec and String `{from,into}_raw_parts`-family docs) - #121651 (Properly emit `expected ;` on `#[attr] expr`) r? `@ghost` `@rustbot` modify labels: rollup
2024-02-26miri: rename miri_start_panic → miri_start_unwindRalf Jung-10/+10
2024-02-26rename 'try' intrinsic to 'catch_unwind'Ralf Jung-2/+2
2024-02-25fix use of platform_intrinsics in testsRalf Jung-32/+16
2024-02-24Rollup merge of #121522 - RalfJung:insert-extract-boundscheck, r=oli-obkMatthias Krüger-0/+23
check that simd_insert/extract indices are in-bounds Fixes https://github.com/rust-lang/rust/issues/77477 r? `@oli-obk`
2024-02-23interpret: do no ICE on OOB shuffle/insert/extract indicesRalf Jung-0/+23
2024-02-23Get rid of some `#[allow(static_mut_refs)]`Pavel Grigorenko-3/+3
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-5/+5
also introduce ptr::dangling matching NonNull::dangling
2024-02-18Dyn erase at call siteDavid Thomas-2/+2
2024-02-18Reduce monomorphisation bloat in small_c_stringDavid Thomas-0/+1
2024-02-18Improve wording of static_mut_refObei Sideg-2/+2
Rename `static_mut_ref` lint to `static_mut_refs`.
2024-02-13Merge from rustcThe Miri Conjob Bot-0/+2
2024-02-12Allow invalid ref casting in Miri unaligned_ref_addr_of testUrgau-0/+2
2024-02-12comment tweaksRalf Jung-3/+3
2024-02-12Merge from rustcRalf Jung-0/+51
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the ↵Ralf Jung-0/+51
stored value matches
2024-02-08fmtThe Miri Conjob Bot-2/+1
2024-02-07Update testsr0cky-0/+7
2024-02-06miri: fix ICE with symbolic alignment check on extern staticRalf Jung-0/+26
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-0/+3
This reverts commit 6d2b84b3ed7848fd91b8d6151d4451b3103ed816, reversing changes made to 73bc12199ea8c7651ed98b069c0dd6b0bb5fabcf.
2024-01-18Remove no-longer-needed `allow(dead_code)` from Miri testsJake Goulding-2/+2
`repr(transparent)` now silences the lint.
2024-01-11std: update miri testsjoboet-24/+24
2024-01-09Rollup merge of #117556 - obeis:static-mut-ref-lint, r=davidtwcoGuillaume Gomez-0/+2
Disallow reference to `static mut` and adding `static_mut_ref` lint Closes #114447 r? `@scottmcm`
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
Merge `unused_tuple_struct_fields` into `dead_code` This implicitly upgrades the lint from `allow` to `warn` and places it into the `unused` lint group. [Discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Moving.20.60unused_tuple_struct_fields.60.20from.20allow.20to.20warn)
2024-01-04Rollup merge of #119574 - RalfJung:miri, r=oli-obkMatthias Krüger-121/+22
Miri subtree update r? `@ghost`
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-9/+9
Otherwise the newly-detected dead code causes new output
2023-12-30Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJungbors-121/+0
Use `windows-sys` in windows tests This PR adds `windows-sys` to `test_dependencies` so that we don't have to write out windows api bindings for each test.
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
Add an assume that the index is inbounds to slice::get_unchecked Fixes #116878
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
miri: support 'promising' alignment for symbolic alignment check Then use that ability in `slice::align_to`, so that even with `-Zmiri-symbolic-alignment-check`, it no longer has to return spuriously empty "middle" parts. Fixes https://github.com/rust-lang/miri/issues/3068
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
Miri subtree update r? `@ghost`