add test for #13569 (danmar#7699)

Author: ludviggunne

test/testother.cpp

@@ -59,6 +59,7 @@ class TestOther : public TestFixture {
         TEST_CASE(zeroDiv19);
         TEST_CASE(zeroDiv20); // #11175
         TEST_CASE(zeroDiv21);
+        TEST_CASE(zeroDiv22);
 
         TEST_CASE(zeroDivCond); // division by zero / useless condition
 
@@ -700,6 +701,14 @@ class TestOther : public TestFixture {
         ASSERT_EQUALS("[test.cpp:2:14]: (error) Division by zero. [zerodiv]\n", errout_str());
     }
 
+    void zeroDiv22()
+    {
+        check("int main() {\n"
+              "    return _Generic((0), int: (42) / (0), default: 0);\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:2:36]: (error) Division by zero. [zerodiv]\n", errout_str());
+    }
+
     void zeroDivCond() {
         check("void f(unsigned int x) {\n"
               "  int y = 17 / x;\n"