| commit | 0d4f7671882a4e902f12504b46eb486dfbf58515 | [log] [tgz] |
|---|---|---|
| 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 | 7a8ba0df181a4995460f67e717a5a26560fed14f | |
| parent | e8a2d4c32cb2a7840bd91c9cf9b7838ee3f47dc3 [diff] [blame] |
Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117300 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Checker/ObjCAtSyncChecker.cpp b/lib/Checker/ObjCAtSyncChecker.cpp index 4158095..f9a3686 100644 --- a/lib/Checker/ObjCAtSyncChecker.cpp +++ b/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));