[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