Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 326a3277dec6642fddccd1c06a8d7ba6c3ae3e71 / test / Analysis
  1. bf98c99 Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 16 years ago
  2. 2612903 fix RUN line by Nuno Lopes · 16 years ago
  3. 282f753 enable test as it works by Nuno Lopes · 16 years ago
  4. 14553ab Fix a couple bugs: by Ted Kremenek · 16 years ago
  5. 6818928 retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. by Ted Kremenek · 16 years ago
  6. abf4397 retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. by Ted Kremenek · 16 years ago
  7. a7ecc37 Add autorelease test case. by Ted Kremenek · 16 years ago
  8. 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 16 years ago
  9. 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
  10. 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
  11. 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
  12. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  13. b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
  14. 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
  15. 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
  16. 872e25c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  17. 31c2c20 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  18. 16aaf4c This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  19. b78284a This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  20. 19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
  21. 2758482 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  22. f1456aa This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  23. 04b1de1 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  24. 62bca24 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  25. 9945781 This test case now passes with RegionStore. by Ted Kremenek · 16 years ago
  26. f9e9684 Test more array logic in outofbound.c by Ted Kremenek · 16 years ago
  27. 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
  28. f536ca3 These test cases now pass with RegionStore. by Ted Kremenek · 16 years ago
  29. 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
  30. bb6c8fd This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  31. b87f66c This test now passes using -analyzer-store-region. by Ted Kremenek · 16 years ago
  32. 0964a06 Get RegionStore to work with the retain/release checker and its test cases. by Ted Kremenek · 16 years ago
  33. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  34. d24d255 Make test independent of stdint.h by Daniel Dunbar · 16 years ago
  35. 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
  36. 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
  37. 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 16 years ago
  38. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  39. e3a46b0 This test now passes. by Ted Kremenek · 16 years ago
  40. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  41. 1261938 retain/release checker: by Ted Kremenek · 16 years ago
  42. 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
  43. 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 16 years ago
  44. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  45. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  46. 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
  47. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  48. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  49. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  50. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  51. cfec1db Temporarily XFAIL these tests. by Ted Kremenek · 16 years ago
  52. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  53. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  54. 8322d6a Add zero-sized VLA check test case. by Ted Kremenek · 16 years ago
  55. 26b58cd Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  56. 63de736 Incorporate MissingDeallc_SEL.m test case into MissingDealloc.m by Ted Kremenek · 16 years ago
  57. e0bb804 Add test case for <rdar://problem/6380411>. by Ted Kremenek · 16 years ago
  58. 567c8df Patch to diagnose a variety of misuse of property by Fariborz Jahanian · 16 years ago
  59. ae0ee03 instead of forcing blocks on by default, make them default to off, but let by Chris Lattner · 16 years ago
  60. a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
  61. 1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
  62. a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
  63. 4226846 Revise bogus comment I just committed. by Ted Kremenek · 16 years ago
  64. f117fac Add comment to test case for documentation. by Ted Kremenek · 16 years ago
  65. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  66. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  67. 34a8347 remove a test case that causes compiler warning. by Zhongxing Xu · 16 years ago
  68. 27cae9e Add test for initializing array with string literal. by Zhongxing Xu · 16 years ago
  69. a8a6ef8 add missing RUN lines by Nuno Lopes · 16 years ago
  70. 6669db9 Patch to allow over-riding of readonly property to by Fariborz Jahanian · 16 years ago
  71. 661fc39 Add documentation for test. by Zhongxing Xu · 16 years ago
  72. 33d7cbf Add no-warning to test case. by Zhongxing Xu · 16 years ago
  73. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 16 years ago
  74. 20f0178 Add test case for out-of-bound memory access checking. by Zhongxing Xu · 16 years ago
  75. 0947b4e Rewrite FindDiagnostics to be more strict about the formatting of the by Chris Lattner · 16 years ago
  76. ea06544 Improve test case. by Zhongxing Xu · 16 years ago
  77. 7c68666 Add checker test case: warn about returning an uninitialized value to the caller. by Ted Kremenek · 16 years ago
  78. 9f49055 Enable test file for 'region store' in addition to basic store. by Ted Kremenek · 16 years ago
  79. e8e4d8c Split region store specific test cases. by Zhongxing Xu · 16 years ago
  80. 89e8a07 Add test for path-sensitive uninit-val detection involving struct field. by Zhongxing Xu · 16 years ago
  81. 617ff31 Add test cast for struct array. by Zhongxing Xu · 16 years ago
  82. 87d3ef0 Fix <rdar://problem/6333904> [sema] message lookup on super is incorrect by Steve Naroff · 16 years ago
  83. 512cdb5 Re-enable array-struct test. by Zhongxing Xu · 16 years ago
  84. 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
  85. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  86. 26134a1 Add test for unsigned array index. by Zhongxing Xu · 16 years ago
  87. fb75b25 Add test for incomplete struct pointer. by Zhongxing Xu · 16 years ago
  88. b670133 Add a test case for alloca(). by Zhongxing Xu · 16 years ago
  89. 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
  90. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  91. 12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
  92. fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
  93. 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
  94. 7b2d21e Append the test runs with '&&'. by Argyrios Kyrtzidis · 16 years ago
  95. ff6ec39 Bring in 'alloca' for the Analysis/stack-addr-ps.c test case. by Argyrios Kyrtzidis · 16 years ago
  96. 2eff0f9 Add a test case for CFMakeCollectable. by Ted Kremenek · 16 years ago
  97. 04b90bc Add function side-effect test cast. by Zhongxing Xu · 16 years ago
  98. c979a9b Add 'alloca' test case for return-of-stack-address checker. by Ted Kremenek · 16 years ago
  99. df2aa1e Add test code for array initialization. by Zhongxing Xu · 16 years ago
  100. beb62c5 Added missing 'expected-warning' by Ted Kremenek · 16 years ago