From 3fc276fb51f3e81d279f3919e5e4353a10560b2e Mon Sep 17 00:00:00 2001 From: chrchr-github <78114321+chrchr-github@users.noreply.github.com> Date: Tue, 26 Jul 2022 11:14:35 +0200 Subject: [PATCH] Add test for #11061 (#4307) --- test/testleakautovar.cpp | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/test/testleakautovar.cpp b/test/testleakautovar.cpp index b7922dfba..f19c23b23 100644 --- a/test/testleakautovar.cpp +++ b/test/testleakautovar.cpp @@ -1460,6 +1460,13 @@ private: " p->x = 0;\n" "}"); ASSERT_EQUALS("", errout.str()); + + check("void f(s_t s) {\n" // #11061 + " s->p = (char*)malloc(10);\n" + " free((void*)s->p);\n" + " s->p = NULL;\n" + "}\n"); + ASSERT_EQUALS("", errout.str()); } void goto1() {