diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-24 15:58:38 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-24 15:58:38 +0100 |
commit | 2d23ce58cb53a3a9026bc12c79e6c0fa99b5aa30 (patch) | |
tree | 47908ee14fbfa6a490d8df8931b6c3cd4b11c63e /cparser/Machine.mli | |
parent | 856da72d4190b42a012043a745dddc07a36c60c0 (diff) | |
download | compcert-2d23ce58cb53a3a9026bc12c79e6c0fa99b5aa30.tar.gz compcert-2d23ce58cb53a3a9026bc12c79e6c0fa99b5aa30.zip |
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.
Diffstat (limited to 'cparser/Machine.mli')
-rw-r--r-- | cparser/Machine.mli | 3 |
1 files changed, 1 insertions, 2 deletions
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; |