From 2d23ce58cb53a3a9026bc12c79e6c0fa99b5aa30 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
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/Machine.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'cparser/Machine.mli')

diff --git a/cparser/Machine.mli b/cparser/Machine.mli
index f9d347b9..3cc6d5f4 100644
--- a/cparser/Machine.mli
+++ b/cparser/Machine.mli
@@ -40,8 +40,7 @@ type t = {
   sizeof_longdouble: int;
   sizeof_void: int option;
   sizeof_fun: int option;
-  sizeof_wchar: int;
-  wchar_signed: bool;
+  wchar_ikind: C.ikind;
   sizeof_size_t: int;
   sizeof_ptrdiff_t: int;
   sizeof_intreg: int;
-- 
cgit