clock_gettime: add support for 32-bit vdso with 64-bit time_t

[musl] / include / assert.h

diff --git a/include/assert.h b/include/assert.h
index e679adb..d14ec94 100644 (file)
--- a/include/assert.h
+++ b/include/assert.h
@@ -16,7 +16,7 @@
 extern "C" {
 #endif
 
-void __assert_fail (const char *, const char *, int, const char *);
+_Noreturn void __assert_fail (const char *, const char *, int, const char *);
 
 #ifdef __cplusplus
 }