diff options
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())); |