| .. |
|
stacked-borrows
|
add an interesting run-pass stacked borrows example
|
2019-11-05 11:05:02 +01:00 |
|
align_offset.rs
|
test align_to example
|
2019-10-25 20:26:01 +02:00 |
|
align_offset.stdout
|
more align_offset tests
|
2019-09-29 11:43:50 -04:00 |
|
args.rs
|
implement passing arguments to the interpreted program
|
2019-02-09 20:00:40 +01:00 |
|
args.stdout
|
implement passing arguments to the interpreted program
|
2019-02-09 20:00:40 +01:00 |
|
arrays.rs
|
test arrray try_from (interesting const generic usage)
|
2019-08-20 16:11:03 +02:00 |
|
arrays.stdout
|
test some const-generic-using methods
|
2019-07-13 10:25:04 +02:00 |
|
associated-const.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
assume_bug.rs
|
ensure that integers cast to pointers will never point at a valid alloc, not even the zst alloc
|
2016-11-10 19:20:11 +01:00 |
|
async-fn.rs
|
fix async test
|
2019-09-11 17:13:32 +02:00 |
|
atomic.rs
|
also test AcqRel fence
|
2019-10-09 10:29:08 +02:00 |
|
bad_substs.rs
|
Add regression test for bad substs
|
2017-03-24 09:03:19 +01:00 |
|
binops.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
bitop-beyond-alignment.rs
|
explain better what is non-deterministic here
|
2019-07-24 08:57:05 +02:00 |
|
bools.rs
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +02:00 |
|
box_box_trait.rs
|
tweak and slightly extend box-box-trait test
|
2019-11-07 08:55:59 +01:00 |
|
box-pair-to-vec.rs
|
implement stdout/stderr on Windows
|
2018-12-19 12:16:07 +01:00 |
|
box-pair-to-vec.stdout
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
btreemap.rs
|
test BTree a bit more
|
2019-02-22 17:42:01 +01:00 |
|
c_enums.rs
|
test more enum-int-cast code paths
|
2019-06-11 19:41:43 +02:00 |
|
call_drop_on_array_elements.rs
|
Implement Offset like the other binary operators, share code with the intrinsic
|
2017-06-05 14:19:10 -07:00 |
|
call_drop_on_fat_ptr_array_elements.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
call_drop_on_zst_array_elements.rs
|
remove our array drop glue and use rustc's instead; implement the new Offset and SizeOf operators
|
2017-06-05 10:06:40 -07:00 |
|
call_drop_through_owned_slice.rs
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
call_drop_through_trait_object_rc.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
call_drop_through_trait_object.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
calloc.rs
|
Fix calloc test
|
2019-04-08 01:26:52 +02:00 |
|
calls.rs
|
|
|
|
cast_fn_ptr_unsafe.rs
|
|
|
|
cast_fn_ptr.rs
|
improve fn pointer signature check to allow some casts that should be permitted
|
2017-05-30 10:41:38 -07:00 |
|
cast-rfc0401-vtable-kinds.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
catch.rs
|
implement stdout/stderr on Windows
|
2018-12-19 12:16:07 +01:00 |
|
catch.stdout
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
char.rs
|
move some more helpers to rustc
|
2018-08-30 10:42:18 +02:00 |
|
clock.rs
|
Use places instead of ptrs to write packed immtys
|
2019-10-14 16:00:40 -05:00 |
|
closure-drop.rs
|
do not use 'let _', it is strange
|
2018-11-26 15:31:53 +01:00 |
|
closure-field-ty.rs
|
Handle closures in get_field_ty
|
2017-08-24 13:34:05 +02:00 |
|
closures.rs
|
move fn_item/ptr tests to closures file
|
2019-05-30 11:01:22 +02:00 |
|
const-vec-of-fns.rs
|
Various cosmetic improvements.
|
2019-02-26 18:37:46 +00:00 |
|
constants.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
current_dir.rs
|
Correct style of comments
|
2019-10-11 04:17:43 -05:00 |
|
deriving-associated-types.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
drop_empty_slice.rs
|
do not use 'let _', it is strange
|
2018-11-26 15:31:53 +01:00 |
|
dst-field-align.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
dst-irrefutable-bind.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
dst-raw.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
dst-struct-sole.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
dst-struct.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
enum-nullable-const-null-with-fields.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
enums.rs
|
add another test case
|
2019-09-20 08:53:35 +02:00 |
|
env-exclude.rs
|
Add env exclusion test
|
2019-08-28 17:57:41 -05:00 |
|
env-without-isolation.rs
|
test host randomness access
|
2019-08-23 23:30:23 +02:00 |
|
env.rs
|
Test env isolation
|
2019-08-13 16:17:53 -05:00 |
|
exit.rs
|
implement exit
|
2019-04-21 12:36:17 +02:00 |
|
extern_types.rs
|
small test for extern_type
|
2018-08-26 15:15:26 +02:00 |
|
float_fast_math.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
floats.rs
|
implement min and max floating point intrinsics
|
2019-06-11 19:41:43 +02:00 |
|
foreign-fn-linkname.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
format.rs
|
test padding in format strings
|
2019-02-09 15:52:59 +01:00 |
|
format.stdout
|
test padding in format strings
|
2019-02-09 15:52:59 +01:00 |
|
from_utf8.rs
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
fs.rs
|
Check that fs errors have the proper kind
|
2019-10-14 07:24:52 -05:00 |
|
function_pointers.rs
|
fix ptr comparison test
|
2019-02-13 10:07:31 +01:00 |
|
generator.rs
|
test generator that yields during initialization of struct with uninhabited field
|
2019-08-09 11:01:42 +02:00 |
|
hashmap.rs
|
update miri-seed handling for run-pass test suite
|
2019-07-23 21:53:47 +02:00 |
|
heap_allocator.rs
|
update miri-seed handling for run-pass test suite
|
2019-07-23 21:53:47 +02:00 |
|
heap.rs
|
ignore overaligned tests on Windows (because, of course, Windows' API is broken here)
|
2019-02-13 19:48:26 +01:00 |
|
hello.rs
|
implement stdout/stderr on Windows
|
2018-12-19 12:16:07 +01:00 |
|
hello.stdout
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
integer-ops.rs
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
intptrcast.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
intrinsics-integer.rs
|
implement and test unchecked_{add,sub,mul} intrinsics
|
2019-06-16 11:10:33 +02:00 |
|
intrinsics-math.rs
|
ldexp: test overflow behavior
|
2019-08-10 11:31:20 +02:00 |
|
intrinsics.rs
|
bump Rust
|
2019-07-26 10:14:44 +02:00 |
|
ints.rs
|
rustup for ... deprecation
|
2019-06-01 10:04:49 +02:00 |
|
issue-3794.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
issue-3794.stdout
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
issue-5917.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-15063.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-15080.rs
|
adjust for slice pattern changes
|
2019-07-29 10:21:59 +02:00 |
|
issue-15523-big.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-17877.rs
|
adjust for slice pattern changes
|
2019-07-29 10:21:59 +02:00 |
|
issue-20575.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
issue-23261.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
issue-26709.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
issue-27901.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-29746.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-30530.rs
|
Fix unused_must_use inside Box
|
2019-06-30 15:31:14 +01:00 |
|
issue-31267-additional.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-33387.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
issue-34571.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-35815.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
issue-36278-prefix-nesting.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
issue-53728.rs
|
test for interestingly aligned field access
|
2018-09-22 08:45:24 +02:00 |
|
issue-miri-184.rs
|
do not use 'let _', it is strange
|
2018-11-26 15:31:53 +01:00 |
|
iter.rs
|
fix (un)likely intrinsics
|
2019-02-09 13:08:23 +01:00 |
|
last-use-in-cap-clause.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
linked-list.rs
|
add LinkedList test and mention the bug Miri found there
|
2019-04-19 23:08:24 +02:00 |
|
linux-getrandom-without-isolation.rs
|
test host randomness access
|
2019-08-23 23:30:23 +02:00 |
|
linux-getrandom.rs
|
Improve formatting
|
2019-08-04 16:44:32 -04:00 |
|
loop-break-value.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
loops.rs
|
|
|
|
main_fn.rs
|
|
|
|
malloc.rs
|
update miri-seed handling for run-pass test suite
|
2019-07-23 21:53:47 +02:00 |
|
many_shr_bor.rs
|
remove a whole lot of unnecessary attributes
|
2018-12-02 11:26:09 +01:00 |
|
match_slice.rs
|
fix matching on chars
|
2016-09-27 11:10:25 +02:00 |
|
memchr.rs
|
the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds
|
2018-12-10 10:04:55 +01:00 |
|
mir_coercions.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
mir_fat_ptr.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
miri-issue-133.rs
|
Add test for #133.
|
2017-02-10 08:00:28 -08:00 |
|
move-arg-2-unique.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
move-arg-3-unique.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
move-undef-primval.rs
|
fix test using mem::uninitialized
|
2019-07-06 09:33:22 +02:00 |
|
mpsc.rs
|
force pointers before reborrowing; fixes cargo miri test suite
|
2019-07-10 14:36:56 +02:00 |
|
multi_arg_closure.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
negative_discriminant.rs
|
Read discriminant as a signed integer if specified by layout.
|
2016-11-05 15:41:19 +00:00 |
|
non_capture_closure_to_fn_ptr.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
observed_local_mut.rs
|
get rid of implicit Raw at bottom of stack; locals get a uniq at their bottom
|
2018-10-22 18:17:37 +02:00 |
|
option_box_transmute_ptr.rs
|
remove memory leak from run-pass test
|
2017-02-24 10:41:15 +01:00 |
|
option_eq.rs
|
option_eq test passes now since casts are implemented.
|
2016-09-19 02:16:51 -06:00 |
|
overloaded-calls-simple.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
packed_static.rs
|
Implement packed statics
|
2017-08-08 17:09:26 +02:00 |
|
packed_struct.rs
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
pointers.rs
|
allow some inequality comparisons between pointers and integers
|
2019-06-20 16:38:55 +02:00 |
|
products.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
ptr_arith_offset_overflow.rs
|
test for pointer wrapping ICE
|
2019-05-28 22:46:56 +02:00 |
|
ptr_arith_offset.rs
|
make run-pass tests pass. tweak how we remove barriers.
|
2019-04-17 16:02:57 +02:00 |
|
ptr_int_casts.rs
|
now we can also enable the ptr_int_cast test again
|
2019-07-10 14:36:56 +02:00 |
|
ptr_int_ops.rs
|
support computing the remainder of a ptr, if covered by alignment
|
2018-08-14 20:10:25 +02:00 |
|
ptr_offset_from.rs
|
test offset_from
|
2019-11-05 20:17:35 +01:00 |
|
ptr_offset.rs
|
now we can also enable the ptr_int_cast test again
|
2019-07-10 14:36:56 +02:00 |
|
raw.rs
|
stacked borrows: enforcement at memory accesses
|
2018-10-17 15:15:53 +02:00 |
|
rc.rs
|
test some new uninit APIs
|
2019-08-18 11:34:09 +02:00 |
|
recursive_static.rs
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
regions-lifetime-nonfree-late-bound.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
regions-mock-trans.rs
|
make run-pass tests pass. tweak how we remove barriers.
|
2019-04-17 16:02:57 +02:00 |
|
rfc1623.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
rust-lang-org.rs
|
fix matching on chars
|
2016-09-27 11:10:25 +02:00 |
|
send-is-not-static-par-for.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
sendable-class.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
simd-intrinsic-generic-elements.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
slices.rs
|
test some new uninit APIs
|
2019-08-18 11:34:09 +02:00 |
|
small_enum_size_bug.rs
|
fix null optimizations for smaller than pointer enums
|
2016-11-11 13:10:47 +01:00 |
|
specialization.rs
|
fix master
|
2016-06-20 12:33:54 +02:00 |
|
static_memory_modification.rs
|
test mutating a non-mut static with interior mutability
|
2018-09-23 09:14:55 +02:00 |
|
static_mut.rs
|
fix static mut accidental dealloc or freeze
|
2017-02-07 19:20:16 +01:00 |
|
strings.rs
|
test mutable string slice indexing
|
2019-02-06 11:47:32 +01:00 |
|
subslice_array.rs
|
adjust for slice pattern changes
|
2019-07-29 10:21:59 +02:00 |
|
sums.rs
|
remove/fix outdated FIXMEs in tests
|
2018-12-02 11:14:24 +01:00 |
|
sync.rs
|
improve comment
|
2019-06-30 16:45:41 +02:00 |
|
tag-align-dyn-u64.rs
|
permit bit-anding in pointer values below the alignment
|
2017-06-22 14:46:53 -07:00 |
|
thread-local.rs
|
fix existing tests
|
2019-06-02 22:16:02 +02:00 |
|
too-large-primval-write-problem.rs
|
Various cosmetic improvements.
|
2019-02-26 18:37:46 +00:00 |
|
traits.rs
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
transmute_fat.rs
|
don't call Stacked Borrows hooks at all when validation is disabled
|
2019-07-03 10:47:28 +02:00 |
|
trivial.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
try-operator-custom.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
tuple_like_enum_variant_constructor_pointer_opt.rs
|
we can enable a bunch of tests for validation again
|
2017-09-09 11:18:02 +02:00 |
|
tuple_like_enum_variant_constructor_struct_pointer_opt.rs
|
correctly implement pointers to enum variant constructors
|
2017-01-28 15:46:46 +01:00 |
|
tuple_like_enum_variant_constructor.rs
|
allow using tuple variant names as function handles
|
2017-01-23 12:56:40 +01:00 |
|
tuple_like_struct_constructor.rs
|
allow the use of tuple struct constructors as functions
|
2017-01-12 08:52:22 +01:00 |
|
u128.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
union-overwrite.rs
|
rustup: fix for write_bytes and new union rules
|
2019-10-22 10:13:11 +02:00 |
|
union.rs
|
Fix some clippy warnings
|
2017-06-12 13:56:29 +02:00 |
|
unops.rs
|
some unary operator tests
|
2018-08-26 20:42:02 +02:00 |
|
unsized-tuple-impls.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
validation_lifetime_resolution.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
vec-matching-fold.rs
|
adjust for slice pattern changes
|
2019-07-29 10:21:59 +02:00 |
|
vecdeque.rs
|
test VecDeque debug printing
|
2019-02-15 10:41:12 +01:00 |
|
vecdeque.stdout
|
test VecDeque debug printing
|
2019-02-15 10:41:12 +01:00 |
|
vecs.rs
|
be pragmatic about ptr-int comparisons, for now
|
2019-04-16 17:47:37 +02:00 |
|
volatile.rs
|
use copy_op directly insteadof write_scalar
|
2019-02-26 19:49:02 +09:00 |
|
without-validation.rs
|
test for no-validation-only failure
|
2019-06-04 13:21:04 +02:00 |
|
write-bytes.rs
|
add write_bytes() test for a larger-than-u128 struct
|
2017-03-13 20:33:23 -04:00 |
|
zero-sized-binary-heap-push.rs
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
zst_box.rs
|
sanity check that boxes of zsts don't deallocate the zst allocation
|
2016-11-03 16:01:14 +01:00 |
|
zst_variant_drop.rs
|
drop zst fields of null pointer optimized structs and enums
|
2017-02-24 11:04:13 +01:00 |
|
zst.rs
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
