Make sure to close the file before deleting it
authorChris Lattner <sabre@nondot.org>
Tue, 24 Sep 2002 00:09:48 +0000 (00:09 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 24 Sep 2002 00:09:48 +0000 (00:09 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3905 91177308-0d34-0410-b5e6-96231b3b80d8

tools/dis/dis.cpp
tools/llvm-dis/dis.cpp
tools/llvm-dis/llvm-dis.cpp

index 8d1749c3d14012d4d9efb1311e0b1214c8f68b18..166a178d5745e480ab08cf2ce59e3d8bb20cf4a7 100644 (file)
@@ -115,7 +115,10 @@ int main(int argc, char **argv) {
 
   Passes.run(*M.get());
 
-  if (Out != &std::cout) delete Out;
+  if (Out != &std::cout) {
+    ((std::ofstream*)Out)->close();
+    delete Out;
+  }
   return 0;
 }
 
index 8d1749c3d14012d4d9efb1311e0b1214c8f68b18..166a178d5745e480ab08cf2ce59e3d8bb20cf4a7 100644 (file)
@@ -115,7 +115,10 @@ int main(int argc, char **argv) {
 
   Passes.run(*M.get());
 
-  if (Out != &std::cout) delete Out;
+  if (Out != &std::cout) {
+    ((std::ofstream*)Out)->close();
+    delete Out;
+  }
   return 0;
 }
 
index 8d1749c3d14012d4d9efb1311e0b1214c8f68b18..166a178d5745e480ab08cf2ce59e3d8bb20cf4a7 100644 (file)
@@ -115,7 +115,10 @@ int main(int argc, char **argv) {
 
   Passes.run(*M.get());
 
-  if (Out != &std::cout) delete Out;
+  if (Out != &std::cout) {
+    ((std::ofstream*)Out)->close();
+    delete Out;
+  }
   return 0;
 }