[cfe-commits] r74552 - /cfe/trunk/lib/Analysis/BasicStore.cpp

Ted Kremenek kremenek at apple.com
Tue Jun 30 13:24:41 PDT 2009


Author: kremenek
Date: Tue Jun 30 15:24:11 2009
New Revision: 74552

URL: http://llvm.org/viewvc/llvm-project?rev=74552&view=rev
Log:
Combine two conditional branches into one.  No functionality change.

Modified:
    cfe/trunk/lib/Analysis/BasicStore.cpp

Modified: cfe/trunk/lib/Analysis/BasicStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicStore.cpp?rev=74552&r1=74551&r2=74552&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/BasicStore.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicStore.cpp Tue Jun 30 15:24:11 2009
@@ -216,16 +216,11 @@
         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 @@
       return Base;
   }
   
-  if (BaseR)  
+  if (BaseR) { 
     return ValMgr.makeLoc(MRMgr.getElementRegion(elementType, UnknownVal(),
                                                  BaseR, getContext()));
+  }
   else
     return UnknownVal();
 }





More information about the cfe-commits mailing list