bors a2fa80d277 Auto merge of #1641 - JCTyblaidd:update_release_sequences, r=RalfJung ...

Weaken release sequences to match the C++20 memory model

See [Weaken Release Sequences](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0982r1.html), since the exception for relaxed writes on the same thread as a release write not blocking release sequences was removed in the C++20 memory model compared to the C11 memory model the paper was based on. The implementation can be updated and simplified to match this.  [Rust is currently specified to use the C++20 memory model](https://doc.rust-lang.org/std/sync/atomic/index.html).

2020-12-06 19:12:16 +00:00

..

concurrency

Update release sequence handling to C++20 semantics.

2020-12-06 16:58:32 +00:00

panic

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

stacked-borrows

Stacked Borrows: test raw-ref-to-field with raw ptr tracking

2020-10-31 16:24:34 +01: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

…

associated-const.rs

…

assume_bug.rs

…

async-fn.rs

use Wake trait for async-fn driver

2020-03-23 23:53:54 +01:00

atomic.rs

…

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

test btreemap with raw ptr tracking

2020-11-10 16:51:55 +01:00

c_enums.rs

…

calloc.rs

remove some unnecessary feature flags

2020-11-10 16:51:07 +01:00

calls.rs

…

cast_fn_ptr_unsafe.rs

…

cast_fn_ptr.rs

…

cast-rfc0401-vtable-kinds.rs

…

catch.rs

…

catch.stdout

…

char.rs

…

closure-drop.rs

…

closure-field-ty.rs

…

closures.rs

…

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

…

const-vec-of-fns.rs

…

constants.rs

…

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

…

drop_on_fat_ptr_array_elements.rs

…

drop_on_zst_array_elements.rs

…

drop_through_owned_slice.rs

…

drop_through_trait_object_rc.rs

…

drop_through_trait_object.rs

…

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

…

dst-struct-sole.rs

…

dst-struct.rs

…

dyn-lcsit.rs

add interesting unsizing test

2020-05-24 12:03:06 +02:00

dyn-traits.rs

rustup

2020-10-29 20:57:38 +01:00

enum-nullable-const-null-with-fields.rs

…

enums.rs

…

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_types.rs

…

fat_ptr.rs

…

float_fast_math.rs

smoketest f32 fast-math intrinsics

2020-04-11 11:37:26 +02:00

float.rs

rustup; the bad compile times for the float test are fixed

2020-10-18 00:49:52 +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

finally stop using min/max_value and the integer modules

2020-03-04 13:01:06 +01:00

intptrcast.rs

test casting a dangling ptr back from an int

2020-07-11 20:56:47 +02:00

intrinsics-integer.rs

…

intrinsics-math.rs

…

intrinsics.rs

supply our own implementation of the CTFE pointer comparison intrinsics

2020-06-27 11:57:43 +02:00

ints.rs

finally stop using min/max_value and the integer modules

2020-03-04 13:01:06 +01:00

issue-3794.rs

…

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

…

issue-15523-big.rs

…

issue-17877.rs

…

issue-20575.rs

…

issue-23261.rs

…

issue-26709.rs

…

issue-27901.rs

…

issue-29746.rs

…

issue-30530.rs

…

issue-31267-additional.rs

…

issue-33387.rs

…

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

add a miscompilation test

2020-06-22 11:32:01 +02:00

issue-miri-133.rs

…

issue-miri-184.rs

…

issue-miri-1075.rs

…

iter.rs

…

last-use-in-cap-clause.rs

…

leak-in-static.rs

memory reachable through globals is not a leak any more; adjust for better memory dumping

2020-04-07 19:03:41 +02: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

…

linux-getrandom.rs

…

loop-break-value.rs

…

loops.rs

…

main_fn.rs

…

main_result.rs

…

malloc.rs

remove some unnecessary feature flags

2020-11-10 16:51:07 +01:00

many_shr_bor.rs

…

match_slice.rs

…

memchr.rs

platform -> target

2020-03-22 08:55:39 +01:00

memleak_ignored.rs

…

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

…

multi_arg_closure.rs

…

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

make sure the raw_ptr macros also avoid UB

2020-06-20 14:31:47 +02: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 Rc with raw pointer tracking

2020-10-31 16:24: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

…

regions-mock-trans.rs

remove some unnecessary feature flags

2020-11-10 16:51:07 +01: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

…

slices.rs

test raw pointer tracking; we cannot track raw pointers on Windows

2020-10-28 13:54:50 +01: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

…

subslice_array.rs

…

sums.rs

…

tag-align-dyn-u64.rs

avoid test-wide allowance of unused/dead code

2020-04-16 09:25:12 +02:00

thread-local.rs

fix writing to read-only raw pointer in thread-local test

2020-10-31 16:24:34 +01: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

use standard black_box function

2020-09-07 11:29:47 +02:00

union-overwrite.rs

…

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

…

vec.rs

rustup; test sorting for provenance-correctness

2020-11-22 18:08:57 +01:00

vecdeque.rs

test raw pointer tracking; we cannot track raw pointers on Windows

2020-10-28 13:54:50 +01:00

vecdeque.stdout

…

volatile.rs

…

without-validation.rs

…

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

…