commit 5c4d40947292216cc932efde598b2d48161b6ab1
author Ted Kremenek <kremenek@apple.com> Wed Apr 30 21:45:55 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Apr 30 21:45:55 2008 +0000
tree 5904dd2282c3874d4749a95923fb64bbe8f6d431
parent a922326c96e55d1382e9595c96285de6eead9ce0

Add workaround for __builtin_offsetof in the static analyzer.


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

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 7506c80..7bfcaab 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1481,6 +1481,12 @@
       return;
     }
 
+      
+    case UnaryOperator::OffsetOf:
+      // FIXME: Just report "Unknown" known for OffsetOf.
+      Dst.Add(Pred);
+      return;
+      
     case UnaryOperator::Plus: assert (!asLVal);  // FALL-THROUGH.
     case UnaryOperator::Extension: {