diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-12-23 01:19:20 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-12-23 01:19:20 +0000 |
| commit | 343b51271d3cf7a32a0897766e5bf0e0a09484d1 (patch) | |
| tree | 7f4425ba9a775412af506ba190702191e45636e3 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 1f76b51d3fa553c49f76c536f5307b495f2b7189 (diff) | |
| download | bcm5719-llvm-343b51271d3cf7a32a0897766e5bf0e0a09484d1.tar.gz bcm5719-llvm-343b51271d3cf7a32a0897766e5bf0e0a09484d1.zip | |
Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue.
llvm-svn: 91969
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 6e77b6b1038..c26867bf540 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -2125,6 +2125,7 @@ void GRExprEngine::VisitCast(Expr* CastE, Expr* Ex, ExplodedNode* Pred, if (asLValue) { ASTContext &Ctx = getContext(); T = Ctx.getPointerType(Ctx.getCanonicalType(T)); + ExTy = Ctx.getPointerType(Ctx.getCanonicalType(ExTy)); } for (ExplodedNodeSet::iterator I = S2.begin(), E = S2.end(); I != E; ++I) { |
