Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 675bef616e51b502819fd4586ab297b58e04280f / lib / Analysis / Store.cpp
  1. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
  2. 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 16 years ago
  3. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
  4. f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 16 years ago
  5. 6ce85ee rewrite the logic to make it follow the comments more closely. by Zhongxing Xu · 16 years ago
  6. a6275a5 More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. by Ted Kremenek · 16 years ago
  7. aa8bc7e Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. by Ted Kremenek · 16 years ago
  8. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 16 years ago
  9. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 16 years ago
  10. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 16 years ago
  11. db4f531 fix comment. by Zhongxing Xu · 16 years ago
  12. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 16 years ago
  13. db5f266 Fix 80 col violation. by Ted Kremenek · 16 years ago
  14. fc8f57c Restructure NewCastRegion to use a switch statement that dispatches off the by Ted Kremenek · 16 years ago
  15. 07cdec1 Fix 80 col violation. by Ted Kremenek · 16 years ago
  16. b9a4425 NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. by Ted Kremenek · 16 years ago
  17. 1f612cb Implement FIXME. by Ted Kremenek · 16 years ago
  18. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 16 years ago
  19. 145918c NewCastRegion: by Ted Kremenek · 16 years ago
  20. ca4e1b7 Fix loop so that 'continue' statements actually cause the loop to iterate. by Ted Kremenek · 16 years ago
  21. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 16 years ago
  22. 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 16 years ago
  23. 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 16 years ago
  24. 19cfa2b Update old CastRegion logic to not assume that ElementRegion's super region is a by Ted Kremenek · 16 years ago
  25. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  26. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  27. 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 16 years ago
  28. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 16 years ago
  29. 124838b Zhongxing already implemented this FIXME. by Ted Kremenek · 16 years ago
  30. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 16 years ago
  31. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 16 years ago
  32. fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 16 years ago
  33. a8607d1 StoreManager::CastRegion: by Ted Kremenek · 16 years ago
  34. 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 16 years ago
  35. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago