aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/Store.cpp
AgeCommit message (Expand)Author
2009-06-30Update old CastRegion logic to not assume that ElementRegion's super region is aTed Kremenek
2009-06-16Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-06Fix analyzer regression reported in PR 4164:Ted Kremenek
2009-05-04Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.Ted Kremenek
2009-05-04Zhongxing already implemented this FIXME.Ted Kremenek
2009-05-04array indexes are unsigned integers of the same width as pointer.Zhongxing Xu
2009-05-04BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek
2009-05-04Handle 'long x = 0; char *y = (char *) x;' by layering anTed Kremenek
2009-05-01StoreManager::CastRegion:Ted Kremenek
2009-04-21This patch is largely due to Zhongxing Xu. I've simply applied it because ofTed Kremenek
2009-04-21Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek