diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-29 22:17:41 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-29 22:17:41 +0000 |
| commit | 0d2ccffa83b60d6745d1390127373a394321e28a (patch) | |
| tree | 6073c0e9876629c9365cb37a67f2c03b0937a458 /clang/lib/Analysis/ValueState.cpp | |
| parent | 663f5fccd4332b14c853f8b5d7cd16c60623a012 (diff) | |
| download | bcm5719-llvm-0d2ccffa83b60d6745d1390127373a394321e28a.tar.gz bcm5719-llvm-0d2ccffa83b60d6745d1390127373a394321e28a.zip | |
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
This removes the failure in null-deref-ps.c (test suite).
llvm-svn: 50449
Diffstat (limited to 'clang/lib/Analysis/ValueState.cpp')
| -rw-r--r-- | clang/lib/Analysis/ValueState.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/lib/Analysis/ValueState.cpp b/clang/lib/Analysis/ValueState.cpp index cba0253ea18..e51366d6663 100644 --- a/clang/lib/Analysis/ValueState.cpp +++ b/clang/lib/Analysis/ValueState.cpp @@ -212,6 +212,9 @@ RVal ValueStateManager::GetRVal(ValueState* St, LVal LV, QualType T) { return UnknownVal(); } + case lval::FieldOffsetKind: + return UnknownVal(); + case lval::FuncValKind: return LV; |
