commit ad884685a5603e0051509ac089bf2f320f3c2669
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 b8a539abd03992cc8ba0217ffc6c6c590944536a
parent 5bde36b5581508e7a779a951e628f9dc9cc5967b

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


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47030 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/ValueState.cpp

diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index d550716..c74c876 100644
--- a/Analysis/ValueState.cpp
+++ b/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.