4 files changed, 8 insertions, 0 deletions
diff --git a/src/uchar/c16rtomb.c b/src/uchar/c16rtomb.c
index ab1444b3..a4e522bc 100644
--- a/src/uchar/c16rtomb.c
+++ b/src/uchar/c16rtomb.c
@@ -10,6 +10,8 @@ size_t c16rtomb(char * restrict s, char16_t c16, mbstate_t * restrict ps)
 	return 0;
 }
 
+__check_3(size_t, 0, c16rtomb, char * restrict, char16_t, mbstate_t * restrict)
+
 /*
 STDC(201112)
 */
diff --git a/src/uchar/c32rtomb.c b/src/uchar/c32rtomb.c
index c4257b09..6c0d29b8 100644
--- a/src/uchar/c32rtomb.c
+++ b/src/uchar/c32rtomb.c
@@ -10,6 +10,8 @@ size_t c32rtomb(char * restrict s, char32_t c32, mbstate_t * restrict ps)
 	return 0;
 }
 
+__check_3(size_t, 0, c32rtomb, char * restrict, char32_t, mbstate_t * restrict)
+
 /*
 STDC(201112)
 */
diff --git a/src/uchar/mbrtoc16.c b/src/uchar/mbrtoc16.c
index 235e8663..b650841d 100644
--- a/src/uchar/mbrtoc16.c
+++ b/src/uchar/mbrtoc16.c
@@ -10,6 +10,8 @@ size_t mbrtoc16(char16_t * restrict pc16, const char * restrict s, size_t n, mbs
 	return 0;
 }
 
+__check_4(size_t, 0, mbrtoc16, char16_t * restrict, const char * restrict, size_t, mbstate_t * restrict)
+
 /*
 STDC(201112)
 */
diff --git a/src/uchar/mbrtoc32.c b/src/uchar/mbrtoc32.c
index 28cca2e5..af825b46 100644
--- a/src/uchar/mbrtoc32.c
+++ b/src/uchar/mbrtoc32.c
@@ -10,6 +10,8 @@ size_t mbrtoc32(char32_t * restrict pc32, const char * restrict s, size_t n, mbs
 	return 0;
 }
 
+__check_4(size_t, 0, mbrtoc32, char32_t * restrict, const char * restrict, size_t, mbstate_t * restrict)
+
 /*
 STDC(201112)
 */