Fix loop so that 'continue' statements actually cause the loop to iterate.

llvm-svn: 74852
This commit is contained in:
Ted Kremenek 2009-07-06 20:53:52 +00:00
parent 9e010e11c3
commit 3ad4b3bca3
1 changed files with 1 additions and 2 deletions

View File

@ -122,7 +122,7 @@ StoreManager::OldCastRegion(const GRState* state, const MemRegion* R,
QualType Pointee = PTy->getPointeeType();
if (Pointee->isVoidType()) {
do {
while (true) {
if (const TypedViewRegion *TR = dyn_cast<TypedViewRegion>(R)) {
// Casts to void* removes TypedViewRegion. This happens when:
//
@ -152,7 +152,6 @@ StoreManager::OldCastRegion(const GRState* state, const MemRegion* R,
else
break;
}
while (0);
return CastResult(state, R);
}