From a28cb16aeb266fd41c0ce2ddbe0a0d8d2cbf20de Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 7 Jul 2015 17:50:55 +0200
Subject: Diab defines w_char to be unsigned short.

---
 cparser/Machine.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'cparser/Machine.ml')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index bd6489fd..7a12c649 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -170,6 +170,10 @@ let ppc_32_bigendian =
                    bitfields_msb_first = true;
                    supports_unaligned_accesses = true }
 
+let ppc_32_diab_bigendian =
+  { ppc_32_bigendian with sizeof_wchar = 2; wchar_signed = false }
+
+
 let arm_littleendian =
   { ilp32ll64 with name = "arm" }
 
-- 
cgit