From 99131c9f5af6c87b8f9744f99c938c362870400c Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 25 Apr 2008 01:56:50 +0000 Subject: Handle dereferences of function pointers (which return a handle to the function). llvm-svn: 50246 --- clang/lib/Analysis/ValueState.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'clang/lib/Analysis/ValueState.cpp') diff --git a/clang/lib/Analysis/ValueState.cpp b/clang/lib/Analysis/ValueState.cpp index 501d801da71..e36bbfa9d3e 100644 --- a/clang/lib/Analysis/ValueState.cpp +++ b/clang/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(); -- cgit v1.2.3