commit 736e441266b9e02785208c4c3179da2d3c9fee4c
author Ted Kremenek <kremenek@apple.com> Tue Feb 12 21:37:56 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Feb 12 21:37:56 2008 +0000
tree 73028fb71062d0476855c883aa3a14200c51fa73
parent 1f3d4a73f54a7864760691625b385fb78191e0cd

Added transfer function/value track logic for taking the address of a label.

llvm-svn: 47030

clang/Analysis/ValueState.cpp

diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index d550716..c74c876 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/Analysis/ValueState.cpp
@@ -168,6 +168,9 @@
 RValue ValueStateManager::GetValue(ValueState St, Expr* E, bool* hasVal) {
   for (;;) {
     switch (E->getStmtClass()) {
+
+      case Stmt::AddrLabelExprClass:
+        return LValue::GetValue(cast<AddrLabelExpr>(E));
         
         // ParenExprs are no-ops.