diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-05-01 21:58:29 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-05-01 21:58:29 +0000 |
| commit | 140d0c64417e2fb5fc4dd40ce0d46b037ac11b02 (patch) | |
| tree | 8cb7ebf291b2a9bd63c5ba0a0d07afd14fc5a58a /lib/StaticAnalyzer/Core/SValBuilder.cpp | |
| parent | e0fdadfd5103fa5f824920e813216615807c74ba (diff) | |
Teach SValBuilder to handle casts of symbolic pointer values to an integer twice. Fixes <rdar://problem/11212866>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155950 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SValBuilder.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/SValBuilder.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/SValBuilder.cpp b/lib/StaticAnalyzer/Core/SValBuilder.cpp index c1217e1174..4ce9d09280 100644 --- a/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -336,9 +336,12 @@ SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { // Check for casts from a region to a specific type. if (const MemRegion *R = val.getAsRegion()) { + // Handle other casts of locations to integers. + if (castTy->isIntegerType()) + return evalCastFromLoc(loc::MemRegionVal(R), castTy); + // FIXME: We should handle the case where we strip off view layers to get // to a desugared type. - if (!Loc::isLocType(castTy)) { // FIXME: There can be gross cases where one casts the result of a function // (that returns a pointer) to some other value that happens to fit |