summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/Store.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Further cleanup of region invalidation code. No functionality change.Zhongxing Xu2009-07-061-7/+18
* Start to gradually move region invalidation code into store manager.Zhongxing Xu2009-07-061-0/+57
* Update old CastRegion logic to not assume that ElementRegion's super region is aTed Kremenek2009-06-301-3/+3
* Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu2009-06-161-1/+2
* rename: MemRegion:Zhongxing Xu2009-05-091-1/+1
* Fix analyzer regression reported in PR 4164:Ted Kremenek2009-05-061-12/+31
* Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.Ted Kremenek2009-05-041-1/+1
* Zhongxing already implemented this FIXME.Ted Kremenek2009-05-041-2/+0
* array indexes are unsigned integers of the same width as pointer.Zhongxing Xu2009-05-041-1/+1
* BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek2009-05-041-1/+6
* Handle 'long x = 0; char *y = (char *) x;' by layering anTed Kremenek2009-05-041-5/+20
* StoreManager::CastRegion:Ted Kremenek2009-05-011-4/+10
* This patch is largely due to Zhongxing Xu. I've simply applied it because ofTed Kremenek2009-04-211-11/+31
* Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek2009-04-211-0/+47
OpenPOWER on IntegriCloud