commit 1c7370f933e4f413d8cc8964ff946d4261da2e78
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Aug 05 23:24:13 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Aug 05 23:24:13 2010 +0000
tree 2208e0083a6eb2e2012ca28766a4126e5970d798
parent b6a4026de13909c2b145166ae0b7d96cf1948f64

Don't assert on a file stream if its state is not tracked. Fix pr7831.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110392 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/StreamChecker.cpp

diff --git a/lib/Checker/StreamChecker.cpp b/lib/Checker/StreamChecker.cpp
index 37129be..b18ab29 100644
--- a/lib/Checker/StreamChecker.cpp
+++ b/lib/Checker/StreamChecker.cpp
@@ -373,7 +373,10 @@
   assert(Sym);
   
   const StreamState *SS = state->get<StreamState>(Sym);
-  assert(SS);
+
+  // If the file stream is not tracked, return.
+  if (!SS)
+    return state;
   
   // Check: Double close a File Descriptor could cause undefined behaviour.
   // Conforming to man-pages