1. db5f266 Fix 80 col violation. by Ted Kremenek · 16 years ago
  2. fc8f57c Restructure NewCastRegion to use a switch statement that dispatches off the by Ted Kremenek · 16 years ago
  3. 07cdec1 Fix 80 col violation. by Ted Kremenek · 16 years ago
  4. b9a4425 NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. by Ted Kremenek · 16 years ago
  5. 1f612cb Implement FIXME. by Ted Kremenek · 16 years ago
  6. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 16 years ago
  7. 145918c NewCastRegion: by Ted Kremenek · 16 years ago
  8. ca4e1b7 Fix loop so that 'continue' statements actually cause the loop to iterate. by Ted Kremenek · 16 years ago
  9. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 16 years ago
  10. 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 16 years ago
  11. 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 16 years ago
  12. 19cfa2b Update old CastRegion logic to not assume that ElementRegion's super region is a by Ted Kremenek · 16 years ago
  13. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  14. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  15. 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 16 years ago
  16. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 16 years ago
  17. 124838b Zhongxing already implemented this FIXME. by Ted Kremenek · 16 years ago
  18. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 16 years ago
  19. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 16 years ago
  20. fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 16 years ago
  21. a8607d1 StoreManager::CastRegion: by Ted Kremenek · 16 years ago
  22. 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 16 years ago
  23. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago