diff options
| author | Anna Zaks <ganna@apple.com> | 2012-05-07 19:40:49 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-05-07 19:40:49 +0000 |
| commit | 6400f02ab2048eb9aa2bc31b26db9f19a99d35f4 (patch) | |
| tree | 8622d0eae5762041b8a4ed71d97512f45714047a /lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp | |
| parent | 51a31ca9a9903ecba1b25bc0989f62e1e2bebb4c (diff) | |
[analyzer] Fix a crash in triggered by OSAtomicChecker.
SValBuilder should return an UnknownVal() when comparison of int and ptr
fails. Previous to this commit, it went on assuming that we are dealing
with pointer arithmetic.
PR12509, radar://11390991
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156320 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp b/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp index 34e8aaf071..9c5590bf1c 100644 --- a/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp @@ -875,6 +875,7 @@ SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state, return evalBinOpLL(state, op, lhs, loc::ConcreteInt(*x), resultTy); } } + return UnknownVal(); } // We are dealing with pointer arithmetic. |