From 9c374179796b957e931dc05945b755ce1b21bb90 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 21 Feb 2008 23:17:39 +0000 Subject: [PATCH] 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 --- Analysis/ValueState.cpp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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(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())); -- 2.40.0