summaryrefslogtreecommitdiffstats
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
commit99131c9f5af6c87b8f9744f99c938c362870400c (patch)
tree64b83d314384d28354aa0b88e59660c09321588c
parent2e5092320e71c5e53d1f09988c81c5eb06b11a77 (diff)
downloadbcm5719-llvm-99131c9f5af6c87b8f9744f99c938c362870400c.tar.gz
bcm5719-llvm-99131c9f5af6c87b8f9744f99c938c362870400c.zip
Handle dereferences of function pointers (which return a handle to the function).
llvm-svn: 50246
-rw-r--r--clang/lib/Analysis/ValueState.cpp3
1 files changed, 3 insertions, 0 deletions
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();
OpenPOWER on IntegriCloud