Combine two conditional branches into one. No functionality change.

llvm-svn: 74552
This commit is contained in:
Ted Kremenek 2009-06-30 20:24:11 +00:00
parent 3423e72b55
commit 8fd187986d
1 changed files with 4 additions and 8 deletions

View File

@ -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();
}