Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 9af46f59242cfaec74fa491a66724970478263eb / lib / Analysis / RegionStore.cpp
  1. 9af46f5 RegionStoreManager: by Ted Kremenek · 16 years ago
  2. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  3. f0ec39a Stop tracking non-compound value for struct. It may be caused by imprecise cast by Zhongxing Xu · 16 years ago
  4. 53454dc use getAsPointerType() method. by Zhongxing Xu · 16 years ago
  5. 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  6. b7507d1 Use more robust getAsRecordType() method. by Zhongxing Xu · 16 years ago
  7. 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  8. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  9. 4e60900 Silence a Release-Asserts warning. by Daniel Dunbar · 16 years ago
  10. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  11. c87d5fb When retrieving an ElementRegion, if its super region is a StringRegion, by Zhongxing Xu · 16 years ago
  12. 2ee5214 Fix a bug that leads to infinite loop. Set the correct element type to by Zhongxing Xu · 16 years ago
  13. 5bf3287 When casting VarRegion, if the var type is aggregate type and the cast-to by Zhongxing Xu · 16 years ago
  14. 75eb5ba Remove the rest TypedViewRegion processing code. There should be no by Zhongxing Xu · 16 years ago
  15. c4761f5 When evaluating pointer arithmetic, if the base location is a symbolic region, by Zhongxing Xu · 16 years ago
  16. 8a9bf4a Do not create a TypedViewRegion when the base struct region is a symbolic by Zhongxing Xu · 16 years ago
  17. ce76078 Do not layer a TypedViewRegion when casting symbolic or alloca regions. by Zhongxing Xu · 16 years ago
  18. db3a098 Remove the case for casting to compatible type in by Zhongxing Xu · 16 years ago
  19. d9b6ad6 Rename: by Zhongxing Xu · 16 years ago
  20. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  21. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  22. a3eda83 Fix PR4182. by Zhongxing Xu · 16 years ago
  23. 2572eda Region store: when casting VarRegions, if the cast-to pointee type is by Zhongxing Xu · 16 years ago
  24. fb1e331 Replace the heuristic isSmallerThan with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  25. e6536af Replace getTypeWidth() with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  26. a15f7ac Revert r71079. by Zhongxing Xu · 16 years ago
  27. 41fd018 Improve RegionStoreManager::getSizeInElements() by Zhongxing Xu · 16 years ago
  28. 2079494 Add a GDM for recording the cast type of regions. by Zhongxing Xu · 16 years ago
  29. ccb1616 Implement a heuristic type size comparison method for now. by Zhongxing Xu · 16 years ago
  30. 02f7ed7 remove commented code. by Zhongxing Xu · 16 years ago
  31. 8898059 Make StoreManager::CastRegion() virtual and implement a new CastRegion() for by Zhongxing Xu · 16 years ago
  32. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  33. 3e001f3 region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 16 years ago
  34. 5c86b19 SymbolicRegions may also be live roots. by Zhongxing Xu · 16 years ago
  35. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 16 years ago
  36. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  37. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  38. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  39. 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 16 years ago
  40. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  41. e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
  42. 782582d Revert 68028. by Ted Kremenek · 16 years ago
  43. a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
  44. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  45. 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
  46. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  47. c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
  48. 1060a3c Updated comment. by Ted Kremenek · 16 years ago
  49. 610e81d Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the target by Ted Kremenek · 16 years ago
  50. b13ecdb Use getAsRecordType() to get around sugar types. by Zhongxing Xu · 16 years ago
  51. c45a825 Do not stipulate the record type is a definition in BindStruct(). by Zhongxing Xu · 16 years ago
  52. 2b1dc17 Fix crash when LHS of pointer arithmetic is not ElementRegion. by Zhongxing Xu · 16 years ago
  53. ac6ff48 RegionStore::getLValueElement: Handle the case where the signedness of the by Ted Kremenek · 16 years ago
  54. de7ec63 RegionStore::getElementLValue(): Handle the case where the base is a null pointer. by Ted Kremenek · 16 years ago
  55. ff8d204 Only track integer and pointer values. by Zhongxing Xu · 16 years ago
  56. 1038f9f Now we do not retrieve untyped regions. by Zhongxing Xu · 16 years ago
  57. bd4f745 Fix a serious bug in RegionStore: we got the new state with new store from by Zhongxing Xu · 16 years ago
  58. 3de2d3c Add initial support for tracking ivars, with special handling for ivars of 'self'. by Ted Kremenek · 16 years ago
  59. cec3525 RegionStore: Handle implicit parameters. by Ted Kremenek · 16 years ago
  60. 02c4d2d RegionStore::RemoveDeadBindings needs to check all the symbols of the super region of a scanned region as well. by Ted Kremenek · 16 years ago
  61. 14453bf Don't use std::auto_ptr with getSubRegionMap(). by Ted Kremenek · 16 years ago
  62. 5dc2746 Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions. by Ted Kremenek · 16 years ago
  63. 59e8f11 Add StoreManager::getSubRegionMap(). This method returns an opaque mapping for clients of StoreManagers from MemRegions to their subregions. by Ted Kremenek · 16 years ago
  64. 588fdfa remove an implemented fixme. by Zhongxing Xu · 16 years ago
  65. 94aa6c1 Initial support for pointer arithmetic. Only support concrete indexes and by Zhongxing Xu · 16 years ago
  66. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
  67. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  68. 779747c Add an example in comments. by Zhongxing Xu · 16 years ago
  69. d8895f6 only track integer and pointer values for now. by Zhongxing Xu · 16 years ago
  70. 5ea2ffc Convert the offset to signed before making an ElementRegion with it. It seems by Zhongxing Xu · 16 years ago
  71. 02ebefb SymbolicRegions really have unknown sizes. by Zhongxing Xu · 16 years ago
  72. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
  73. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
  74. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  75. 1be3da5 Correct size assumption; fixes a crash on amd64. by Sebastian Redl · 16 years ago
  76. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  77. cbb0b47 Now this comment should be resolved. See the comments for the KillSet. by Zhongxing Xu · 16 years ago
  78. 2e84257 For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. by Ted Kremenek · 16 years ago
  79. 6fd8f91 Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. by Ted Kremenek · 16 years ago
  80. a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 16 years ago
  81. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
  82. c979e80 Combine two branches into one. No functionality change. by Ted Kremenek · 16 years ago
  83. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  84. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  85. 9c2a3db add a fixme. by Zhongxing Xu · 16 years ago
  86. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  87. bbee1a7 Invert condition on branch (was causing RegionStore::ArrayToPointer to return 'unknown' on most cases. by Ted Kremenek · 16 years ago
  88. d6cfbe4 Refactor MemRegionManager instance variable into parent class. No functionality change. by Ted Kremenek · 16 years ago
  89. a21362d Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported regions. This silences a warning when compiling Release-Asserts builds. by Ted Kremenek · 16 years ago
  90. 869fb4a Add a bunch of comments and FIXMEs. by Ted Kremenek · 16 years ago
  91. 1302016 set region default value if there are not enough init values for array and struct. by Zhongxing Xu · 16 years ago
  92. 50dc1b3 Comment and fixup GDM entries for RegionStore to use unique 'tag classes' to identify GDM entries. by Ted Kremenek · 16 years ago
  93. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  94. 9c9ca08 Implement RegionStoreManager::Remove(). by Zhongxing Xu · 16 years ago
  95. 2ef9372 I think we should getRValueType here. The lvaluetype of an array region is 'pointer to array'. by Zhongxing Xu · 16 years ago
  96. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  97. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  98. e267ff3 Address some comments on the name lookup/DeclContext patch from Chris by Douglas Gregor · 16 years ago
  99. 44b4321 Unifies the name-lookup mechanisms used in various parts of the AST by Douglas Gregor · 16 years ago
  100. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago