rust/library/alloc/tests
Ralf Jung 9d0a265b6c
Rollup merge of #76662 - RalfJung:lib-test-miri, r=Mark-Simulacrum
Fix liballoc test suite for Miri

Mostly, fix the regression introduced by https://github.com/rust-lang/rust/pull/75207 that caused slices (i.e., references) to be created to invalid memory or memory that has aliasing pointers that we want to keep valid. @dylni  this changes the type of `check_range` to only require the length, not the full reference to the slice, which indeed is all the information this function requires.

Also reduce the size of a test introduced in https://github.com/rust-lang/rust/pull/70793 to make it not take 3 minutes in Miri.

This makes https://github.com/RalfJung/miri-test-libstd work again.
2020-09-16 08:25:02 +02:00
..
arc.rs mv std libs to library/ 2020-07-27 19:51:13 -05:00
binary_heap.rs in-place collect for Vec. Box<[]> and BinaryHeap IntoIter and some adapters 2020-09-03 20:59:03 +02:00
borrow.rs Move various ui const tests to library 2020-09-04 02:35:27 +02:00
boxed.rs fix typos 2020-08-02 23:20:00 +08:00
btree_set_hash.rs Move btree unit test to their native, privileged location 2020-08-14 17:54:09 +02:00
cow_str.rs mv std libs to library/ 2020-07-27 19:51:13 -05:00
fmt.rs mv std libs to library/ 2020-07-27 19:51:13 -05:00
heap.rs Replace Memoryblock with NonNull<[u8]> 2020-08-04 18:03:34 +02:00
lib.rs Rollup merge of #75146 - tmiasko:range-overflow, r=Mark-Simulacrum 2020-09-16 01:30:30 +02:00
linked_list.rs mv std libs to library/ 2020-07-27 19:51:13 -05:00
rc.rs mv std libs to library/ 2020-07-27 19:51:13 -05:00
slice.rs in-place collect for Vec. Box<[]> and BinaryHeap IntoIter and some adapters 2020-09-03 20:59:03 +02:00
str.rs Move test-cases in string.rs 2020-09-06 09:23:40 +05:30
string.rs Rollup merge of #75882 - pickfire:patch-6, r=jyn514 2020-09-16 01:30:36 +02:00
vec_deque.rs Add tests for overflow in String / VecDeque operations using ranges 2020-09-04 00:00:00 +00:00
vec.rs Rollup merge of #76662 - RalfJung:lib-test-miri, r=Mark-Simulacrum 2020-09-16 08:25:02 +02:00