diff --git a/src/shims/foreign_items/posix.rs b/src/shims/foreign_items/posix.rs index c9fd59c69327..4be63804a45b 100644 --- a/src/shims/foreign_items/posix.rs +++ b/src/shims/foreign_items/posix.rs @@ -271,8 +271,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx | "pthread_mutex_unlock" | "pthread_mutex_destroy" | "pthread_rwlock_rdlock" + | "pthread_rwlock_tryrdlock" | "pthread_rwlock_unlock" | "pthread_rwlock_wrlock" + | "pthread_rwlock_trywrlock" | "pthread_rwlock_destroy" | "pthread_condattr_init" | "pthread_condattr_setclock" diff --git a/tests/run-pass/sync.rs b/tests/run-pass/sync.rs index 54d79566eae4..14243349f967 100644 --- a/tests/run-pass/sync.rs +++ b/tests/run-pass/sync.rs @@ -12,7 +12,9 @@ fn main() { { let rw = sync::RwLock::new(0); drop(rw.read()); + drop(rw.try_read()); drop(rw.write()); + drop(rw.try_write()); drop(rw); } }