commit 4b443a614278e99c46cba3d53ee04546920ff165
author Ted Kremenek <kremenek@apple.com> Fri Apr 25 01:56:50 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Apr 25 01:56:50 2008 +0000
tree ae13d93e8a66621a64306515005f8e94994c9776
parent 2bfe9ea8229473fc412c6a670f1b9d6d956b64bc

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

lib/Analysis/ValueState.cpp

diff --git a/lib/Analysis/ValueState.cpp b/lib/Analysis/ValueState.cpp
index 501d801..e36bbfa 100644
--- a/lib/Analysis/ValueState.cpp
+++ b/lib/Analysis/ValueState.cpp
@@ -212,6 +212,9 @@
       return UnknownVal();
     }
       
+    case lval::FuncValKind:
+      return LV;
+      
     case lval::StringLiteralValKind:
       // FIXME: Implement better support for fetching characters from strings.
       return UnknownVal();