Ralf Jung 18d7394071 more compile-fail ptr equality tests, to rule out any non-determinism; and fix ptr equality to fail all of them. ...

At least these are the cases I can think of right now.

2018-09-17 10:02:31 +02:00

..

arrays.rs

…

associated-const.rs

update for latest nightly

2017-07-10 13:57:18 -07:00

assume_bug.rs

…

atomic-access-bool.rs

…

atomic-compare_exchange.rs

rustup for big refactor; kill most of validation

2018-08-16 10:30:43 +02:00

bad_substs.rs

…

binops.rs

…

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 for a bunch of more tests

2017-09-13 15:46:53 +02:00

c_enums.rs

…

call_drop_on_array_elements.rs

…

call_drop_on_fat_ptr_array_elements.rs

…

call_drop_on_zst_array_elements.rs

…

call_drop_through_owned_slice.rs

…

call_drop_through_trait_object_rc.rs

…

call_drop_through_trait_object.rs

…

calls.rs

…

cast_fn_ptr_unsafe.rs

…

cast_fn_ptr.rs

…

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

…

closure-field-ty.rs

Handle closures in get_field_ty

2017-08-24 13:34:05 +02:00

closures.rs

…

const-vec-of-fns.rs

test more operations on dangling ZST pointers

2018-09-17 10:02:31 +02:00

constants.rs

…

deriving-associated-types.rs

…

drop_empty_slice.rs

…

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

…

dst-raw.rs

…

dst-struct-sole.rs

…

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

…

enums.rs

…

extern_types.rs

small test for extern_type

2018-08-26 15:15:26 +02:00

float_fast_math.rs

…

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

…

fn_item_with_args_as_closure_trait_object.rs

…

fn_item_with_multiple_args_as_closure_trait_object.rs

…

fn_ptr_as_closure_trait_object.rs

…

function_pointers.rs

…

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

…

intrinsics-math.rs

…

intrinsics.rs

reenable an old test

2018-08-14 20:10:25 +02:00

ints.rs

…

issue-5917.rs

…

issue-15063.rs

…

issue-15080.rs

unignore a bunch of tests that actually work

2018-08-30 15:57:17 +02:00

issue-15523-big.rs

…

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

…

issue-26709.rs

…

issue-27901.rs

Get some more rustc tests working

2017-08-29 11:58:22 +02:00

issue-29746.rs

Rustc reorders fields, but miri expects them in source order

2017-08-04 13:43:17 +02:00

issue-30530.rs

…

issue-31267-additional.rs

update for latest nightly

2017-07-10 13:57:18 -07:00

issue-33387.rs

…

issue-34571.rs

Mir optimizations treat single variant enums as structs

2017-08-29 12:26:20 +02:00

issue-35815.rs

…

issue-36278-prefix-nesting.rs

Update to latest rustc changes

2017-12-05 17:06:03 +01:00

issue-miri-184.rs

…

iter_any.rs

add iter_any test

2018-05-11 13:51:04 +02:00

iter_slice.rs

…

last-use-in-cap-clause.rs

…

loops.rs

…

main_fn.rs

…

many_shr_bor.rs

identify write locks by lvalues, not regions

2017-09-13 14:37:31 +02:00

match_slice.rs

…

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

…

miri-issue-133.rs

…

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

…

move-undef-primval.rs

validation: check that int, float etc. are not undef

2017-09-16 11:45:56 +02:00

multi_arg_closure.rs

…

negative_discriminant.rs

…

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

…

option_box_transmute_ptr.rs

…

option_eq.rs

…

overloaded-calls-simple.rs

…

packed_static.rs

Implement packed statics

2017-08-08 17:09:26 +02:00

packed_struct.rs

test some more things around packed structs

2018-08-14 20:10:25 +02: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

…

ptr_arith_offset_overflow.rs

…

ptr_arith_offset.rs

…

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

…

rc.rs

test new From instances for Rc

2017-08-29 16:51:26 +02:00

recursive_static.rs

make test suite MIR validation aware. run-pass passes with and without fullmir, if optimizations are disabled!

2017-08-03 18:13:22 -07:00

ref-invalid-ptr.rs

Test that &* of a dangling (and even unaligned) ptr is okay

2017-07-25 17:02:57 -07: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

unignore a bunch of tests that actually work

2018-08-30 15:57:17 +02:00

rfc1623.rs

…

rust-lang-org.rs

…

sendable-class.rs

test more operations on dangling ZST pointers

2018-09-17 10:02:31 +02:00

simd-intrinsic-generic-elements.rs

…

slice-of-zero-size-elements.rs

…

small_enum_size_bug.rs

…

specialization.rs

…

static_memory_modification.rs

…

static_mut.rs

…

std.rs

rustc #43457 got fixed, we can enable more tests

2017-08-27 18:18:32 +02:00

strings.rs

…

subslice_array.rs

Fix it

2018-04-13 16:04:57 +02:00

sums.rs

…

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

…

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

…

try-operator-custom.rs

…

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

…

tuple_like_enum_variant_constructor.rs

…

tuple_like_struct_constructor.rs

…

union-overwrite.rs

…

union.rs

…

unique-send.rs

…

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

unignore a bunch of tests that actually work

2018-08-30 15:57:17 +02:00

write-bytes.rs

…

zero-sized-binary-heap-push.rs

…

zst_box.rs

…

zst_variant_drop.rs

…

zst.rs

test more operations on dangling ZST pointers

2018-09-17 10:02:31 +02:00