diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-06-30 20:24:11 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-06-30 20:24:11 +0000 |
commit | 6bf01d665e7a107f1dac14debf36adb56148a783 (patch) | |
tree | 8a965fb73c7351f193be37991b0e966ba703fddb /lib/Analysis/BasicStore.cpp | |
parent | 9da7201adeab345fc7da72bcfcf30e11774fb8c4 (diff) |
Combine two conditional branches into one. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74552 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
-rw-r--r-- | lib/Analysis/BasicStore.cpp | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 56cf799943..d96ef5b948 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -216,16 +216,11 @@ SVal BasicStoreManager::getLValueElement(const GRState *state, return Base; } - - if (const TypedRegion *TR = dyn_cast<TypedRegion>(R)) { - BaseR = TR; + if (isa<TypedRegion>(R) || isa<SymbolicRegion>(R)) { + BaseR = R; break; } - if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) { - BaseR = SR; - } - break; } @@ -241,9 +236,10 @@ SVal BasicStoreManager::getLValueElement(const GRState *state, return Base; } - if (BaseR) + if (BaseR) { return ValMgr.makeLoc(MRMgr.getElementRegion(elementType, UnknownVal(), BaseR, getContext())); + } else return UnknownVal(); } |