Add failing generic test

Author: michael-schwarz

test/Makefile

@@ -193,6 +193,12 @@ testrunc99/% : $(SMALL1)/%.c
 	cd $(SMALL1); ./$*.exe
 	echo SUCCESS
 
+testrunc11/% : $(SMALL1)/%.c
+	cd $(SMALL1); $(CILLY) --nomerge  --commPrintLn  \
+	       $(CFLAGS) -std=c11 $(EXEOUT)$*.exe $*.c -lm
+	cd $(SMALL1); ./$*.exe
+	echo SUCCESS
+
 testrungcc/% : $(SMALL1)/%.c mustbegcc
 	cd $(SMALL1); $(CILLY) --nomerge  --commPrintLn  \
 	       $(CFLAGS) $(EXEOUT)$*.exe $*.c

test/small1/c11-generic.c

@@ -0,0 +1,27 @@
+#include "testharness.h"
+#define type1(x) _Generic((x), char: 1, unsigned int:2, default:0)
+#define type2(x) _Generic((x), char: 1, unsigned int:2, const int:3, default:0)
+
+// This fails to compile but is perfectly legal, since int and const int are not compatible
+#define type3(x) _Generic((x), int:1, const int:2, default:0)
+
+int main() {
+    unsigned char v_uchar;
+    char v_char;
+    int v_int;
+    const int v_intconst;
+
+    if(type1(v_int) != 0) { E(1); }
+    if(type1(v_uchar) != 0) { E(2); }
+    if(type1(v_char) != 1) { E(3); }
+
+    if(type2(v_int) != 0) { E(4); } // This fails but should succeed
+    if(type2(v_intconst) != 0) { E(5); } // This fails but should succeed
+    if(type3(v_int) != 1) { E(6); }
+    if(type3(v_intconst) != 1) { E(7); }
+
+    if(type3((const int)v_int) != 1) { E(6); }
+    if(type3((const int)v_intconst) != 1) { E(7); }
+
+    SUCCESS;
+}

test/testcil.pl

@@ -713,6 +713,7 @@ sub addToGroup {
 addTest("combinec99inline");
 addBadComment("combinec99inline", "C99 inline semantic not fully supported.");
 
+addTest("testrunc11/c11-generic");
 
 # ---------------- c-torture -------------
 ## if we have the c-torture tests add them