From 838cac5a3a1f31b2825f6ed7130702aa4d5bbf76 Mon Sep 17 00:00:00 2001
From: PKEuS <philipp.kloke@web.de>
Date: Fri, 28 Mar 2014 11:34:23 +0100
Subject: [PATCH] Added unit test for #1473.

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

diff --git a/test/testio.cpp b/test/testio.cpp
index 2d4ac7522..2bccef117 100644
--- a/test/testio.cpp
+++ b/test/testio.cpp
@@ -473,6 +473,13 @@ private:
               "    fclose(a.f2);\n"
               "}");
         ASSERT_EQUALS("", errout.str());
+
+        // #1473
+        check("void foo() {\n"
+              "    FILE *a = fopen(\"aa\", \"r\");\n"
+              "    while (fclose(a)) {}\n"
+              "}");
+        ASSERT_EQUALS("[test.cpp:3]: (error) Used file that is not opened.\n", errout.str());
     }
 
     void fileIOwithoutPositioning() {