1. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  2. cad9fef Rename test file. by Ted Kremenek · 16 years ago[Renamed from test/Analysis/no-outofbounds-basicstore.c]
  3. 2f08991 RegionStoreManager also passes this test file. by Ted Kremenek · 16 years ago
  4. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  5. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  6. 0b9ad89 Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that by Ted Kremenek · 16 years ago[Renamed (66%) from test/Analysis/no-outofbounds.c]
  7. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 16 years ago
  8. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 16 years ago