summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-35/+35
2023-08-16Auto merge of #3027 - ttsugriy:range-map, r=RalfJungbors-5/+2
2023-08-16Avoid unnecessary Vec resize.Taras Tsugrii-5/+2
2023-08-16on out-of-bounds error, show where the allocation was createdRalf Jung-8/+46
2023-08-16Auto merge of #2940 - saethlin:use-after-free-spans, r=RalfJungbors-18/+229
2023-08-16Auto merge of #3028 - ttsugriy:range-map-find-offset, r=RalfJungbors-20/+15
2023-08-16Merge from rustcThe Miri Conjob Bot-1/+0
2023-08-16Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-08-16Auto merge of #114689 - m-ou-se:stabilize-thread-local-cell-methods, r=thomccbors-1/+0
2023-08-15Replace hand-written binary search with Vec::binary_search_by.Taras Tsugrii-20/+15
2023-08-15Tidy up the implementationBen Kimock-12/+9
2023-08-15Explain why we save spans for some memory types and not othersBen Kimock-0/+2
2023-08-15Auto merge of #2972 - RalfJung:c-mem-functions, r=RalfJungbors-6/+46
2023-08-15C string function shims: consistently treat "invalid" pointers as UBRalf Jung-6/+46
2023-08-15Auto merge of #3018 - ttsugriy:ttsugriy-patch-1, r=RalfJungbors-1/+1
2023-08-12Merge from rustcThe Miri Conjob Bot-1/+1
2023-08-12Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-08-11Include spans in use-after-free diagnosticsBen Kimock-18/+230
2023-08-11Auto merge of #3025 - eduardosm:float-to-int, r=RalfJungbors-117/+132
2023-08-11Auto merge of #114735 - RalfJung:miri, r=RalfJungbors-55/+1795
2023-08-11Remove `float_to_int_unchecked` and inline it into its call sitesEduardo Sánchez Muñoz-39/+56
2023-08-11Add checked float-to-int helper functionEduardo Sánchez Muñoz-83/+81
2023-08-11llvm.prefetch is not a math functionRalf Jung-2/+1
2023-08-11Auto merge of #2989 - eduardosm:x86-intrinsics, r=RalfJungbors-0/+1720
2023-08-11Auto merge of #3023 - RalfJung:gamma, r=RalfJungbors-3/+43
2023-08-11miri: implement some `llvm.x86.sse.*` intrinsics and add testsEduardo Sánchez Muñoz-0/+1720
2023-08-10add gamma function shimsRalf Jung-2/+42
2023-08-10Preparing for merge from rustcRalf Jung-1/+1
2023-08-10replace AsAny hack by trait upcasting :)Ralf Jung-31/+22
2023-08-10Stabilize thread local cell methods.Mara Bos-1/+0
2023-08-09Auto merge of #3021 - ttsugriy:bin-search, r=RalfJungbors-17/+6
2023-08-09expand commentRalf Jung-0/+1
2023-08-09Use Vec's binary search instead of hand-written one.Taras Tsugrii-17/+5
2023-08-09rustc: Move `crate_types` from `Session` to `GlobalCtxt`Vadim Petrochenkov-1/+1
2023-08-08[nit][typo] Remove "currently" that breaks reading flow.Taras Tsugrii-1/+1
2023-08-08Auto merge of #3020 - rust-lang:rustup-2023-08-08, r=RalfJungbors-6/+6
2023-08-08Merge from rustcThe Miri Conjob Bot-5/+5
2023-08-08Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-08-07[perf] Reserve capacity for argvs.Taras Tsugrii-1/+1
2023-08-07Rollup merge of #114570 - ttsugriy:miri-vc-typo, r=RalfJungMatthias Krüger-1/+1
2023-08-07Auto merge of #114560 - RalfJung:miri, r=RalfJungbors-778/+1645
2023-08-06[miri][typo] Fix a typo in a vector_block comment.Taras Tsugrii-1/+1
2023-08-06Add a new `compare_bytes` intrinsic instead of calling `memcmp` directlyScott McMurray-4/+4
2023-08-06Auto merge of #3016 - RalfJung:is_reserved, r=RalfJungbors-2/+2
2023-08-06fix typo: is_reservedRalf Jung-2/+2
2023-08-06rustc-pull: put a newline after the commit IDRalf Jung-1/+1
2023-08-05add a test ensuring that we enforce noalias on accessesRalf Jung-7/+37
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-138/+186
2023-08-05ensure we allow zero-sized references to functions and vtablesRalf Jung-0/+32
2023-08-05borrow tracking: simplify provenance updatingRalf Jung-55/+20