#define _SIMPLE_MTX_H
#include "util/futex.h"
+#include "util/macros.h"
#include "c11/threads.h"
}
static inline void
-simple_mtx_destroy(simple_mtx_t *mtx)
+simple_mtx_destroy(ASSERTED simple_mtx_t *mtx)
{
+#ifndef NDEBUG
mtx->val = _SIMPLE_MTX_INVALID_VALUE;
+#endif
}
static inline void