From be9c23cb1aa6f4e831a965f4505220b07a6dfd11 Mon Sep 17 00:00:00 2001
From: Martin Ettl <martin@martin.(none)>
Date: Thu, 10 Jun 2010 22:49:34 +0200
Subject: [PATCH] added todo-testcase for ticket #1401

---
 test/testmemleak.cpp | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/test/testmemleak.cpp b/test/testmemleak.cpp
index 2343f8bc0..b13af2af1 100644
--- a/test/testmemleak.cpp
+++ b/test/testmemleak.cpp
@@ -2529,6 +2529,41 @@ private:
               "    }\n"
               "}\n");
         ASSERT_EQUALS("", errout.str());
+
+        //#ticket 1401
+        check("int myfunc()\n"
+              "{\n"
+              "  int handle;\n"
+              "  \n"
+              "  handle = std::open(\"myfile\");\n"
+              "  if (handle < 0) return 1;\n"
+              "  \n"
+              "    while (some_condition()) \n"
+              "      if (some_other_condition())\n"
+              "      {\n"
+              "         close(handle);\n"
+              "         return 3;\n"
+              "      }\n"
+              "  close(handle);\n"
+              "}\n");
+        ASSERT_EQUALS("", errout.str());
+
+        //#ticket 1401
+        check("int myfunc()\n"
+              "{\n"
+              "  int handle;\n"
+              "  \n"
+              "  handle = std::open(\"myfile\");\n"
+              "  if (handle < 0) return 1;\n"
+              "  \n"
+              "    while (some_condition()) \n"
+              "      if (some_other_condition())\n"
+              "      {\n"
+              "         return 3;\n"
+              "      }\n"
+              "  close(handle);\n"
+              "}\n");
+        TODO_ASSERT_EQUALS("[test.cpp:11]: (error) Resource leak: handle\n", errout.str());
     }
 
     void fd_functions()