Added regression test for ticket #13474

test/testother.cpp

@@ -60,6 +60,7 @@ class TestOther : public TestFixture {
         TEST_CASE(zeroDiv19);
         TEST_CASE(zeroDiv20); // #11175
         TEST_CASE(zeroDiv21);
+        TEST_CASE(zeroDivInLoop);
 
         TEST_CASE(zeroDivCond); // division by zero / useless condition
 
@@ -700,6 +701,27 @@ class TestOther : public TestFixture {
         ASSERT_EQUALS("[test.cpp:2:14]: (error) Division by zero. [zerodiv]\n", errout_str());
     }
 
+    void zeroDivInLoop()
+    {
+        // single for loop
+        check("void f(void) {\n"
+              "   for (int j = 1; j >= 0; --j) {\n"
+              "       int result = 42 / j;\n" // << Division by zero when j is 0
+              "   }\n"
+              "}");
+        ASSERT_EQUALS("[test.cpp:3:24]: (error) Division by zero. [zerodiv]\n", errout_str());
+
+        // nested for loop
+        check("void f(void) {\n"
+              "    for (int i = 2; i >= 0; --i) {\n"
+              "        for (int j = 1; j >= 0; --j) {\n"
+              "            int result = 42 / (i * j);\n" // << Division by zero when i or j is 0
+              "        }\n"
+              "    }\n"
+              "}");
+        ASSERT_EQUALS("[test.cpp:4:29]: (error) Division by zero. [zerodiv]\n", errout_str());
+    }
+
     void zeroDivCond() {
         check("void f(unsigned int x) {\n"
               "  int y = 17 / x;\n"