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 | ca67cab1e8f3e41c4015e8bc85066754b5b2fb38 (patch) | |
| tree | 2a13adc0c4a709c9be10b161d8308bebd63c275a /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 99057462aa001be4327078b5c80e5d3a67a01b3c (diff) | |
| download | bcm5719-llvm-ca67cab1e8f3e41c4015e8bc85066754b5b2fb38.tar.gz bcm5719-llvm-ca67cab1e8f3e41c4015e8bc85066754b5b2fb38.zip | |
Add workaround for __builtin_offsetof in the static analyzer.
llvm-svn: 50500
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 7506c80f5e7..7bfcaab1121 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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: { |
