r177788 - [analyzer] Correct the stale comment.
Anna Zaks
ganna at apple.com
Fri Mar 22 17:39:17 PDT 2013
Author: zaks
Date: Fri Mar 22 19:39:17 2013
New Revision: 177788
URL: http://llvm.org/viewvc/llvm-project?rev=177788&view=rev
Log:
[analyzer] Correct the stale comment.
Modified:
cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp?rev=177788&r1=177787&r2=177788&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/RegionStore.cpp Fri Mar 22 19:39:17 2013
@@ -854,7 +854,8 @@ RegionStoreManager::removeSubRegionBindi
// If we're invalidating a region with a symbolic offset, we need to make sure
// we don't treat the base region as uninitialized anymore.
- // FIXME: This isn't very precise; see the example in the loop.
+ // FIXME: This isn't very precise; see the example in
+ // collectSubRegionBindings.
if (TopKey.hasSymbolicOffset()) {
const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();
Result = Result.add(BindingKey::Make(Concrete, BindingKey::Default),
@@ -1445,8 +1446,7 @@ SVal RegionStoreManager::getBindingForEl
}
}
}
- return getBindingForFieldOrElementCommon(B, R, R->getElementType(),
- superR);
+ return getBindingForFieldOrElementCommon(B, R, R->getElementType(),superR);
}
SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B,
More information about the cfe-commits
mailing list