Update testleakautovar.cpp

danmar · Sep 25, 2024 · 0cf3c6b · 0cf3c6b
1 parent 7396b19
commit 0cf3c6b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test/testleakautovar.cpp b/test/testleakautovar.cpp
@@ -1060,6 +1060,15 @@ class TestLeakAutoVar : public TestFixture {
               "    return fclose(fd) == 0;\n"
               "}\n", /*cpp*/ true);
         ASSERT_EQUALS("", errout_str());
+
+        check("int f(const char* fileName) {\n" // #13136
+              "    FILE* h = fopen(fileName, \"rb\");\n"
+              "    if (fseek(h, 0L, SEEK_END) == -1)\n"
+              "        fclose(h);\n"
+              "    int i = ftell(h);\n"
+              "    return i;\n"
+              "}\n");
+        ASSERT_EQUALS("[test.c:5]: (error) Dereferencing 'h' after it is deallocated / released\n", errout_str());
     }
 
     void doublefree1() {  // #3895