[cfe-commits] r50500 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Apr 30 16:45:55 2008
New Revision: 50500

URL: http://llvm.org/viewvc/llvm-project?rev=50500&view=rev
Log:
Add workaround for __builtin_offsetof in the static analyzer.

Modified:
    cfe/trunk/lib/Analysis/GRExprEngine.cpp

Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=50500&r1=50499&r2=50500&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Wed Apr 30 16:45:55 2008
@@ -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: {