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