add tests

Author: ludviggunne

test/testother.cpp

@@ -12707,6 +12707,16 @@ class TestOther : public TestFixture {
         ASSERT_EQUALS("[test.c:8:11]: (style) Checking if unsigned expression 'd.n' is less than zero. [unsignedLessThanZero]\n"
                       "[test.c:12:9]: (style) Checking if unsigned expression 'd.n' is less than zero. [unsignedLessThanZero]\n",
                       errout_str());
+
+        check("int ifunc(int x);\n"
+              "unsigned int ufunc(unsigned int x);\n"
+              "void f(void)\n"
+              "{\n"
+              "    unsigned int x = 0;\n"
+              "    if (_Generic(x, int: ifunc, unsigned int: ufunc)(x) < 0) {}\n"
+              "}\n", dinit(CheckOptions, $.cpp = false));
+        ASSERT_EQUALS("[test.c:6:57]: (style) Checking if unsigned expression '_Generic ( x,int:ifunc,unsigned int:ufunc)(x)' is less than zero. [unsignedLessThanZero]\n",
+                      errout_str());
     }
 
     void doubleMove1() {

test/testsymboldatabase.cpp

@@ -595,6 +595,7 @@ class TestSymbolDatabase : public TestFixture {
         TEST_CASE(valueTypeThis);
         TEST_CASE(valueTypeChar);
         TEST_CASE(valueTypeRValueReference);
+        TEST_CASE(valueTypeGeneric);
 
         TEST_CASE(variadic1); // #7453
         TEST_CASE(variadic2); // #7649
@@ -10401,6 +10402,72 @@ class TestSymbolDatabase : public TestFixture {
         TODO_ASSERT_EQUALS("", "bool", typeOf("void f(std::string&& s = {})\n", "&&"));
     }
 
+    void valueTypeGeneric() {
+        ASSERT_EQUALS("float", typeOf(
+            "float floatvar;\n"
+            "int intvar;\n"
+            "void testfunc() {\n"
+            "    int controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int: floatvar, default: intvar);\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("signed int", typeOf(
+            "float floatvar;\n"
+            "int intvar;\n"
+            "void testfunc() {\n"
+            "    float controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int: floatvar, default: intvar);\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("float", typeOf(
+            "float floatvar;\n"
+            "int intvar;\n"
+            "void testfunc() {\n"
+            "    int *const controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int*: floatvar, default: intvar);\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("signed int", typeOf(
+            "float floatvar;\n"
+            "int intvar;\n"
+            "void testfunc() {\n"
+            "    const int *controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int*: floatvar, default: intvar);\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("float", typeOf(
+            "float floatfunc();\n"
+            "int intfunc();\n"
+            "void testfunc() {\n"
+            "    int controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int: floatfunc, default: intfunc)();\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("signed int", typeOf(
+            "float floatfunc();\n"
+            "int intfunc();\n"
+            "void testfunc() {\n"
+            "    float controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int: floatfunc, default: intfunc)();\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("float", typeOf(
+            "float floatfunc();\n"
+            "int intfunc();\n"
+            "void testfunc() {\n"
+            "    int *const controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int*: floatfunc, default: intfunc)();\n"
+            "}\n", "testvar"));
+
+        ASSERT_EQUALS("signed int", typeOf(
+            "float floatfunc();\n"
+            "int intfunc();\n"
+            "void testfunc() {\n"
+            "    const int *controlvar;\n"
+            "    auto testvar = _Generic(controlvar, int*: floatfunc, default: intfunc)();\n"
+            "}\n", "testvar"));
+    }
+
     void variadic1() { // #7453
         {
             GET_SYMBOL_DB("CBase* create(const char *c1, ...);\n"