From b822f3e5a6ff7dd7114fbd66f83068544d13c4f5 Mon Sep 17 00:00:00 2001
From: chrchr-github <christian.riesch@live.com>
Date: Tue, 26 Jul 2022 00:30:40 +0200
Subject: [PATCH] Add test for #11061

---
 test/testleakautovar.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/test/testleakautovar.cpp b/test/testleakautovar.cpp
index 6a31e840ea8..f26013d93cc 100644
--- a/test/testleakautovar.cpp
+++ b/test/testleakautovar.cpp
@@ -1459,6 +1459,13 @@ class TestLeakAutoVar : public TestFixture {
               "  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() {