From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 25 Apr 2008 01:56:50 +0000 (+0000)
Subject: Handle dereferences of function pointers (which return a handle to the function).
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4b443a614278e99c46cba3d53ee04546920ff165;p=clang

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
---

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