Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 64cfdb7da3cb744642fe8a99ad5c851ad3c930b2 / test / Analysis
  1. a7ecc37 Add autorelease test case. by Ted Kremenek · 16 years ago
  2. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 16 years ago
  3. d76d47e Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that. by Ted Kremenek · 16 years ago
  4. 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 16 years ago
  5. 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 16 years ago
  6. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  7. b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
  8. 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
  9. 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
  10. 872e25c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  11. 31c2c20 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  12. 16aaf4c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  13. b78284a This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  14. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  15. 2758482 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  16. f1456aa This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  17. 04b1de1 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  18. 62bca24 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  19. 9945781 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  20. f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 16 years ago
  21. 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
  22. f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 16 years ago
  23. 2dabd42 The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). by Ted Kremenek · 16 years ago
  24. bb6c8fd This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  25. b87f66c This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  26. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  27. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  28. d24d255 Make test independent of stdint.h by Daniel Dunbar · 16 years ago
  29. 7f5fce7 Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression. by Ted Kremenek · 16 years ago
  30. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  31. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  32. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  33. e3a46b0 This test now passes. by Ted Kremenek · 16 years ago
  34. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  35. 1261938 retain/release checker: by Ted Kremenek · 16 years ago
  36. 3b58786 Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings). by Ted Kremenek · 16 years ago
  37. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  38. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  39. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  40. 784606f Added test case for suppressing leak warnings for reference-counted objects passed by-reference to an unknown function. by Ted Kremenek · 16 years ago
  41. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  42. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  43. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  44. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  45. cfec1db Temporarily XFAIL these tests. by Ted Kremenek · 16 years ago
  46. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  47. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  48. 8322d6a Add zero-sized VLA check test case. by Ted Kremenek · 16 years ago
  49. 26b58cd Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  50. 63de736 Incorporate MissingDeallc_SEL.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  51. e0bb804 Add test case for <rdar://problem/6380411>. by Ted Kremenek · 16 years ago
  52. 567c8df Patch to diagnose a variety of misuse of property by Fariborz Jahanian · 16 years ago
  53. ae0ee03 instead of forcing blocks on by default, make them default to off, but let by Chris Lattner · 16 years ago
  54. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  55. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  56. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  57. 4226846 Revise bogus comment I just committed. by Ted Kremenek · 16 years ago
  58. f117fac Add comment to test case for documentation. by Ted Kremenek · 16 years ago
  59. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  60. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  61. 34a8347 remove a test case that causes compiler warning. by Zhongxing Xu · 16 years ago
  62. 27cae9e Add test for initializing array with string literal. by Zhongxing Xu · 16 years ago
  63. a8a6ef8 add missing RUN lines by Nuno Lopes · 16 years ago
  64. 6669db9 Patch to allow over-riding of readonly property to by Fariborz Jahanian · 16 years ago
  65. 661fc39 Add documentation for test. by Zhongxing Xu · 16 years ago
  66. 33d7cbf Add no-warning to test case. by Zhongxing Xu · 16 years ago
  67. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 16 years ago
  68. 20f0178 Add test case for out-of-bound memory access checking. by Zhongxing Xu · 16 years ago
  69. 0947b4e Rewrite FindDiagnostics to be more strict about the formatting of the by Chris Lattner · 16 years ago
  70. ea06544 Improve test case. by Zhongxing Xu · 16 years ago
  71. 7c68666 Add checker test case: warn about returning an uninitialized value to the caller. by Ted Kremenek · 16 years ago
  72. 9f49055 Enable test file for 'region store' in addition to basic store. by Ted Kremenek · 16 years ago
  73. e8e4d8c Split region store specific test cases. by Zhongxing Xu · 16 years ago
  74. 89e8a07 Add test for path-sensitive uninit-val detection involving struct field. by Zhongxing Xu · 16 years ago
  75. 617ff31 Add test cast for struct array. by Zhongxing Xu · 16 years ago
  76. 87d3ef0 Fix <rdar://problem/6333904> [sema] message lookup on super is incorrect by Steve Naroff · 16 years ago
  77. 512cdb5 Re-enable array-struct test. by Zhongxing Xu · 16 years ago
  78. 973e72a Add a test case for compound assignments that lazily symbolicate the value of the LHS when the computation type is an integer of more bits. by Ted Kremenek · 16 years ago
  79. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  80. 26134a1 Add test for unsigned array index. by Zhongxing Xu · 16 years ago
  81. fb75b25 Add test for incomplete struct pointer. by Zhongxing Xu · 16 years ago
  82. b670133 Add a test case for alloca(). by Zhongxing Xu · 16 years ago
  83. 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 16 years ago
  84. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  85. 12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
  86. fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
  87. 31483b4 include alloca.h instead of malloc.h. If this doesn't work for everyone we can just declare alloca directly in the file. by Anders Carlsson · 16 years ago
  88. 7b2d21e Append the test runs with '&&'. by Argyrios Kyrtzidis · 16 years ago
  89. ff6ec39 Bring in 'alloca' for the Analysis/stack-addr-ps.c test case. by Argyrios Kyrtzidis · 16 years ago
  90. 2eff0f9 Add a test case for CFMakeCollectable. by Ted Kremenek · 16 years ago
  91. 04b90bc Add function side-effect test cast. by Zhongxing Xu · 16 years ago
  92. c979a9b Add 'alloca' test case for return-of-stack-address checker. by Ted Kremenek · 16 years ago
  93. df2aa1e Add test code for array initialization. by Zhongxing Xu · 16 years ago
  94. beb62c5 Added missing 'expected-warning' by Ted Kremenek · 16 years ago
  95. fab6f22 Enhance compound literal test case. by Ted Kremenek · 16 years ago
  96. 64cc62d Add missing "expected warning". by Ted Kremenek · 16 years ago
  97. ccb55e3 Add method that will be invoked using the dot-syntax just to test that the missing -dealloc checker handles it. by Ted Kremenek · 16 years ago
  98. d4a0798 Improve compound literal test case. by Ted Kremenek · 16 years ago
  99. 997c155 Patch by Nikita Zhuk: test case for fix for false positive reported in PR2978. by Ted Kremenek · 16 years ago
  100. c532f63 Add 'expected-warning' for braces around scalar initializer by Ted Kremenek · 16 years ago