mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
rust/tests/compile-fail
History
bors d473242ecd Auto merge of #1617 - JCTyblaidd:data_race_detector, r=RalfJung 
Add simple data-race detector

Partially fixes data-race detection, see #1372, based on Dynamic Race Detection for C++11

- This does not explore weak memory behaviour, only exploring one sequentially consistent ordering.
- Data-race detection is only enabled after the first thread is created, so should have minimal overhead for non-concurrent execution.
- ~~Does not attempt to re-use thread id's so creating and joining threads lots of time in an execution will result in the vector clocks growing in size and slowing down program execution~~ It does now
2020-11-29 18:44:28 +00:00
..
alloc
rustup; fix tests
2020-09-24 09:19:03 +02:00
backtrace
rustup
2020-11-05 17:09:44 +01:00
concurrency
test unwinding past topmost frame of a stack
2020-08-01 14:20:05 +02:00
dangling_pointers
make sure '&raw *' on a dangling raw ptr is UB
2020-06-20 14:28:55 +02:00
data_race
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
fs
add backtics back in isolation error message
2020-10-03 15:25:30 +02:00
function_pointers
rustup; fix for changed error messages
2020-05-01 14:43:59 +02:00
intrinsics
bump Rust
2020-06-26 20:36:08 +02:00
panic
rustup; support panic=abort on Windows
2020-09-20 15:55:36 +02:00
stacked_borrows
test raw pointer tracking; we cannot track raw pointers on Windows
2020-10-28 13:54:50 +01:00
sync
Small fixes.
2020-05-25 00:02:54 +02:00
unaligned_pointers
another optimization work-around
2020-09-07 11:23:09 +02:00
validity
account for mir-opts masking more errors
2020-09-20 12:18:02 +02:00
abort-terminator.rs
with this, we support panics on Windows
2020-06-27 14:43:37 +02:00
check_arg_count_too_few_args.rs
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
check_arg_count_too_many_args.rs
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
environ-gets-deallocated.rs
fix some ignore-windows comments
2020-06-28 20:40:20 +02:00
erroneous_const.rs
add test for unused ill-formed constant
2020-08-13 08:33:36 +02:00
extern_static.rs
test referencing unsupported extern static
2020-07-27 23:32:15 +02:00
generator-pinned-moved.rs
rustup; make sure the iterator moves even with smarter optimizations
2020-09-20 10:26:22 +02:00
invalid_bool.rs
use standard black_box function
2020-09-07 11:29:47 +02:00
invalid_char.rs
rustup for fixed error messages
2020-05-02 02:13:48 +02:00
invalid_enum_tag.rs
bump Rust
2020-06-20 11:48:42 +02:00
invalid_int.rs
make sure our disable flags do not miss all bugs; move type-assert intrinsic tests to their folder
2020-04-14 10:23:47 +02:00
issue-miri-1112.rs
rustup; fix error messages
2020-05-07 08:38:59 +02:00
memleak_rc.rs
enable leak check tests on Windows
2020-07-23 15:56:38 +02:00
memleak.rs
enable leak check tests on Windows
2020-07-23 15:56:38 +02:00
modifying_constants.rs
adjust for error reform
2020-03-19 08:25:08 +01:00
never_say_never.rs
the never type got de-stabilized again; adjust tests
2019-12-15 12:23:43 +01:00
never_transmute_humans.rs
rustup, fix for intrinsic rename and transmute error change
2020-03-14 09:27:35 +01:00
never_transmute_void.rs
adjust stacktrace printing to rustc changes
2020-04-02 09:14:17 +02:00
no_main.rs
Move no_main test to compile-fail
2020-07-09 17:21:09 +02:00
null_pointer_deref_zst.rs
rustup; fix for changed error messages
2020-05-01 14:43:59 +02:00
null_pointer_deref.rs
rustup; fix for changed error messages
2020-05-01 14:43:59 +02:00
null_pointer_write_zst.rs
rustup; fix for changed error messages
2020-05-01 14:43:59 +02:00
null_pointer_write.rs
rustup; fix for changed error messages
2020-05-01 14:43:59 +02:00
overwriting_part_of_relocation_makes_the_rest_uninit.rs
rename tests: undefined -> uninit
2020-04-27 12:32:03 +02:00
pointer_byte_read.rs
rustup, and some final message adjustments
2020-03-19 08:41:01 +01:00
rc_as_ptr.rs
rustup (and account for stabilization)
2020-05-30 09:23:25 +02:00
reading_half_a_pointer.rs
rustup, and some final message adjustments
2020-03-19 08:41:01 +01:00
rustc-error.rs
fix exit code on rustc errors
2020-04-25 11:12:50 +02:00
shim_arg_size.rs
remove some unnecessary feature flags
2020-11-10 16:51:07 +01:00
slice-too-big.rs
adjust error
2020-03-09 17:03:39 +01:00
static_memory_modification1.rs
adjust for error reform
2020-03-19 08:25:08 +01:00
static_memory_modification2.rs
adjust for error reform
2020-03-19 08:25:08 +01:00
static_memory_modification3.rs
adjust for error reform
2020-03-19 08:25:08 +01:00
storage_dead_dangling.rs
account for mir-opts masking more errors
2020-09-20 12:18:02 +02:00
transmute_fat1.rs
rustup, and some final message adjustments
2020-03-19 08:41:01 +01:00
transmute-pair-uninit.rs
rename tests: undefined -> uninit
2020-04-27 12:32:03 +02:00
uninit_buffer.rs
Update to match rustc changes
2020-05-22 17:03:25 +02:00
uninit_byte_read.rs
rename tests: undefined -> uninit
2020-04-27 12:32:03 +02:00
unreachable.rs
test unreachable intrinsic
2020-03-25 09:32:15 +01:00
zst1.rs
…
zst2.rs
adjust for error reform
2020-03-19 08:25:08 +01:00
zst3.rs
…