summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/Store.cpp
Commit message (Expand)AuthorAgeFilesLines
* fix comment.Zhongxing Xu2009-07-071-2/+2
* NewCastRegion: Handle casts *from* pointers to incomplete structs to other ty...Ted Kremenek2009-07-061-9/+19
* Fix 80 col violation.Ted Kremenek2009-07-061-4/+4
* Restructure NewCastRegion to use a switch statement that dispatches off theTed Kremenek2009-07-061-51/+62
* Fix 80 col violation.Ted Kremenek2009-07-061-2/+2
* NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids.Ted Kremenek2009-07-061-2/+2
* Implement FIXME.Ted Kremenek2009-07-061-1/+1
* StoreManager::NewCastRegion:Ted Kremenek2009-07-061-10/+22
* NewCastRegion:Ted Kremenek2009-07-061-12/+10
* Fix loop so that 'continue' statements actually cause the loop to iterate.Ted Kremenek2009-07-061-2/+1
* Move the new 'CastRegion' implementation from RegionStoreManager to StoreManagerTed Kremenek2009-07-061-2/+80
* 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