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