Merge pull request #80 from goblint/universal-character-names

Support for Universal Character Names, `char16_t`, and `char32_t` (part of C99/C11)

Author: michael-schwarz

Makefile.in

@@ -175,6 +175,8 @@ $(OBJDIR)/machdep.ml : src/machdep-ml.c configure.ac Makefile.in
 	@echo "  sizeof_fun: int;        (* Size of function *)"        >> $@
 	@echo "  size_t: string;         (* Type of \"sizeof(T)\" *)"   >> $@
 	@echo "  wchar_t: string;        (* Type of \"wchar_t\" *)"     >> $@
+	@echo "  char16_t: string;       (* Type of \"char16_t\" *)"    >> $@
+	@echo "  char32_t: string;       (* Type of \"char32_t\" *)"    >> $@
 	@echo "  alignof_short: int;     (* Alignment of \"short\" *)"  >> $@
 	@echo "  alignof_int: int;       (* Alignment of \"int\" *)"    >> $@
 	@echo "  alignof_bool: int;      (* Alignment of \"_Bool\" *)"    >> $@

config.h.in

@@ -42,6 +42,9 @@
 /* Define to 1 if you have the <sys/types.h> header file. */
 #undef HAVE_SYS_TYPES_H
 
+/* Define to 1 if you have the <uchar.h> header file. */
+#undef HAVE_UCHAR_H
+
 /* Define to 1 if you have the <unistd.h> header file. */
 #undef HAVE_UNISTD_H
 
@@ -74,6 +77,12 @@
    backward compatibility; new code need not use it. */
 #undef STDC_HEADERS
 
+/* Real integer type corresponding to char16_t. */
+#undef TYPE_CHAR16_T
+
+/* Real integer type corresponding to char32_t. */
+#undef TYPE_CHAR32_T
+
 /* Real integer type corresponding to size_t. */
 #undef TYPE_SIZE_T