diff options
| author | Anna Zaks <ganna@apple.com> | 2012-05-24 17:31:57 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-05-24 17:31:57 +0000 |
| commit | 17eb65f1bfcc33d2a9ecefe32368cb374155dbdc (patch) | |
| tree | c531f2681d04625a81cec35450d73e9c88806e4a /lib/StaticAnalyzer | |
| parent | 98553e894111627ac0bd4a6972431f09ea37f2c1 (diff) | |
[analyzer] Treat cast of array to reference in the same way as array to
pointer.
Fixes one of the crashes reported in PR12874.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@157401 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer')
| -rw-r--r-- | lib/StaticAnalyzer/Core/SValBuilder.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/SValBuilder.cpp b/lib/StaticAnalyzer/Core/SValBuilder.cpp index d005c2af96..765ae48c73 100644 --- a/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -325,7 +325,7 @@ SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { // Are we casting from an array to a pointer? If so just pass on // the decayed value. - if (castTy->isPointerType()) + if (castTy->isPointerType() || castTy->isReferenceType()) return val; // Are we casting from an array to an integer? If so, cast the decayed |