diff options
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp b/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp index 40c9c72dc2..1c9390217f 100644 --- a/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp @@ -201,9 +201,11 @@ static SymbolRef getSymbolForRegion(CheckerContext &C, if (!isa<SymbolicRegion>(R)) { // Implicit casts (ex: void* -> char*) can turn Symbolic region into element // region, if that is the case, get the underlining region. - if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) + if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { R = ER->getAsArrayOffset().getRegion(); - else + if (!isa<SymbolicRegion>(R)) + return 0; + } else return 0; } return cast<SymbolicRegion>(R)->getSymbol(); |