aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueState.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-04-25 01:56:50 +0000
committerTed Kremenek <kremenek@apple.com>2008-04-25 01:56:50 +0000
commit4b443a614278e99c46cba3d53ee04546920ff165 (patch)
treeae13d93e8a66621a64306515005f8e94994c9776 /lib/Analysis/ValueState.cpp
parent2bfe9ea8229473fc412c6a670f1b9d6d956b64bc (diff)
Handle dereferences of function pointers (which return a handle to the function).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50246 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ValueState.cpp')
-rw-r--r--lib/Analysis/ValueState.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/ValueState.cpp b/lib/Analysis/ValueState.cpp
index 501d801da7..e36bbfa9d3 100644
--- a/lib/Analysis/ValueState.cpp
+++ b/lib/Analysis/ValueState.cpp
@@ -212,6 +212,9 @@ RVal ValueStateManager::GetRVal(ValueState* St, LVal LV, QualType T) {
return UnknownVal();
}
+ case lval::FuncValKind:
+ return LV;
+
case lval::StringLiteralValKind:
// FIXME: Implement better support for fetching characters from strings.
return UnknownVal();