Add test for #10092 (#3571)

2021-11-20 08:52:51 +01:00 · 2021-11-20 08:52:51 +01:00 · b211139dbd
parent 194a1be2c6
commit b211139dbd
1 changed files with 10 additions and 0 deletions
--- a/test/testbufferoverrun.cpp
+++ b/test/testbufferoverrun.cpp
@ -4759,6 +4759,16 @@ private:
              "    out_row[c] = vector<V, 2>(1,2);\n"
              "}\n");
        ASSERT_EQUALS("", errout.str());
+
+        check("void f(const uint8_t* d, const uint8_t L) {\n" // #10092
+              "    for (uint8_t i = 0U; i < L; ++i)\n"
+              "        g(d[i]);\n"
+              "}\n"
+              "void h() {\n"
+              "    const uint8_t u = 4;\n"
+              "    f(&u, N);\n"
+              "}");
+        ASSERT_EQUALS("", errout.str());
    }
 };