[PATCH] D58121: [analyzer][WIP] Attempt to fix traversing bindings of non-base regions in ClusterAnalysis

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun updated this revision to Diff 186489.
xazax.hun marked an inline comment as done.
xazax.hun edited the summary of this revision.
xazax.hun added a comment.
Herald added a subscriber: jdoerfert.

- Fix test failures.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D58121/new/

https://reviews.llvm.org/D58121

Files:
  lib/StaticAnalyzer/Core/CallEvent.cpp
  lib/StaticAnalyzer/Core/RegionStore.cpp


Index: lib/StaticAnalyzer/Core/RegionStore.cpp
===================================================================
--- lib/StaticAnalyzer/Core/RegionStore.cpp
+++ lib/StaticAnalyzer/Core/RegionStore.cpp
@@ -654,7 +654,6 @@
 template <typename DERIVED>
 class ClusterAnalysis  {
 protected:
-  typedef llvm::DenseMap<const MemRegion *, const ClusterBindings *> ClusterMap;
   typedef const MemRegion * WorkListElement;
   typedef SmallVector<WorkListElement, 10> WorkList;
 
@@ -726,7 +725,8 @@
       WorkListElement E = WL.pop_back_val();
       const MemRegion *BaseR = E;
 
-      static_cast<DERIVED*>(this)->VisitCluster(BaseR, getCluster(BaseR));
+      static_cast<DERIVED *>(this)->VisitCluster(
+          BaseR, getCluster(BaseR->getBaseRegion()));
     }
   }
 
@@ -984,7 +984,7 @@
   bool doNotInvalidateSuperRegion = ITraits.hasTrait(
       R, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion);
   const MemRegion *BaseR = doNotInvalidateSuperRegion ? R : R->getBaseRegion();
-  return AddToWorkList(WorkListElement(BaseR), getCluster(BaseR));
+  return AddToWorkList(WorkListElement(BaseR), getCluster(R));
 }
 
 void InvalidateRegionsWorker::VisitBinding(SVal V) {
@@ -1020,13 +1020,23 @@
                        RegionAndSymbolInvalidationTraits::TK_PreserveContents);
 
   if (C) {
-    for (ClusterBindings::iterator I = C->begin(), E = C->end(); I != E; ++I)
-      VisitBinding(I.getData());
+    const MemRegion *realBase = baseR->getBaseRegion();
+    if (realBase == baseR) {
+      for (ClusterBindings::iterator I = C->begin(), E = C->end(); I != E; ++I)
+        VisitBinding(I.getData());
+    } else {
+      if (const SVal *Direct =
+              C->lookup(BindingKey::Make(baseR, BindingKey::Direct)))
+        VisitBinding(*Direct);
+      else if (const SVal *Default =
+                   C->lookup(BindingKey::Make(baseR, BindingKey::Default)))
+        VisitBinding(*Default);
+    }
 
     // Invalidate regions contents.
     if (!PreserveRegionsContents)
       B = B.remove(baseR);
-  }
+  } 
 
   if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) {
     if (const auto *RD = TO->getValueType()->getAsCXXRecordDecl()) {
Index: lib/StaticAnalyzer/Core/CallEvent.cpp
===================================================================
--- lib/StaticAnalyzer/Core/CallEvent.cpp
+++ lib/StaticAnalyzer/Core/CallEvent.cpp
@@ -314,7 +314,7 @@
           }
         }
       }
-      // todo: factor this out + handle the lower level const pointers.
+      // TODO: factor this out + handle the lower level const pointers.
       if (PreserveArgs.count(Idx))
         ETraits.setTrait(
             UseBaseRegion ? MR->getBaseRegion() : MR,


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D58121.186489.patch
Type: text/x-patch
Size: 2697 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190212/0a4f626c/attachment.bin>