From 6c55f9cf8805e2ad49fd6b7d0262fa8a36a132e3 Mon Sep 17 00:00:00 2001
From: chrchr-github <78114321+chrchr-github@users.noreply.github.com>
Date: Thu, 6 Jan 2022 15:19:10 +0100
Subject: [PATCH] Add test for #10133 (#3675)

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

diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
index 64d3351da..dc75674bf 100644
--- a/test/testbufferoverrun.cpp
+++ b/test/testbufferoverrun.cpp
@@ -4943,6 +4943,14 @@ private:
               "    return p[4];\n"
               "}\n");
         ASSERT_EQUALS("", errout.str());
+
+        check("struct S { uint8_t padding[500]; };\n" // #10133
+              "S s = { 0 };\n"
+              "uint8_t f() {\n"
+              "    uint8_t* p = (uint8_t*)&s;\n"
+              "    return p[10];\n"
+              "}\n");
+        ASSERT_EQUALS("", errout.str());
     }
 };