]> granicus.if.org Git - clang/commitdiff
Handle dereferences of function pointers (which return a handle to the function).
authorTed Kremenek <kremenek@apple.com>
Fri, 25 Apr 2008 01:56:50 +0000 (01:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 25 Apr 2008 01:56:50 +0000 (01:56 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50246 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/ValueState.cpp

index 501d801da714d781c7d727090bce61e26b30e64e..e36bbfa9d3e27793864c3d1cb03f36b903675c06 100644 (file)
@@ -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();