From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 15 Jul 2008 23:17:54 +0000 (+0000)
Subject: Fix transfer function logic in GRSimpleVals for integer casts: only support casts... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f496ee1710bd5d78a8948dbfd44798e8b12437e8;p=clang

Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers.
This fixes a crash reported by Anders Carlsson!


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

diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index 860a786089..562e5794b2 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -377,6 +377,10 @@ RVal GRSimpleVals::EvalCast(GRExprEngine& Eng, NonLVal X, QualType T) {
   if (!isa<nonlval::ConcreteInt>(X))
     return UnknownVal();
 
+  // Only handle casts from integers to integers.
+  if (!T->isIntegerType())
+    return UnknownVal();
+  
   BasicValueFactory& BasicVals = Eng.getBasicVals();
   
   llvm::APSInt V = cast<nonlval::ConcreteInt>(X).getValue();