1 parent 0b19a52 commit 88a9426Copy full SHA for 88a9426
1 file changed
test/testbufferoverrun.cpp
@@ -3564,6 +3564,14 @@ class TestBufferOverrun : public TestFixture {
3564
" memset(&a[i], 0, sizeof(a));\n"
3565
"}\n");
3566
ASSERT_EQUALS("[test.cpp:4:16]: (error) Buffer is accessed out of bounds: &a[i] [bufferAccessOutOfBounds]\n", errout_str());
3567
+
3568
+ check("void f(const std::vector<uint8_t>& s) {\n" // #14948
3569
+ " if (s.size() < 4)\n"
3570
+ " return;\n"
3571
+ " uint32_t u = 0;\n"
3572
+ " std::memcpy(&u, &s[0], sizeof(u));\n"
3573
+ "}\n");
3574
+ ASSERT_EQUALS("", errout_str());
3575
}
3576
3577
void buffer_overrun_errorpath() {
0 commit comments