diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-30 21:45:55 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-30 21:45:55 +0000 |
| commit | a084bb667db31158278248f249cd302281c7da59 (patch) | |
| tree | 5904dd2282c3874d4749a95923fb64bbe8f6d431 /lib/Analysis/GRExprEngine.cpp | |
| parent | f342d1887c9b2ef24d029c0546d536e2277b9976 (diff) | |
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
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 7506c80f5e..7bfcaab112 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1481,6 +1481,12 @@ void GRExprEngine::VisitUnaryOperator(UnaryOperator* U, NodeTy* Pred, 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: { |