From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 19 Sep 2008 20:51:22 +0000 (+0000)
Subject: Bug fix: for the base transfer function logic for casts, handle const casts as just... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a8fe39fbecf549fed411f83f91ca2b666fc9e884;p=clang

Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56368 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 35facb35ae..423c4850d8 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1432,6 +1432,15 @@ void GRExprEngine::VisitCast(Expr* CastE, Expr* Ex, NodeTy* Pred, NodeSet& Dst){
       MakeNode(Dst, CastE, N, SetRVal(St, CastE, V));
       continue;
     }
+    
+    // For const casts, just propagate the value.
+    ASTContext& C = getContext();
+    
+    if (C.getCanonicalType(T).getUnqualifiedType() == 
+        C.getCanonicalType(ExTy).getUnqualifiedType()) {
+      MakeNode(Dst, CastE, N, SetRVal(St, CastE, V));
+      continue;
+    }
   
     // Check for casts from pointers to integers.
     if (T->isIntegerType() && LVal::IsLValType(ExTy)) {