commit c07d8353e1f3587b70819139f732a06df78c8a20
author Ted Kremenek <kremenek@apple.com> Mon Oct 25 20:20:56 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Oct 25 20:20:56 2010 +0000
tree 9f3053a111d06de2e56510072476c99a104bcce8
parent b3a48f3459da7b607815f18126515b6e83a8eeec

Add check for UnknownVals for mutexes in ObjCAtSyncChecker.  Fixes crash reported in PR 8458.

llvm-svn: 117300

clang/lib/Checker/ObjCAtSyncChecker.cpp

diff --git a/clang/lib/Checker/ObjCAtSyncChecker.cpp b/clang/lib/Checker/ObjCAtSyncChecker.cpp
index 4158095..f9a3686 100644
--- a/clang/lib/Checker/ObjCAtSyncChecker.cpp
+++ b/clang/lib/Checker/ObjCAtSyncChecker.cpp
@@ -57,6 +57,9 @@
     return;
   }
 
+  if (V.isUnknown())
+    return;
+
   // Check for null mutexes.
   const GRState *notNullState, *nullState;
   llvm::tie(notNullState, nullState) = state->Assume(cast<DefinedSVal>(V));