| .. |
|
arrays.rs
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
associated-const.rs
|
update for latest nightly
|
2017-07-10 13:57:18 -07: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 |
|
atomic-access-bool.rs
|
Implement more atomic intrinsics
|
2017-03-14 13:05:51 +01:00 |
|
atomic-compare_exchange.rs
|
rustup for big refactor; kill most of validation
|
2018-08-16 10:30:43 +02:00 |
|
bad_substs.rs
|
Add regression test for bad substs
|
2017-03-24 09:03:19 +01:00 |
|
binops.rs
|
don't print in the binop tests
|
2016-11-15 15:24:22 +01:00 |
|
bools.rs
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +02:00 |
|
box_box_trait.rs
|
no longer run rustc on the tests; instead make sure we actually deny all warnings
|
2018-07-16 08:39:06 +02:00 |
|
btreemap.rs
|
enable validation per default, but add a flag to disable it and use that for some run-pass tests
|
2018-10-11 11:24:22 +02:00 |
|
c_enums.rs
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +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
|
run drop on array elements
|
2016-11-04 17:34:33 +01: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
|
fix the block processing for the drop_in_place intrinsic
|
2016-11-04 17:55:06 +01:00 |
|
call_drop_through_trait_object.rs
|
generate a drop method pointer in the vtable and process it
|
2016-11-04 16:38:04 +01:00 |
|
calls.rs
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
cast_fn_ptr_unsafe.rs
|
implement fn -> unsafe fn pointer casts
|
2016-06-17 16:49:06 +02:00 |
|
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
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
|
char.rs
|
move some more helpers to rustc
|
2018-08-30 10:42:18 +02:00 |
|
closure-drop.rs
|
Merge move_fn_closure run-passtest into closure-drop
|
2017-02-24 10:42:11 +01:00 |
|
closure-field-ty.rs
|
Handle closures in get_field_ty
|
2017-08-24 13:34:05 +02:00 |
|
closures.rs
|
fix calling Fn closures as FnOnce closures
|
2016-09-20 18:31:55 +02:00 |
|
const-vec-of-fns.rs
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
|
constants.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
deriving-associated-types.rs
|
fix enum variants with multiple fields
|
2016-09-30 10:45:52 +02:00 |
|
drop_empty_slice.rs
|
enable a test that was accidentally left disabled
|
2017-06-11 21:16:05 -07:00 |
|
dst-field-align.rs
|
we can enable a bunch of tests for validation again
|
2017-09-09 11:18:02 +02:00 |
|
dst-irrefutable-bind.rs
|
fully implement size_of_val and add various tests that now succeed
|
2016-09-22 13:00:43 +02:00 |
|
dst-raw.rs
|
fully implement size_of_val and add various tests that now succeed
|
2016-09-22 13:00:43 +02:00 |
|
dst-struct-sole.rs
|
fully implement size_of_val and add various tests that now succeed
|
2016-09-22 13:00:43 +02:00 |
|
dst-struct.rs
|
test some more things around packed structs
|
2018-08-14 20:10:25 +02:00 |
|
enum-nullable-const-null-with-fields.rs
|
allow zsts in the zero case of a nullable pointer optimized enum
|
2016-11-15 16:15:17 +01:00 |
|
enums.rs
|
fix enum variants with multiple fields
|
2016-09-30 10:45:52 +02:00 |
|
extern_types.rs
|
small test for extern_type
|
2018-08-26 15:15:26 +02:00 |
|
float_fast_math.rs
|
Implement the fast float math intrinsics.
|
2017-02-10 05:58:34 -08:00 |
|
floats.rs
|
update for memory signedness removal; test some float casts
|
2018-08-16 11:35:38 +02:00 |
|
fn_item_as_closure_trait_object.rs
|
fix turning function items into closure trait objects
|
2017-02-07 11:04:46 +01:00 |
|
fn_item_with_args_as_closure_trait_object.rs
|
fix turning function items into closure trait objects
|
2017-02-07 11:04:46 +01:00 |
|
fn_item_with_multiple_args_as_closure_trait_object.rs
|
fix turning function items into closure trait objects
|
2017-02-07 11:04:46 +01:00 |
|
fn_ptr_as_closure_trait_object.rs
|
cleanup buggy closure dispatch code
|
2017-02-07 14:22:20 +01:00 |
|
function_pointers.rs
|
only split the Fn* arguments in case of closures and function pointers
|
2016-09-21 15:57:13 +02:00 |
|
generator_control_flow.rs
|
Fix it
|
2018-04-13 16:04:57 +02:00 |
|
heap.rs
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
intrinsics-integer.rs
|
implement _nonzero intrinsics
|
2017-06-22 14:46:53 -07:00 |
|
intrinsics-math.rs
|
Implement more float intrinsics
|
2017-03-14 12:35:38 +01:00 |
|
intrinsics.rs
|
reenable an old test
|
2018-08-14 20:10:25 +02:00 |
|
ints.rs
|
remove code repetition and fix overflowing intrinsics
|
2016-06-17 15:16:41 +02:00 |
|
issue-5917.rs
|
silence some style warning
|
2017-02-08 15:38:48 +01:00 |
|
issue-15063.rs
|
fix drop impls for clike enums
|
2017-02-07 17:41:30 +01:00 |
|
issue-15080.rs
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
issue-15523-big.rs
|
1 > -1
|
2017-02-09 09:43:45 +01:00 |
|
issue-17877.rs
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
issue-20575.rs
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
|
issue-23261.rs
|
fully implement size_of_val and add various tests that now succeed
|
2016-09-22 13:00:43 +02:00 |
|
issue-26709.rs
|
fix a bug in drop code of structs with unsized fields
|
2017-02-14 14:26:47 +01:00 |
|
issue-27901.rs
|
Get some more rustc tests working
|
2017-08-29 11:58:22 +02:00 |
|
issue-29746.rs
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
issue-30530.rs
|
implement fn item -> trait object conversion
|
2016-11-15 16:32:21 +01:00 |
|
issue-31267-additional.rs
|
update for latest nightly
|
2017-07-10 13:57:18 -07:00 |
|
issue-33387.rs
|
implement Arc<T> -> Arc<Trait> unsizing
|
2016-09-27 18:01:33 +02:00 |
|
issue-34571.rs
|
Mir optimizations treat single variant enums as structs
|
2017-08-29 12:26:20 +02:00 |
|
issue-35815.rs
|
fix a failing test
|
2017-02-09 13:00:38 +01:00 |
|
issue-36278-prefix-nesting.rs
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
issue-53728.rs
|
test for interestingly aligned field access
|
2018-09-22 08:45:24 +02:00 |
|
issue-miri-184.rs
|
fix issue 184 by marking the destination as a packed struct
|
2017-06-06 09:49:34 -04:00 |
|
iter_any.rs
|
add iter_any test
|
2018-05-11 13:51:04 +02:00 |
|
iter_slice.rs
|
Add some more tests involving Offset/arith_offset and ZST pointers
|
2017-06-05 15:19:07 -07:00 |
|
last-use-in-cap-clause.rs
|
merge closures and function and implement some closure vtable cases
|
2016-11-15 17:19:37 +01:00 |
|
loops.rs
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
main_fn.rs
|
run start and main language item if provided
|
2016-06-14 11:52:45 +02:00 |
|
many_shr_bor.rs
|
identify write locks by lvalues, not regions
|
2017-09-13 14:37:31 +02:00 |
|
match_slice.rs
|
fix matching on chars
|
2016-09-27 11:10:25 +02:00 |
|
mir_coercions.rs
|
we can enable a bunch of tests for validation again
|
2017-09-09 11:18:02 +02:00 |
|
mir_fat_ptr.rs
|
fully implement size_of_val and add various tests that now succeed
|
2016-09-22 13:00:43 +02:00 |
|
miri-issue-133.rs
|
Add test for #133.
|
2017-02-10 08:00:28 -08:00 |
|
move-arg-2-unique.rs
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
move-arg-3-unique.rs
|
deallocate all locals on function exit and transitively freeze constants through pointers
|
2016-11-18 10:05:55 +01:00 |
|
move-undef-primval.rs
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
multi_arg_closure.rs
|
cleanup buggy closure dispatch code
|
2017-02-07 14:22:20 +01: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
|
new tests for new fn arg passing code
|
2018-08-30 10:42:18 +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
|
only split the Fn* arguments in case of closures and function pointers
|
2016-09-21 15:57:13 +02: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
|
more compile-fail ptr equality tests, to rule out any non-determinism; and fix ptr equality to fail all of them.
|
2018-09-17 10:02:31 +02:00 |
|
products.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
ptr_arith_offset_overflow.rs
|
use as(_mut)_ptr on slices to entirely escape them to raw
|
2018-10-22 18:51:06 +02:00 |
|
ptr_arith_offset.rs
|
fix arith_offset not taking the size of the type into account; test for offset
|
2017-06-05 14:23:35 -07:00 |
|
ptr_int_casts.rs
|
fix casting integers to pointers
|
2017-07-21 20:02:48 -07: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.rs
|
fix arith_offset not taking the size of the type into account; test for offset
|
2017-06-05 14:23:35 -07:00 |
|
raw.rs
|
stacked borrows: enforcement at memory accesses
|
2018-10-17 15:15:53 +02:00 |
|
rc.rs
|
Rc should be fixed
|
2018-11-11 10:12:44 +01:00 |
|
recursive_static.rs
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
ref-invalid-ptr.rs
|
enable validation per default, but add a flag to disable it and use that for some run-pass tests
|
2018-10-11 11:24:22 +02:00 |
|
refcell.rs
|
stacked borrows: enforcement at memory accesses
|
2018-10-17 15:15:53 +02:00 |
|
regions-lifetime-nonfree-late-bound.rs
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
|
regions-mock-trans.rs
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
rfc1623.rs
|
Fix warnings in unit test
|
2017-03-14 11:14:53 +01:00 |
|
rust-lang-org.rs
|
fix matching on chars
|
2016-09-27 11:10:25 +02:00 |
|
sendable-class.rs
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
simd-intrinsic-generic-elements.rs
|
fix creation of simd types
|
2016-11-15 15:23:19 +01:00 |
|
slices.rs
|
re-do large parts of stacked borrows, now with proper support for partiall frozen data
|
2018-11-08 08:29:34 +01: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 |
|
stacked-borrows.rs
|
re-do large parts of stacked borrows, now with proper support for partiall frozen data
|
2018-11-08 08:29:34 +01: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 |
|
std.rs
|
stacked borrows: enforcement at memory accesses
|
2018-10-17 15:15:53 +02:00 |
|
strings.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
subslice_array.rs
|
Fix it
|
2018-04-13 16:04:57 +02:00 |
|
sums.rs
|
This test appears to work on 32-bit now.
|
2016-12-17 01:52:26 -08: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
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
too-large-primval-write-problem.rs
|
Add regression test for write_primval bug.
|
2016-12-17 01:34:19 -08:00 |
|
traits.rs
|
enable test code that passes just fine
|
2017-07-19 11:38:15 -07:00 |
|
transmute_fat.rs
|
add a scary test case
|
2018-08-14 20:10:25 +02:00 |
|
trivial.rs
|
Remove now-useless #[miri_run] attributes.
|
2016-06-17 22:52:30 -06:00 |
|
try-operator-custom.rs
|
fix miri backtrace panic
|
2016-09-20 12:51:48 +02: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 |
|
union-overwrite.rs
|
Fix unions
|
2017-06-20 14:28:18 +02:00 |
|
union.rs
|
Fix some clippy warnings
|
2017-06-12 13:56:29 +02:00 |
|
unique-send.rs
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
unops.rs
|
some unary operator tests
|
2018-08-26 20:42:02 +02:00 |
|
validation_lifetime_resolution.rs
|
Add a test demonstrating the limitations of our lfietime resolution
|
2017-08-18 11:29:51 +02:00 |
|
vec-matching-fold.rs
|
Fix it
|
2018-04-13 16:04:57 +02:00 |
|
vecs.rs
|
More extensive slice and vec tests
|
2018-11-01 08:58:03 +01: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
|
Use PrimVal instead of Pointer where applicable
|
2017-06-20 14:28:19 +02: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
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
