diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-12 21:37:56 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-12 21:37:56 +0000 |
| commit | 2a502578a785d5e7ed9e08e2895dbdcfa5333c11 (patch) | |
| tree | b8a539abd03992cc8ba0217ffc6c6c590944536a /Analysis/ValueState.cpp | |
| parent | 230aaab461fb76ca2f51e956816090593be41869 (diff) | |
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
Diffstat (limited to 'Analysis/ValueState.cpp')
| -rw-r--r-- | Analysis/ValueState.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp index d550716fd5..c74c876b51 100644 --- a/Analysis/ValueState.cpp +++ b/Analysis/ValueState.cpp @@ -168,6 +168,9 @@ ValueStateManager::AddEQ(ValueState St, SymbolID sym, const llvm::APSInt& V) { 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. |