test for unicode character literals

Author: Daniel Kroening

regression/ansi-c/Universal_characters1/main.c

@@ -0,0 +1,18 @@
+int identifier_\u0201_;
+int \u0201_abc;
+
+#define STATIC_ASSERT(condition) \
+  int some_array##__LINE__[(condition) ? 1 : -1];    
+
+char my_string[]="\u0201";
+STATIC_ASSERT(sizeof(my_string)==3);
+
+// also as character literal
+STATIC_ASSERT(L'\u0201'==0x0201);
+
+int main()
+{
+  identifier_ȁ_=10;
+  ȁ_abc=10;
+}
+

regression/ansi-c/Universal_characters1/test.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$