commit 1a4bd2902d99f9a6f410dcdd46c0aea85151fa85
author Siva Chandra Reddy <sivachandra@google.com> Mon Aug 30 04:08:35 2021 +0000
committer Copybara-Service <copybara-worker@google.com> Sun Aug 29 21:15:18 2021 -0700
tree e99c8b75149041dcb418079518fbc9bf032677e3
parent c858d2092a1f72ffe48c73207098c122ff6d5bee

[libc][NFC] Add a check to catch mismatch in internal and public mutex types.

GitOrigin-RevId: f7e572b4f4a0339162f8bc168edfd9fa523c9c1e

src/threads/linux/Mutex.h

diff --git a/src/threads/linux/Mutex.h b/src/threads/linux/Mutex.h
index 454b8ce..f6033c9 100644
--- a/src/threads/linux/Mutex.h
+++ b/src/threads/linux/Mutex.h
@@ -107,6 +107,10 @@
   }
 };
 
+static_assert(sizeof(Mutex) == sizeof(mtx_t),
+              "Sizes of internal representation of mutex and the public mtx_t "
+              "do not match.");
+
 class MutexLock {
   Mutex *mutex;