aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/RegionStore.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-03-10 19:09:37 +0000
committerTed Kremenek <kremenek@apple.com>2010-03-10 19:09:37 +0000
commit957a2b7b227c3558b18ed5f59ddda1a02aea880e (patch)
tree661eddc651dc94a7b0e30a43e707abac6101907b /lib/Checker/RegionStore.cpp
parenta03430edf6627f4d499e974ddeafc536cc5b70d7 (diff)
Simplify assertion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@98176 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/RegionStore.cpp')
-rw-r--r--lib/Checker/RegionStore.cpp6
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp
index b320170325..b53fdee138 100644
--- a/lib/Checker/RegionStore.cpp
+++ b/lib/Checker/RegionStore.cpp
@@ -1334,11 +1334,7 @@ SVal RegionStoreManager::RetrieveLazySymbol(const TypedRegion *R) {
SVal RegionStoreManager::RetrieveStruct(Store store, const TypedRegion* R) {
QualType T = R->getValueType(getContext());
assert(T->isStructureType());
-
- const RecordType* RT = T->getAsStructureType();
- RecordDecl* RD = RT->getDecl();
- assert(RD->isDefinition());
- (void)RD;
+ assert(T->getAsStructureType()->getDecl()->isDefinition());
return ValMgr.makeLazyCompoundVal(store, R);
}