Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / bd0487825751230a4396952b770349d2beac60b3 / test / Analysis
  1. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 16 years ago
  2. ae87ce7 Remove stale comment and fix RUN line. by Ted Kremenek · 16 years ago
  3. 8b31826 Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet. by Ted Kremenek · 16 years ago
  4. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  5. 655a63d Prep for new warning. by Mike Stump · 16 years ago
  6. a5495ea Prep for new warning. by Mike Stump · 16 years ago
  7. b8a087e Prep for new warning. by Mike Stump · 16 years ago
  8. 6fed58e Prep for new warning. by Mike Stump · 16 years ago
  9. 006105d Prep for new warning. by Mike Stump · 16 years ago
  10. 3a3c624 Prep for new warning. by Mike Stump · 16 years ago
  11. 08631d1 Prep for new warning. by Mike Stump · 16 years ago
  12. 6581c30 Prep for new warning. by Mike Stump · 16 years ago
  13. c237429 Prep for new warning. by Mike Stump · 16 years ago
  14. 28b2227 Prep for new warning. by Mike Stump · 16 years ago
  15. dff6ba0 Prep for new warning. by Mike Stump · 16 years ago
  16. 431e4d3 Prep for new warning. by Mike Stump · 16 years ago
  17. 339d52a Prep for new warning. by Mike Stump · 16 years ago
  18. 044ca3f Prep for new warning. by Mike Stump · 16 years ago
  19. 4393b3f Prep for new warning. by Mike Stump · 16 years ago
  20. 9599226 Prep for new warning. by Mike Stump · 16 years ago
  21. e448611 Prep for new warning. by Mike Stump · 16 years ago
  22. fd28a61 Prep for new warnings about control flow falling off the ends of by Mike Stump · 16 years ago
  23. 22cd658 Wire up CFG improvements for __builtin_choose_expr. by Mike Stump · 16 years ago
  24. 8f9893a Wire up CFG improvements for do { } while () when the condition is known. by Mike Stump · 16 years ago
  25. fefb9f7 Wire up for statement CFG improvements for conditionals that are known. by Mike Stump · 16 years ago
  26. 5f20363 Wire up CFG improvements for while when the condition is known. by Mike Stump · 16 years ago
  27. e5af3ce Add yet more analysis for CFGs involving conditionals that are actually constant. by Mike Stump · 16 years ago
  28. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 16 years ago
  29. ba02486 This test now passes with RegionStore. by Ted Kremenek · 16 years ago
  30. 293769a Add XFAILED test. by Ted Kremenek · 16 years ago
  31. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 16 years ago
  32. 386af0a Add test case for bug fix in r76262. by Ted Kremenek · 16 years ago
  33. cd7bf23 Make noreturn functions alter the CFG. by Mike Stump · 16 years ago
  34. 71ef5d6 Update test case to use '__has_feature' macro. by Ted Kremenek · 16 years ago
  35. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 16 years ago
  36. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 16 years ago
  37. 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 · 16 years ago
  38. 0c10699 Split out 'test2' into an i386 and x86_64 file, illustrating how the by Ted Kremenek · 16 years ago
  39. b4aa484 This test currently only passes for 32-bit archs. by Ted Kremenek · 16 years ago
  40. 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 · 16 years ago
  41. 79b4f7d Add basic checking for passing NULL to CFRetain/CFRelease, since those functions by Ted Kremenek · 16 years ago
  42. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 16 years ago
  43. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 16 years ago
  44. e07c579 remove duplicated test cast. by Zhongxing Xu · 16 years ago
  45. 7d7c439 This test passes with RegionStoreManager. by Ted Kremenek · 16 years ago
  46. 6f0b2ef This test now passes with RegionStoreManager. by Ted Kremenek · 16 years ago
  47. 88bd340 Fix silly mistake I made applying patch to fix test. by Eli Friedman · 16 years ago
  48. cad9fef Rename test file. by Ted Kremenek · 16 years ago
  49. 2f08991 RegionStoreManager also passes this test file. by Ted Kremenek · 16 years ago
  50. 988dc7e RegionStoreManager now correctly passes this test file. by Ted Kremenek · 16 years ago
  51. 31ef2b6 Test case in test/Analysis/xfail_regionstore_wine_crash.c no longer fails, so by Ted Kremenek · 16 years ago
  52. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 16 years ago
  53. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 16 years ago
  54. cb52d28 Misc fixes to fix tests on OpenBSD, per email to cfe-commits. Patches by Eli Friedman · 16 years ago
  55. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  56. 5997888 Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc' when 'T' is a pointer by Ted Kremenek · 16 years ago
  57. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 16 years ago
  58. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 16 years ago
  59. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  60. 6d4b76d Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference. by Ted Kremenek · 16 years ago
  61. c5771fd add test case for r74407. by Zhongxing Xu · 16 years ago
  62. ed47fc6 Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successor by Ted Kremenek · 16 years ago
  63. dc14726 Enhance RegionStore to lazily symbolicate fields and array elements for by Ted Kremenek · 16 years ago
  64. dac5bd4 Temporarily disable RegionStore for stack-addr-ps.c, as a new test case reveals by Ted Kremenek · 16 years ago
  65. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 16 years ago
  66. 7abe019 When retrieving element region, if its super region has binding, return by Zhongxing Xu · 16 years ago
  67. a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
  68. 49e2e99 Now this test case passes. by Zhongxing Xu · 16 years ago
  69. 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
  70. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
  71. 5414a5c Return UnknownVal for pointer arithmetic on struct fields. by Zhongxing Xu · 16 years ago
  72. 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 16 years ago
  73. 005f07b If the SymbolicRegion was cast to another type, use that type to create the by Zhongxing Xu · 16 years ago
  74. 59c03ff Modify test case comments. by Zhongxing Xu · 16 years ago
  75. 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 16 years ago
  76. fdd8b8e Add IOKit test cases for retain/release checker. by Ted Kremenek · 16 years ago
  77. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  78. 78d5b5e Do not invalidate unboundable regions in GRSimpleVals::EvalCall(). by Zhongxing Xu · 16 years ago
  79. 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  80. 547d495 Fix: by Ted Kremenek · 16 years ago
  81. b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 16 years ago
  82. 0b308ad Clean up builtin lists, add a few new builtins. (I re-sorted the by Eli Friedman · 16 years ago
  83. 56db7e8 Add more retain-checker tests for GC mode when using NSMakeCollectable. by Ted Kremenek · 16 years ago
  84. 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 16 years ago
  85. 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  86. 2acc399 Add comments to test case. by Zhongxing Xu · 16 years ago
  87. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  88. c219a15 Remove the -arch option from clang-cc: for all practical purposes, it's by Eli Friedman · 16 years ago
  89. ba67f6a Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we aren' at the top-most scope of autorelease pools. by Ted Kremenek · 16 years ago
  90. 759f252 PR3009: Get rid of bogus warning for scalar compound literals. by Eli Friedman · 16 years ago
  91. fae664a Fix: <rdar://problem/6893565> False positive: don't flag leaks for return types that cannot be determined to be CF types by Ted Kremenek · 16 years ago
  92. 7db1604 Fix crash when deriving the enclosing summary of a method whose first selector slot has a null IdentifierInfo*. This happens when analyzing Growl. by Ted Kremenek · 16 years ago
  93. 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 16 years ago
  94. 5dc53c9 Add some basic type checking for attributes ns_returns_retained and by Ted Kremenek · 16 years ago
  95. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 16 years ago
  96. 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 16 years ago
  97. 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 16 years ago
  98. 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 16 years ago
  99. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  100. 6738b73 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 16 years ago