Fix early-return logic in scanReachableSymbols() to match the rest of the recursive logic in the methods of ScanReachableSymbols.

llvm-svn: 90245
This commit is contained in:
Ted Kremenek 2009-12-01 17:50:25 +00:00
parent 4886c8154d
commit d3a241a9c6
1 changed files with 6 additions and 6 deletions

View File

@ -312,10 +312,10 @@ bool GRState::scanReachableSymbols(const SVal *I, const SVal *E,
SymbolVisitor &visitor) const {
ScanReachableSymbols S(this, visitor);
for ( ; I != E; ++I) {
if (S.scan(*I))
return true;
if (!S.scan(*I))
return false;
}
return false;
return true;
}
bool GRState::scanReachableSymbols(const MemRegion * const *I,
@ -323,10 +323,10 @@ bool GRState::scanReachableSymbols(const MemRegion * const *I,
SymbolVisitor &visitor) const {
ScanReachableSymbols S(this, visitor);
for ( ; I != E; ++I) {
if (S.scan(*I))
return true;
if (!S.scan(*I))
return false;
}
return false;
return true;
}
//===----------------------------------------------------------------------===//