From b211139dbde48671cbf59740ab4b12d354a01f88 Mon Sep 17 00:00:00 2001
From: chrchr-github <78114321+chrchr-github@users.noreply.github.com>
Date: Sat, 20 Nov 2021 08:52:51 +0100
Subject: [PATCH] Add test for #10092 (#3571)

---
 test/testbufferoverrun.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
index ea7435d4c..d386e876d 100644
--- 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());
     }
 };