mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
rust/tests/fail/validity
History
bors 8757d866ab Auto merge of #2350 - RalfJung:remove-deprecated, r=oli-obk 
remove deprecated options

These have been deprecated a month ago and nobody said they need them. Is that enough time? We can also let this PR sit a little.

Cc https://github.com/rust-lang/miri/issues/2187 https://github.com/rust-lang/miri/issues/2188
(keeping them open to track removing their supporting infrastructure in the core interpreter)
2022-07-19 12:29:29 +00:00
..
cast_fn_ptr1.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
cast_fn_ptr1.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
cast_fn_ptr2.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
cast_fn_ptr2.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
dangling_ref1.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
dangling_ref1.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
dangling_ref2.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
dangling_ref2.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
dangling_ref3.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
dangling_ref3.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_bool_uninit.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_bool_uninit.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_bool.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_bool.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_char_uninit.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_char_uninit.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_char.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_char.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_enum_tag.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_enum_tag.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_fnptr_null.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_fnptr_null.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_fnptr_uninit.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
invalid_fnptr_uninit.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
invalid_wide_raw.rs
…
invalid_wide_raw.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
nonzero.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
nonzero.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
ptr_integer_array_transmute.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
ptr_integer_array_transmute.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
ref_to_uninhabited1.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
ref_to_uninhabited1.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
ref_to_uninhabited2.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
ref_to_uninhabited2.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
too-big-slice.rs
…
too-big-slice.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
too-big-unsized.rs
…
too-big-unsized.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
transmute_through_ptr.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
transmute_through_ptr.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00
uninit_float.rs
test that we also find bad uses of mem::uninitialized
2022-07-12 09:55:28 -04:00
uninit_float.stderr
test that we also find bad uses of mem::uninitialized
2022-07-12 09:55:28 -04:00
uninit_integer.rs
require level and colon in //~ style comments
2022-07-11 11:48:56 +00:00
uninit_integer.stderr
pointer tag tracking: on creation, log the offsets it is created for
2022-07-02 11:33:29 -04:00