mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
rust/tests/run-pass
History
Smit Soni 892f706ce5 Add a support to execute isolated op without halting 
In user interface, added a new flag `-Zmiri-isolation-error` which
takes one of the four values -- hide, warn, warn-nobacktrace, and
abort. This option can be used to configure Miri to either abort or
return an error code upon executing isolated op. If not aborted, Miri
prints a warning, whose verbosity can be configured using this flag.

In implementation, added a new enum `IsolatedOp` to capture all the
settings related to ops requiring communication with the
host. Old `communicate` flag in both miri configs and machine
stats is replaced with a new helper function `communicate()` which
checks `isolated_op` internally.

Added a new helper function `reject_in_isolation` which can be called
by shims to reject ops according to the reject_with settings. Use miri
specific diagnostics function `report_msg` to print backtrace in the
warning. Update it to take an enum value instead of a bool, indicating
the level of diagnostics.

Updated shims related to current dir to use the new APIs. Added a new
test for current dir ops in isolation without halting machine.
2021-06-09 05:50:52 -07:00
..
concurrency
make TLS-drop-test more cross-platform
2021-04-20 09:59:26 +02:00
function_calls
Improve tests
2021-05-31 11:57:16 +08:00
panic
Update Box<Any> to Box<dyn Any> in catch_panic.stderr
2021-06-08 22:18:27 +08:00
stacked-borrows
stacked borrows: ensure array-to-elem casts behave correctly
2021-05-07 09:24:33 +02:00
align_offset_symbolic.rs
use real align_offset unless we symbolic alignment check is enabled
2020-08-16 18:26:04 +02:00
align_offset_symbolic.stdout
use real align_offset unless we symbolic alignment check is enabled
2020-08-16 18:26:04 +02:00
align.rs
use real align_offset unless we symbolic alignment check is enabled
2020-08-16 18:26:04 +02:00
args.rs
…
args.stdout
…
arrays.rs
test const-generic Vec::from(array)
2020-03-30 10:23:16 +02:00
arrays.stdout
test some const-generic-using methods
2019-07-13 10:25:04 +02:00
associated-const.rs
…
assume_bug.rs
…
async-fn.rs
Update rust version.
2021-02-05 10:08:05 +01:00
atomic.rs
Add in atomic_{min,max}_x intrinsics
2021-03-02 20:17:05 +05:30
available-concurrency.rs
test new available_concurrency function
2020-10-18 11:22:09 +02:00
backtrace-api.rs
backtrace tests: support more ways of checking out Rust locally
2020-10-31 13:47:42 +01:00
backtrace-api.stderr
Add an fn_ptr field to MiriFrame
2020-10-10 13:07:57 -04:00
backtrace-api.stdout
Add an fn_ptr field to MiriFrame
2020-10-10 13:07:57 -04:00
backtrace-std.rs
Normalize column numbers
2020-11-19 09:21:11 +01:00
backtrace-std.stderr
Normalize column numbers
2020-11-19 09:21:11 +01:00
bad_substs.rs
…
binary-heap.rs
expand collection tests
2020-09-10 08:44:27 +02:00
binops.rs
…
bitop-beyond-alignment.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
bools.rs
…
box.rs
rustup
2020-10-29 20:57:38 +01:00
box.stdout
test Box::into_raw aliasing
2020-10-27 17:26:36 +01:00
btreemap.rs
enable track-raw-ptr tests on Windows
2020-12-11 11:28:33 +01:00
c_enums.rs
remove no-longer-needed allow(const_err)
2020-01-06 11:38:35 +01:00
calloc.rs
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
calls.rs
rustup
2021-05-11 15:32:05 +02:00
cast_fn_ptr_unsafe.rs
…
cast_fn_ptr.rs
…
cast-rfc0401-vtable-kinds.rs
update for rustc warning about missing dyn
2019-05-30 10:58:30 +02:00
catch.rs
…
catch.stdout
…
cfg_miri.rs
Don't use MIRI_DEFAULT_ARGS to compile host crates
2021-04-09 00:57:59 +08:00
char.rs
…
closure-drop.rs
…
closure-field-ty.rs
…
closures.rs
move blosure tests to closures file; test Box<dyn> a bit more
2019-11-07 09:14:23 +01:00
coerce_non_capture_closure_to_fn_ptr.rs
remove some no-longer-needed allow(const_err)
2020-02-21 11:05:56 +01:00
coercions.rs
rename some more tests
2019-11-25 15:08:47 +01:00
const-vec-of-fns.rs
…
constants.rs
…
current_dir_with_isolation.rs
Add a support to execute isolated op without halting
2021-06-09 05:50:52 -07:00
current_dir_with_isolation.stderr
Add a support to execute isolated op without halting
2021-06-09 05:50:52 -07:00
current_dir.rs
Windows shims for GetCurrentDirectoryW/SetCurrentDirectoryW
2020-03-29 11:30:08 -04:00
deriving-associated-types.rs
…
disable-alignment-check.rs
add option to disable alignment checks
2020-04-13 17:58:03 +02:00
drop_empty_slice.rs
…
drop_on_array_elements.rs
rename call_drop_ tests to drop_
2019-11-07 08:56:11 +01:00
drop_on_fat_ptr_array_elements.rs
rename call_drop_ tests to drop_
2019-11-07 08:56:11 +01:00
drop_on_zst_array_elements.rs
rename call_drop_ tests to drop_
2019-11-07 08:56:11 +01:00
drop_through_owned_slice.rs
rename call_drop_ tests to drop_
2019-11-07 08:56:11 +01:00
drop_through_trait_object_rc.rs
rename call_drop_ tests to drop_
2019-11-07 08:56:11 +01:00
drop_through_trait_object.rs
rename call_drop_ tests to drop_
2019-11-07 08:56:11 +01:00
dst-field-align.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
dst-irrefutable-bind.rs
…
dst-raw.rs
update for rustc warning about missing dyn
2019-05-30 10:58:30 +02:00
dst-struct-sole.rs
…
dst-struct.rs
…
dyn-lcsit.rs
panicing now works with -Zmiri-track-raw-pointers
2020-12-31 00:17:08 +01:00
dyn-traits.rs
rustup
2020-10-29 20:57:38 +01:00
enum-nullable-const-null-with-fields.rs
…
enums.rs
add another test case
2019-09-20 08:53:35 +02:00
env-exclude.rs
remove or update 'ignore-windows' annotations in some tests
2020-03-27 14:18:19 -04:00
env-without-isolation.rs
remove or update 'ignore-windows' annotations in some tests
2020-03-27 14:18:19 -04:00
env.rs
Windows shims for env var emulation
2020-03-27 08:43:08 -04:00
env.stdout
fix env update, and expand test
2020-03-06 08:21:53 -05:00
exit.rs
…
extern_crate_std_in_main.rs
Detect std by checking if the crate defines #[lang = "start"] rather than string comparison
2021-06-06 11:12:05 +08:00
extern_types.rs
…
fat_ptr.rs
rename some more tests
2019-11-25 15:08:47 +01:00
float_fast_math.rs
smoketest f32 fast-math intrinsics
2020-04-11 11:37:26 +02:00
float.rs
rustup
2021-04-25 16:57:48 +02:00
foreign-fn-linkname.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
format.rs
test raw pointer tracking; we cannot track raw pointers on Windows
2020-10-28 13:54:50 +01:00
format.stdout
…
from_utf8.rs
…
fs.rs
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
fs.stderr
Merge fs and fs_libc tests
2020-10-04 12:06:51 -04:00
fs.stdout
Merge fs and fs_libc tests
2020-10-04 12:06:51 -04:00
function_pointers.rs
…
generator.rs
try even harder to catch invalid generator fields
2020-03-03 15:02:06 +01:00
hashmap.rs
expand collection tests
2020-09-10 08:44:27 +02:00
heap_allocator.rs
Use new std::alloc::Allocator interface.
2020-12-05 00:13:33 +01:00
heap.rs
adjust for changed allocation strategy
2020-05-20 00:00:35 +02:00
hello.rs
…
hello.stdout
…
integer-ops.rs
rustup; allow some lints
2021-01-26 11:43:39 +01:00
intptrcast.rs
test casting a dangling ptr back from an int
2020-07-11 20:56:47 +02:00
intrinsics-integer.rs
implement and test unchecked_{add,sub,mul} intrinsics
2019-06-16 11:10:33 +02:00
intrinsics-math.rs
Add acos, asin, and atan foreign functions
2019-11-21 17:33:30 -05:00
intrinsics.rs
test Weak into_raw/from_raw on dangling ptrs
2020-12-31 13:11:34 +01:00
ints.rs
finally stop using min/max_value and the integer modules
2020-03-04 13:01:06 +01:00
issue-3794.rs
update for rustc warning about missing dyn
2019-05-30 10:58:30 +02:00
issue-3794.stdout
…
issue-5917.rs
…
issue-15063.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
issue-15080.rs
slice_patterns is stable now
2020-01-19 10:03:18 -06:00
issue-15523-big.rs
…
issue-17877.rs
slice_patterns is stable now
2020-01-19 10:03:18 -06: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
…
issue-29746.rs
…
issue-30530.rs
Fix unused_must_use inside Box
2019-06-30 15:31:14 +01:00
issue-31267-additional.rs
…
issue-33387.rs
update for rustc warning about missing dyn
2019-05-30 10:58:30 +02:00
issue-34571.rs
…
issue-35815.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
issue-36278-prefix-nesting.rs
…
issue-53728.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
issue-73223.rs
rustup
2021-01-31 13:12:25 +01:00
issue-miri-133.rs
rename miri-issue to issue-miri for grouping
2019-11-14 10:16:44 +01:00
issue-miri-184.rs
…
issue-miri-1075.rs
test diverging closure fn ptr coercion
2019-12-02 15:42:33 +01:00
iter.rs
fix into_iter usage
2019-11-08 12:43:26 +01:00
last-use-in-cap-clause.rs
update for rustc warning about missing dyn
2019-05-30 10:58:30 +02:00
leak-in-static.rs
leak checker: also test AtomicPtr stored via 'swap'
2020-12-21 11:36:39 +01:00
libc.rs
Per-thread errno storage
2020-09-02 20:57:20 -05:00
libc.stderr
Apply review changes, incrementing the clocks twice is an unnecessary hold-over from earlier versions so fixed.
2020-11-27 19:26:06 +00:00
linked-list.rs
expand collection tests
2020-09-10 08:44:27 +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
the never type got de-stabilized again; adjust tests
2019-12-15 12:23:43 +01:00
loops.rs
…
main_fn.rs
Rustup for rust-lang/rust#84401
2021-04-30 19:35:59 +08:00
main_result.rs
support main functions with Result return type
2019-12-23 17:45:23 +01:00
malloc.rs
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
many_shr_bor.rs
rustup
2021-01-31 13:12:25 +01:00
match_slice.rs
…
memchr.rs
platform -> target
2020-03-22 08:55:39 +01:00
memleak_ignored.rs
add flag to ignore memory leaks
2019-12-07 13:44:48 +01:00
move-arg-2-unique.rs
…
move-arg-3-unique.rs
…
move-uninit-primval.rs
rename tests: undefined -> uninit
2020-04-27 12:32:03 +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
…
observed_local_mut.rs
add an option to disable Stacked Borrows
2020-02-24 16:22:02 +01:00
option_box_transmute_ptr.rs
…
option_eq.rs
…
overloaded-calls-simple.rs
…
packed_struct.rs
rustup
2021-01-31 13:12:25 +01:00
pointers.rs
finally stop using min/max_value and the integer modules
2020-03-04 13:01:06 +01:00
products.rs
…
ptr_int_casts.rs
consolidate ptr tests in fewer files
2020-04-16 09:06:21 +02:00
ptr_offset.rs
rustup; account for ptr_offset_from stabilization
2020-08-24 10:06:44 +02:00
ptr_raw.rs
consolidate ptr tests in fewer files
2020-04-16 09:06:21 +02:00
rc.rs
test Weak into_raw/from_raw on dangling ptrs
2020-12-31 13:11:34 +01:00
recursive_static.rs
…
reentrant-println.rs
Update comments, rearrange code
2020-04-05 12:09:31 -05:00
reentrant-println.stdout
Add test that exercises ReentrantMutex
2020-04-05 10:04:33 -05: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
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
rename_std.rs
Detect std by checking if the crate defines #[lang = "start"] rather than string comparison
2021-06-06 11:12:05 +08:00
rfc1623.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
rust-lang-org.rs
…
send-is-not-static-par-for.rs
…
sendable-class.rs
…
simd-intrinsic-generic-elements.rs
Remove non-power-of-two SIMD vectors
2021-02-08 00:17:24 -05:00
slices.rs
use references so that potential aliasing bugs are triggered during regression test
2021-06-02 15:36:18 +02:00
small_enum_size_bug.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
specialization.rs
bump Rust
2020-06-20 11:48:42 +02:00
static_memory_modification.rs
…
static_mut.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
strings.rs
added a strings.rs regression test case for potential future UB
2021-06-03 17:25:23 +02:00
subslice_array.rs
slice_patterns is stable now
2020-01-19 10:03:18 -06:00
sums.rs
…
tag-align-dyn-u64.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
time.rs
Update comment
2020-09-07 15:05:26 -05:00
too-large-primval-write-problem.rs
…
track-caller-attribute.rs
test track_caller on trait objects
2020-07-31 18:30:07 +02:00
transmute_fat2.rs
fix a test for big-endian targets
2020-08-22 18:07:43 +02:00
transmute_fat2.stderr
Enable backtrace feature in the generated Xargo.toml
2020-10-20 18:27:55 -04:00
transmute_fat.rs
add an option to disable Stacked Borrows
2020-02-24 16:22:02 +01:00
trivial.rs
…
try-operator-custom.rs
…
tuple_like_enum_variant_constructor_pointer_opt.rs
…
tuple_like_enum_variant_constructor_struct_pointer_opt.rs
…
tuple_like_enum_variant_constructor.rs
…
tuple_like_struct_constructor.rs
…
u128.rs
rustup
2021-04-25 16:57:48 +02:00
union-overwrite.rs
rustup: fix for write_bytes and new union rules
2019-10-22 10:13:11 +02:00
union.rs
avoid test-wide allowance of unused/dead code
2020-04-16 09:25:12 +02:00
unops.rs
…
unsized-tuple-impls.rs
…
validation_lifetime_resolution.rs
…
vec-matching-fold.rs
slice_patterns is stable now
2020-01-19 10:03:18 -06:00
vec.rs
rustup; test swap of element with itself
2021-01-22 09:22:53 +01:00
vecdeque.rs
enable track-raw-ptr tests on Windows
2020-12-11 11:28:33 +01:00
vecdeque.stdout
…
volatile.rs
…
without-validation.rs
test for no-validation-only failure
2019-06-04 13:21:04 +02:00
write-bytes.rs
…
wtf8.rs
test WTF8 encoding corner cases
2020-06-01 01:12:31 +02:00
zst_box.rs
…
zst_variant_drop.rs
…
zst.rs
adjust for refactored memory pointer checks
2019-06-23 20:19:26 +02:00