Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 657406dd407a3f17c594205d65fec049cf1304dd / test / Analysis / misc-ps.m
  1. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 16 years ago
  2. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 16 years ago
  3. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 16 years ago
  4. c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 16 years ago
  5. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 16 years ago
  6. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 16 years ago
  7. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 16 years ago
  8. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 16 years ago
  9. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 16 years ago
  10. ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 16 years ago
  11. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 16 years ago
  12. 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 16 years ago
  13. 8eec7c0 Adjust test case. by Ted Kremenek · 16 years ago
  14. 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 16 years ago
  15. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 16 years ago
  16. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 16 years ago
  17. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 16 years ago
  18. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
  19. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 16 years ago
  20. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 16 years ago
  21. 006105d Prep for new warning. by Mike Stump · 16 years ago
  22. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 16 years ago
  23. 293769a Add XFAILED test. by Ted Kremenek · 16 years ago
  24. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 16 years ago
  25. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 16 years ago
  26. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 16 years ago
  27. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 16 years ago
  28. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 16 years ago
  29. 31ef2b6 Test case in test/Analysis/xfail_regionstore_wine_crash.c no longer fails, so by Ted Kremenek · 16 years ago
  30. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 16 years ago
  31. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 16 years ago
  32. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
  33. 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
  34. 169077d NewCastRegion: Handle casts *from* pointers to incomplete structs to other types. by Ted Kremenek · 16 years ago
  35. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 16 years ago
  36. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  37. ed47fc6 Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successor by Ted Kremenek · 16 years ago
  38. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 16 years ago
  39. eaedfea analyzer: by Ted Kremenek · 16 years ago
  40. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  41. 956a37d Add another test case found due to an analyzer regression. by Ted Kremenek · 16 years ago
  42. b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 16 years ago
  43. af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 16 years ago
  44. 3a0fd13 Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests by Ted Kremenek · 16 years ago
  45. 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
  46. b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
  47. b8adaf9 Update expected warning in test case. by Ted Kremenek · 16 years ago
  48. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  49. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  50. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  51. 344d4c8 Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would by Ted Kremenek · 16 years ago
  52. fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
  53. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  54. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  55. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  56. 3092dd6 Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. by Ted Kremenek · 16 years ago
  57. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  58. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 17 years ago
  59. 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 · 17 years ago
  60. 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 · 17 years ago
  61. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
  62. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 17 years ago
  63. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 17 years ago
  64. 8322d6a Add zero-sized VLA check test case. by Ted Kremenek · 17 years ago
  65. ae0ee03 instead of forcing blocks on by default, make them default to off, but let by Chris Lattner · 17 years ago
  66. 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 · 17 years ago
  67. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 17 years ago
  68. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 17 years ago
  69. c13b6e2 Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown. by Ted Kremenek · 17 years ago
  70. 9253b0f Added test case inspired by <rdar://6268365>: recover path-sensitivity after compound assignment when the result of the assignment is not known. by Ted Kremenek · 17 years ago
  71. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 17 years ago
  72. 9f67ede Added test case. by Ted Kremenek · 17 years ago