Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a92bd303a6aed5cf12de5f76938c112b00cc06e6 / lib / Analysis / RegionStore.cpp
  1. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  2. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  3. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  4. a7a8dfd Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(): only the VarRegions for variables marked with the '__block' annotation should have their lifetime extended by a BlockDataRegion. by Ted Kremenek · 15 years ago
  5. 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
  6. 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
  7. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  8. a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
  9. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  10. a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
  11. 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
  12. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  13. 027e266 Fix crash when using --analyzer-store=region when handling initializers with nested arrays/structs whose values are not explicitly specified. Fixes <rdar://problem/7403269>. by Ted Kremenek · 15 years ago
  14. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 15 years ago
  15. e884ff8 Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. by Zhongxing Xu · 15 years ago
  16. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  17. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
  18. 89c49f0 Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of by Douglas Gregor · 15 years ago
  19. f6f56d4 Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well. This paves the way for adding "checker" visitation in EvalBind(). by Ted Kremenek · 15 years ago
  20. 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
  21. ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
  22. 6800b33 use DenseSet instead of SmallSet. by Zhongxing Xu · 15 years ago
  23. 781115c Minor cleanup: move typedef out of anonymous namespace (which now contains nothing) and into RemoveDeadBindings. No functionality change. by Ted Kremenek · 15 years ago
  24. f77869f Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify by Zhongxing Xu · 15 years ago
  25. 8801beb Actually all regions whose super region is not MemSpaceRegion are of these 3 by Zhongxing Xu · 15 years ago
  26. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  27. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  28. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
  29. 4e3c1f7 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 15 years ago
  30. 13d5017 Introduces a new BindingVal which combines direct and by Zhongxing Xu · 15 years ago
  31. 4f8c7e4 Make the behavior explicit by not using the method call. by Zhongxing Xu · 15 years ago
  32. bd48370 Remove unused code. by Zhongxing Xu · 15 years ago
  33. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  34. bf1cc05 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 15 years ago
  35. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  36. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  37. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  38. 389c44c Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 15 years ago
  39. 13c2000 Specially handle fields, elements, and ivars in by Ted Kremenek · 15 years ago
  40. bada1aa Add FIXME comment. by Ted Kremenek · 15 years ago
  41. 8780679 Fix: by Ted Kremenek · 15 years ago
  42. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  43. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  44. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  45. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
  46. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  47. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  48. 0667db3 Fix buffer overflow reported in PR 4903. by Ted Kremenek · 15 years ago
  49. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  50. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  51. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  52. d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
  53. 0b14331 Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from by Zhongxing Xu · 15 years ago
  54. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
  55. 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
  56. d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
  57. 1aeb247 I have a dream, one day, we won't need to do this. by Mike Stump · 15 years ago
  58. 451ac09 Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of LazyCompoundSVals. by Ted Kremenek · 15 years ago
  59. 3e01c1d Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They are no longer needed. by Ted Kremenek · 15 years ago
  60. 32d96b0 Completely remove the code using region cast. by Zhongxing Xu · 15 years ago
  61. a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
  62. d8c0192 Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super by Ted Kremenek · 15 years ago
  63. 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
  64. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  65. df74e25 Remove RegionViews and RegionCasts. These are no longer used. by Ted Kremenek · 15 years ago
  66. 093569c RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings as well. by Ted Kremenek · 15 years ago
  67. 2f26bc3 Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulate the entire GRState, not just the Store. by Ted Kremenek · 15 years ago
  68. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  69. 6217b80 Change uses of: by Ted Kremenek · 15 years ago
  70. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  71. 1004a9f Make StoreManager::InvalidateRegion() virtual, move the current implementation by Ted Kremenek · 15 years ago
  72. 356e9d6 Temporarily disable most use of region casts in RegionStoreManager, by Ted Kremenek · 15 years ago
  73. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  74. 9031dd7 RegionStore: by Ted Kremenek · 15 years ago
  75. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
  76. 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
  77. 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
  78. 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
  79. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  80. 75185b5 Use utility method to create 0-index into ElementRegion. by Ted Kremenek · 15 years ago
  81. 5bd2fe3 Enhance RegionStore's reasoning about Objective-C ivars. More testing to follow. by Ted Kremenek · 15 years ago
  82. d79bf55 Use utility method. by Zhongxing Xu · 15 years ago
  83. 41fb0df Relax assertion. by Ted Kremenek · 15 years ago
  84. 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
  85. 60fbe8f Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this by silently wrapping the region with an ElementRegion. This fixes the failures in misc-ps-region-store.m. by Ted Kremenek · 15 years ago
  86. 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 15 years ago
  87. 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 15 years ago
  88. 8800ad4 Change pretty-printing API for SymExprs and MemRegions to use a naming convention and style similar to other elements in Clang. by Ted Kremenek · 15 years ago
  89. 3bccf08 Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over different by Ted Kremenek · 15 years ago
  90. 7ecbfbc Restructure RegionStoreManager::getSizeInElements() to use a switch statement by Ted Kremenek · 15 years ago
  91. 48ce7de Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager by Ted Kremenek · 15 years ago
  92. 8834af3 remove utility methods that are not very useful. by Zhongxing Xu · 15 years ago
  93. ed2c291 Remove unused method. by Ted Kremenek · 15 years ago
  94. bb2b433 Replace guarded calls in RegionStoreManager to by Ted Kremenek · 15 years ago
  95. dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 15 years ago
  96. 1508636 StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of by Ted Kremenek · 15 years ago
  97. 8b2ba31 Minor code cleanup: pull variables into scope of 'if' statement, limiting their by Ted Kremenek · 15 years ago
  98. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 15 years ago
  99. 5ff8e8c add fixme. by Zhongxing Xu · 15 years ago
  100. 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 15 years ago