From 2d23ce58cb53a3a9026bc12c79e6c0fa99b5aa30 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 24 Jan 2023 15:58:38 +0100 Subject: Introduce `wchar_ikind` in machine descriptions This replaces `sizeof_wchar` and `wchar_signed`, and makes it possible to request that `wchar_t` is `long` instead of `int`, something that seems needed for PowerPC. --- cparser/Cutil.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'cparser/Cutil.ml') diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index f226d51b..5b099d7f 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -1008,10 +1008,7 @@ let find_matching_signed_ikind sz = else if sz = !config.sizeof_longlong then ILongLong else assert false -let wchar_ikind () = - if !config.wchar_signed - then find_matching_signed_ikind !config.sizeof_wchar - else find_matching_unsigned_ikind !config.sizeof_wchar +let wchar_ikind () = !config.wchar_ikind let size_t_ikind () = find_matching_unsigned_ikind !config.sizeof_size_t let ptr_t_ikind () = find_matching_unsigned_ikind !config.sizeof_ptr let ptrdiff_t_ikind () = find_matching_signed_ikind !config.sizeof_ptrdiff_t -- cgit