diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-21 23:17:39 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-21 23:17:39 +0000 |
| commit | 9c374179796b957e931dc05945b755ce1b21bb90 (patch) | |
| tree | 09b719e33e22c60000a942261bb197c2f162e5d7 /Analysis/ValueState.cpp | |
| parent | 10c16657eec144def180ee53d1e0249c9ed2b3b5 (diff) | |
Return "Unknown" when using the value of a function pointer whose value
is symbolic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47463 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Analysis/ValueState.cpp')
| -rw-r--r-- | Analysis/ValueState.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp index e175a1cd8f..7cd89fdd7e 100644 --- a/Analysis/ValueState.cpp +++ b/Analysis/ValueState.cpp @@ -156,7 +156,11 @@ RVal ValueStateManager::GetRVal(ValueState St, const LVal& LV, QualType T) { const lval::SymbolVal& SV = cast<lval::SymbolVal>(LV); assert (T.getTypePtr()); - if (T.getTypePtr()->isPointerType()) + // Punt on "symbolic" function pointers. + if (T->isFunctionType()) + return UnknownVal(); + + if (T->isPointerType()) return lval::SymbolVal(SymMgr.getContentsOfSymbol(SV.getSymbol())); else return nonlval::SymbolVal(SymMgr.getContentsOfSymbol(SV.getSymbol())); |