diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-30 19:53:37 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-30 19:53:37 +0000 |
| commit | 93e71455e932fb6436a154e2c805395558b7d54c (patch) | |
| tree | 541b06902cec6a4bc245e3c44487ec8925a142f4 /lib/Analysis/BasicStore.cpp | |
| parent | 380022d9072ebc3b2b1050098be6da8de4d03e0e (diff) | |
Simplify more code by using SVal::getAsSymbol().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68052 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index cb6fcab380..28a5b98fc4 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -239,7 +239,7 @@ SVal BasicStoreManager::getLValueElement(const GRState* St, SVal Base, // FIXME: Should we have symbolic regions be typed or typeless? // Here we assume that these regions are typeless, even though the // symbol is typed. - SymbolRef Sym = cast<loc::SymbolVal>(&BaseL)->getSymbol(); + SymbolRef Sym = BaseL.getAsSymbol(); // Create a region to represent this symbol. // FIXME: In the future we may just use symbolic regions instead of // SymbolVals to reason about symbolic memory chunks. |