]> granicus.if.org Git - clang/commitdiff
[analyzer] Correct the stale comment.
authorAnna Zaks <ganna@apple.com>
Sat, 23 Mar 2013 00:39:17 +0000 (00:39 +0000)
committerAnna Zaks <ganna@apple.com>
Sat, 23 Mar 2013 00:39:17 +0000 (00:39 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177788 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/RegionStore.cpp

index 31a4759be21af6de03099084452e546a7e43eae7..58d94304ba7eda2a32e5c7a5a6dcbad524e0a9b7 100644 (file)
@@ -854,7 +854,8 @@ RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B,
 
   // 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::getBindingForElement(RegionBindingsConstRef B,
       }
     }
   }
-  return getBindingForFieldOrElementCommon(B, R, R->getElementType(),
-                                           superR);
+  return getBindingForFieldOrElementCommon(B, R, R->getElementType(),superR);
 }
 
 SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B,