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