From 9c2a3dbf8a977eef20152f73bce7ea40031c18b2 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Tue, 13 Jan 2009 03:07:41 +0000 Subject: [PATCH] add a fixme. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62142 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/RegionStore.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 2d71117b28..20cf38f0bb 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -969,6 +969,8 @@ const GRState* RegionStoreManager::KillStruct(const GRState* St, if (const SubRegion* sr = dyn_cast(r)) if (sr->isSubRegionOf(R)) store = Remove(store, Loc::MakeVal(sr)); + // FIXME: Maybe we should also remove the bindings for the "views" of the + // subregions. } return StateMgr.MakeStateWithStore(St, store); -- 2.50.1