]> granicus.if.org Git - clang/commitdiff
use a concrete type instead of a trait type to make code more readable.
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 24 Jun 2009 01:12:41 +0000 (01:12 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 24 Jun 2009 01:12:41 +0000 (01:12 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74047 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/RegionStore.cpp

index ab60ff32adaf1bfc14aa7b5bcd445b152dc6e855..c9c923a5e33c389fedf13c350d3194d3e2ddc09c 100644 (file)
@@ -892,8 +892,7 @@ SVal RegionStoreManager::Retrieve(const GRState *state, Loc L, QualType T) {
   // If the region is an element or field, it may have a default value.
   if (isa<ElementRegion>(R) || isa<FieldRegion>(R)) {
     const MemRegion* SuperR = cast<SubRegion>(R)->getSuperRegion();
-    GRStateTrait<RegionDefaultValue>::lookup_type D = 
-      state->get<RegionDefaultValue>(SuperR);
+    const SVal* D = state->get<RegionDefaultValue>(SuperR);
     if (D) {
       // If the default value is symbolic, we need to create a new symbol.
       if (D->hasConjuredSymbol())