Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 5ba7d2156f5b3f7b078b33fa9cd264762bc6779b / lib / Analysis / Store.cpp
  1. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  2. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  3. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  4. 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
  5. bf0fe6c Add missing case in switch statement. by Ted Kremenek · 15 years ago
  6. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  7. 27e05ed Only fetch the ASTContext object within the assertion. by Ted Kremenek · 15 years ago
  8. 6049762 Silence -Asserts warning. by Daniel Dunbar · 15 years ago
  9. a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
  10. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  11. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  12. 09270cc Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion. by Zhongxing Xu · 15 years ago
  13. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  14. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  15. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  16. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
  17. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  18. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  19. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  20. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
  21. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 15 years ago
  22. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 15 years ago
  23. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  24. 5cad1f7 Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents. by Ted Kremenek · 15 years ago
  25. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  26. f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
  27. 6ce85ee rewrite the logic to make it follow the comments more closely. by Zhongxing Xu · 15 years ago
  28. 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 · 15 years ago
  29. aa8bc7e Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. by Ted Kremenek · 15 years ago
  30. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 15 years ago
  31. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 15 years ago
  32. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 15 years ago
  33. db4f531 fix comment. by Zhongxing Xu · 15 years ago
  34. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 15 years ago
  35. db5f266 Fix 80 col violation. by Ted Kremenek · 15 years ago
  36. fc8f57c Restructure NewCastRegion to use a switch statement that dispatches off the by Ted Kremenek · 15 years ago
  37. 07cdec1 Fix 80 col violation. by Ted Kremenek · 15 years ago
  38. b9a4425 NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. by Ted Kremenek · 15 years ago
  39. 1f612cb Implement FIXME. by Ted Kremenek · 15 years ago
  40. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 15 years ago
  41. 145918c NewCastRegion: by Ted Kremenek · 15 years ago
  42. ca4e1b7 Fix loop so that 'continue' statements actually cause the loop to iterate. by Ted Kremenek · 15 years ago
  43. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 15 years ago
  44. 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 15 years ago
  45. 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 15 years ago
  46. 19cfa2b Update old CastRegion logic to not assume that ElementRegion's super region is a by Ted Kremenek · 15 years ago
  47. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 15 years ago
  48. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  49. 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 16 years ago
  50. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 16 years ago
  51. 124838b Zhongxing already implemented this FIXME. by Ted Kremenek · 16 years ago
  52. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 16 years ago
  53. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 16 years ago
  54. fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 16 years ago
  55. a8607d1 StoreManager::CastRegion: by Ted Kremenek · 16 years ago
  56. 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 16 years ago
  57. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago