about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/intrinsics
AgeCommit message (Expand)AuthorLines
2025-09-03Add `funnel_sh{l,r}` functions and intrinsicssayantn-0/+44
2025-07-18Show the memory of uninit readsOli Scherer-17/+20
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-6/+21
2025-07-09miri: fix out-of-bounds error for ptrs with negative offsetsRalf Jung-0/+26
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-55/+16
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-86/+86
2025-05-20make std::intrinsic functions actually be intrinsicsRalf Jung-16/+10
2025-05-15normalize abort calls in miri testsjoboet-4/+4
2025-05-02Rollup merge of #140521 - RalfJung:oob-error, r=saethlinMatthias Krüger-19/+19
2025-05-01Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubileeGuillaume Gomez-30/+0
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-19/+19
2025-04-19simd_select_bitmask: the 'padding' bits in the mask are just ignoredRalf Jung-30/+0
2025-04-16use std-declared intrinsics rather than copying the declarationRalf Jung-106/+50
2025-03-12intrinsics: remove unnecessary leading underscore from argument namesRalf Jung-27/+27
2025-02-23rename sub_ptr 😅bendn-3/+3
2025-02-17stabilize (const_)ptr_sub_ptrbendn-2/+0
2025-02-04Auto merge of #135760 - scottmcm:disjoint-bitor, r=WaffleLapkinbors-0/+20
2025-02-02miri: improve error when offset_from preconditions are violatedRalf Jung-3/+45
2025-01-31PR feedbackScott McMurray-0/+20
2025-01-23fmtThe Miri Cronjob Bot-3/+0
2025-01-20Updated several files to use rust intrinsic macros instead of the legacy exte...vayunbiyani-81/+57
2025-01-01Try to write the panic message with a single `write_all` callJohn Kåre Alsaker-0/+2
2024-12-30fmtRalf Jung-2/+2
2024-12-25swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ...Ralf Jung-3/+25
2024-12-25rename typed_swap → typed_swap_nonoverlappingRalf Jung-12/+12
2024-12-25miri: add test for overlapping typed_swapRalf Jung-0/+28
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-09-17ptr_offset_unsigned_overflow: extend testRalf Jung-5/+6
2024-09-16Bump ui testOli Scherer-171/+166
2024-09-11miri: fix overflow detection for unsigned pointer offsetRalf Jung-0/+22
2024-09-09Update the MIRI testsScott McMurray-21/+21
2024-08-29fix wasm testRalf Jung-1/+1
2024-08-24panicking: improve hint for Miri's RUST_BACKTRACE behaviorRalf Jung-2/+2
2024-08-07remove some SSE/SSE2 intrinsics that are no longer used by stdarchRalf Jung-3/+3
2024-08-02Rollup merge of #128453 - RalfJung:raw_eq, r=saethlinMatthias Krüger-25/+0
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-36/+22
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-7/+7
2024-07-31raw_eq: using it on bytes with provenance is not UB (outside const-eval)Ralf Jung-25/+0
2024-07-29Rollup merge of #128333 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-5/+5
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-18/+20
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-6/+7
2024-07-24show warning when Stacked Borrows skips a reborrow due to 'extern type'Ralf Jung-5/+5
2024-06-17Auto merge of #3683 - RalfJung:MIRIFLAGS, r=RalfJungbors-4/+3
2024-06-17tell people how to set miri flagsRalf Jung-4/+3
2024-06-16std: move `sys_common::backtrace` to `sys`joboet-2/+2
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-18/+24
2024-05-28Add Miri tests for `PtrMetadata` UBScott McMurray-0/+142
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-24/+24
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-24/+24
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-128/+0