commit cf61a0639d8f3c38ed93876f27b4ae13c1e8b802
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 f5f81b3726961a82fa6fbd5ac194fe10bd3bc729
parent e2a67168bf2fa343b2df72a59de822c0c40e300b

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

llvm-svn: 110392

clang/lib/Checker/StreamChecker.cpp

diff --git a/clang/lib/Checker/StreamChecker.cpp b/clang/lib/Checker/StreamChecker.cpp
index 37129be..b18ab29 100644
--- a/clang/lib/Checker/StreamChecker.cpp
+++ b/clang/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