Add FIXME comment.

llvm-svn: 82924
2009-09-27 20:50:04 +00:00 · 2009-09-27 20:50:04 +00:00 · 67b216a1d9
parent b391e87263
commit 67b216a1d9
1 changed files with 4 additions and 0 deletions
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@ -514,6 +514,10 @@ const GRState *RegionStoreManager::InvalidateRegion(const GRState *state,
      continue;
    }
    
+    // FIXME: Special case FieldRegion/ElementRegion for more
+    // efficient invalidation.  We don't need to conjure symbols for
+    // these regions in all cases.
+    
    // Get the old binding.  Is it a region?  If so, add it to the worklist.
    if (const SVal *OldV = B.lookup(R)) {
      if (const MemRegion *RV = OldV->getAsRegion())