From f7842f9392d081ff6decfbd2fc9ca9973c83c4bb Mon Sep 17 00:00:00 2001 From: Szabolcs Nagy Date: Thu, 17 Mar 2022 12:30:37 +0000 Subject: [PATCH] cheri: wctype: turn wctype_t into a pointer Make wctype_t a pointer so dereferencing it works. wctrans_t is already a pointer and used the same way. Existing targets are not affected, only capability targets where this is necessary. --- wctype/bits/wctype-wchar.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/wctype/bits/wctype-wchar.h b/wctype/bits/wctype-wchar.h index 8eca9262fd4..5ff0aad8a29 100644 --- a/wctype/bits/wctype-wchar.h +++ b/wctype/bits/wctype-wchar.h @@ -35,7 +35,11 @@ /* Scalar type that can hold values which represent locale-specific character classifications. */ +#ifdef __CHERI_PURE_CAPABILITY__ +typedef const char *wctype_t; +#else typedef unsigned long int wctype_t; +#endif # ifndef _ISwbit /* The characteristics are stored always in network byte order (big -- 2.47.2