commit 43523e0fe8d89b19bf86572a4cb18872f377a3e2
author Ted Kremenek <kremenek@apple.com> Thu Feb 07 01:08:27 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Feb 07 01:08:27 2008 +0000
tree d027b98156fd2e2825a9e31af0427beeb3324e02
parent 4f26eb727072d49c2699cc7fac20742f16eb75c1

Added transfer function logic for ReturnStmts.
Fixed insidious bug in handling dereferences.

llvm-svn: 46835

clang/Analysis/ValueState.cpp

diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index 00b6607..1b08d8e 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/Analysis/ValueState.cpp
@@ -155,6 +155,10 @@
   if (DeclRefExpr* DR = dyn_cast<DeclRefExpr>(S))
     return lval::DeclVal(DR->getDecl());
   
+  if (UnaryOperator* U = dyn_cast<UnaryOperator>(S))
+    if (U->getOpcode() == UnaryOperator::Deref)
+      return cast<LValue>(GetValue(St, U->getSubExpr()));
+  
   return cast<LValue>(GetValue(St, S));
 }