commit a84522088fb36b1a22cf794dd9081a715a2e0f0e
author Ted Kremenek <kremenek@apple.com> Tue Feb 10 05:42:58 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Feb 10 05:42:58 2009 +0000
tree 99502113ac3252bdd06cd07edd095bfbb06d2ee5
parent c3f7b826283bebb4c0a6c2a71117a71f3dbb5e00

Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions.

llvm-svn: 64200

clang/lib/Analysis/GRSimpleVals.cpp

diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp
index c1f455b..d50876e 100644
--- a/clang/lib/Analysis/GRSimpleVals.cpp
+++ b/clang/lib/Analysis/GRSimpleVals.cpp
@@ -74,6 +74,11 @@
   if (Loc::IsLocType(T) || T->isReferenceType())
     return X;
   
+  // FIXME: Handle transparent unions where a value can be "transparently"
+  //  lifted into a union type.
+  if (T->isUnionType())
+    return UnknownVal();
+  
   assert (T->isIntegerType());
   BasicValueFactory& BasicVals = Eng.getBasicVals();
   unsigned BitWidth = Eng.getContext().getTypeSize(T);