2 files changed
+23
-1
lines changed+22
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
508 | 508 |
| |
509 | 509 |
| |
510 | 510 |
| |
| 511 | + | |
511 | 512 |
| |
512 | 513 |
| |
513 | 514 |
| |
| |||
3437 | 3438 |
| |
3438 | 3439 |
| |
3439 | 3440 |
| |
| 3441 | + | |
| 3442 | + | |
| 3443 | + | |
| 3444 | + | |
| 3445 | + | |
| 3446 | + | |
| 3447 | + | |
| 3448 | + | |
| 3449 | + | |
3440 | 3450 |
| |
3441 | 3451 |
| |
3442 | 3452 |
| |
| |||
3473 | 3483 |
| |
3474 | 3484 |
| |
3475 | 3485 |
| |
| 3486 | + | |
| 3487 | + | |
| 3488 | + | |
| 3489 | + | |
| 3490 | + | |
| 3491 | + | |
| 3492 | + | |
| 3493 | + | |
| 3494 | + | |
| 3495 | + | |
3476 | 3496 |
| |
3477 | 3497 |
| |
3478 | 3498 |
| |
| |||
4234 | 4254 |
| |
4235 | 4255 |
| |
4236 | 4256 |
| |
| 4257 | + | |
4237 | 4258 |
| |
4238 | 4259 |
| |
4239 | 4260 |
| |
| 4261 | + | |
4240 | 4262 |
| |
4241 | 4263 |
| |
4242 | 4264 |
| |
|
- Cargo.toml+1-1
- README.md+1-1
- rust-version+1-1
- src/bin/cargo-miri.rs+55-50
- src/bin/miri.rs+23-25
- src/fn_call.rs+104-78
- src/helpers.rs+13-12
- src/intrinsic.rs+16-9
- src/lib.rs+78-75
- src/mono_hash_map.rs+4-4
- src/operator.rs+43-28
- src/range_map.rs+37-33
- src/stacked_borrows.rs+115-96
- src/tls.rs+1-1
- tests/compile-fail/copy_nonoverlapping.rs-10
- tests/compile-fail/copy_null.rs+1-11
- tests/compile-fail/copy_unaligned.rs-10
- tests/compile-fail/div-by-zero-1.rs-10
- tests/compile-fail/div-by-zero-2.rs-10
- tests/compile-fail/overflowing-lsh-neg.rs-10
- tests/compile-fail/overflowing-rsh-1.rs-10
- tests/compile-fail/overflowing-rsh-2.rs-10
- tests/compile-fail/overflowing-unchecked-rsh.rs-10
- tests/compile-fail/ptr_offset_ptr_plus_0.rs+1-1
- tests/compile-fail/reading_half_a_pointer.rs+1-1
- tests/compile-fail/stacked_borrows/deallocate_against_barrier.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read1.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read2.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_read3.rs+9-7
- tests/compile-fail/stacked_borrows/illegal_read5.rs+1-1
- tests/compile-fail/stacked_borrows/illegal_write5.rs+5-4
- tests/compile-fail/transmute-pair-undef.rs+4-2
- tests/compile-fail/unaligned_ptr_cast2.rs+5-4
- tests/compile-fail/unaligned_ptr_cast_zst.rs+3-2
- tests/compile-fail/validity/cast_fn_ptr1.rs+3-2
- tests/compile-fail/validity/cast_fn_ptr2.rs+3-2
- tests/compiletest.rs+2-2
- tests/run-pass/associated-const.rs-10
- tests/run-pass/atomic-access-bool.rs-10
- tests/run-pass/atomic-compare_exchange.rs-10
- tests/run-pass/binops.rs-10
- tests/run-pass/cast-rfc0401-vtable-kinds.rs-10
- tests/run-pass/const-vec-of-fns.rs-10
- tests/run-pass/deriving-associated-types.rs-10
- tests/run-pass/dst-field-align.rs-10
- tests/run-pass/dst-irrefutable-bind.rs-10
- tests/run-pass/dst-raw.rs-10
- tests/run-pass/dst-struct-sole.rs-10
- tests/run-pass/dst-struct.rs-10
- tests/run-pass/enum-nullable-const-null-with-fields.rs-10
- tests/run-pass/float_fast_math.rs-10
- tests/run-pass/foreign-fn-linkname.rs-10
- tests/run-pass/generator.rs-10
- tests/run-pass/heap_allocator.rs+57
- tests/run-pass/heap_system.rs-29
- tests/run-pass/issue-15063.rs-10
- tests/run-pass/issue-15080.rs-10
- tests/run-pass/issue-15523-big.rs-10
- tests/run-pass/issue-17877.rs-10
- tests/run-pass/issue-20575.rs-10
- tests/run-pass/issue-23261.rs-10
- tests/run-pass/issue-26709.rs-10
- tests/run-pass/issue-27901.rs-10
- tests/run-pass/issue-29746.rs-10
- tests/run-pass/issue-31267-additional.rs-10
- tests/run-pass/issue-33387.rs-10
- tests/run-pass/issue-34571.rs-10
- tests/run-pass/issue-35815.rs-10
- tests/run-pass/issue-36278-prefix-nesting.rs-10
- tests/run-pass/issue-3794.rs-10
- tests/run-pass/issue-5917.rs-10
- tests/run-pass/last-use-in-cap-clause.rs-10
- tests/run-pass/loop-break-value.rs-10
- tests/run-pass/mir_coercions.rs-10
- tests/run-pass/mir_fat_ptr.rs-10
- tests/run-pass/move-arg-2-unique.rs-10
- tests/run-pass/move-arg-3-unique.rs-10
- tests/run-pass/overloaded-calls-simple.rs-10
- tests/run-pass/ref-invalid-ptr.rs+3-3
- tests/run-pass/regions-lifetime-nonfree-late-bound.rs+2-12
- tests/run-pass/regions-mock-trans.rs-10
- tests/run-pass/rfc1623.rs-10
- tests/run-pass/send-is-not-static-par-for.rs-10
- tests/run-pass/sendable-class.rs-10
- tests/run-pass/simd-intrinsic-generic-elements.rs-10
- tests/run-pass/stacked-borrows.rs+3-3
- tests/run-pass/too-large-primval-write-problem.rs+1-1
- tests/run-pass/try-operator-custom.rs-10
- tests/run-pass/u128.rs-10
- tests/run-pass/union-overwrite.rs-10
- tests/run-pass/unique-send.rs-10
- tests/run-pass/unsized-tuple-impls.rs-10
- tests/run-pass/validation_lifetime_resolution.rs+2-2
- tests/run-pass/vec-matching-fold.rs-10
- tests/run-pass/volatile.rs+12
- tests/run-pass/zero-sized-binary-heap-push.rs-10
- tests/run-pass/zst.rs+3-3
0 commit comments