bors 23a9d02748 Auto merge of #1933 - 5225225:1931-condvar-false-positive, r=RalfJung ...

Fix false positive use of uninit bytes when calling `libc::pthread_condattr_destroy`

Fixes: #1931

2021-12-08 14:51:53 +00:00

..

bin

rename track-raw-pointers flag to tag-raw-pointers

2021-11-13 15:48:27 -05:00

shims

Code comment changes from code review

2021-12-07 17:25:28 +00:00

data_race.rs

Fix typos “a”→“an”

2021-08-22 16:42:23 +02:00

diagnostics.rs

Auto merge of #1856 - RalfJung:no-mir, r=RalfJung

2021-07-25 09:50:06 +00:00

eval.rs

rename track-raw-pointers flag to tag-raw-pointers

2021-11-13 15:48:27 -05:00

helpers.rs

rustc_target::abi::LayoutOf -> rustc_middle::ty::layout::LayoutOf

2021-09-06 23:05:48 +08:00

intptrcast.rs

final tweaks

2021-12-05 20:33:20 -05:00

lib.rs

rustc_mir -> rustc_const_eval

2021-09-09 17:36:39 +08:00

machine.rs

rustup; stub support for some extern statics used for weak symbols

2021-11-27 17:15:54 -05:00

mono_hash_map.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

operator.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

range_map.rs

format much of Miri

2021-05-16 11:48:28 +02:00

stacked_borrows.rs

rename track-raw-pointers flag to tag-raw-pointers

2021-11-13 15:48:27 -05:00

sync.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

thread.rs

also ignore 'thread leaks' with -Zmiri-ignore-leaks

2021-07-25 14:21:06 +02:00

vector_clock.rs

fmt: set force_multiline_blocks=true

2021-07-11 14:18:44 +02:00