Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / db5f266be075aba0f4ca1690e358245a726c9c61 / test / Analysis / misc-ps.m
  1. 411af40 StoreManager::NewCastRegion: by Ted Kremenek · 16 years ago
  2. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
  3. ed47fc6 Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successor by Ted Kremenek · 16 years ago
  4. 921109a Add a FIXME to RegionStore, do some minor code cleanup, and get RegionStore to by Ted Kremenek · 16 years ago
  5. eaedfea analyzer: by Ted Kremenek · 16 years ago
  6. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
  7. 956a37d Add another test case found due to an analyzer regression. by Ted Kremenek · 16 years ago
  8. b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 16 years ago
  9. af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 16 years ago
  10. 3a0fd13 Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests by Ted Kremenek · 16 years ago
  11. 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
  12. b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
  13. b8adaf9 Update expected warning in test case. by Ted Kremenek · 16 years ago
  14. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  15. 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
  16. ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
  17. 344d4c8 Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would by Ted Kremenek · 16 years ago
  18. fa6228d Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not by Ted Kremenek · 16 years ago
  19. 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
  20. f684d56 Retrofit some basic tracking of ivars (for the current object) into BasicStore. by Ted Kremenek · 16 years ago
  21. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  22. 3092dd6 Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. by Ted Kremenek · 16 years ago
  23. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  24. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 17 years ago
  25. 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
  26. 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
  27. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
  28. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 17 years ago
  29. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 17 years ago
  30. 8322d6a Add zero-sized VLA check test case. by Ted Kremenek · 17 years ago
  31. ae0ee03 instead of forcing blocks on by default, make them default to off, but let by Chris Lattner · 17 years ago
  32. 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
  33. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 17 years ago
  34. 5b2316a Do not crash when performing VisitLValue on union types. This fixes PR 2948. by Ted Kremenek · 17 years ago
  35. 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
  36. 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
  37. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 17 years ago
  38. 9f67ede Added test case. by Ted Kremenek · 17 years ago