Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 0f5897bf5f919df28c76013d1efa17441f7241ff / test / Analysis / uninit-vals-ps.c
  1. a4c7a43 Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. by Ted Kremenek · 13 years ago
  2. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  3. 180e03f [analyzer] Migrate UndefResultChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  4. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  5. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  6. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  7. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  8. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  9. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  10. 7c039bf Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators. by Ted Kremenek · 15 years ago
  11. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  12. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  13. f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
  14. bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
  15. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  16. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  17. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 15 years ago
  18. ef77d54 Add a few more analyzer test cases. by Ted Kremenek · 15 years ago
  19. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  20. ed8a93d Fix PR3509 by providing correct starting locations for initializer lists by Douglas Gregor · 16 years ago
  21. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  22. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  23. 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 16 years ago
  24. 7c68666 Add checker test case: warn about returning an uninitialized value to the caller. by Ted Kremenek · 16 years ago
  25. 9f49055 Enable test file for 'region store' in addition to basic store. by Ted Kremenek · 16 years ago
  26. e8e4d8c Split region store specific test cases. by Zhongxing Xu · 16 years ago
  27. 89e8a07 Add test for path-sensitive uninit-val detection involving struct field. by Zhongxing Xu · 16 years ago
  28. 5c96c27 Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression. by Ted Kremenek · 16 years ago
  29. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 16 years ago
  30. 43ae4b0 Added uninitialized-values (path-sensitive) test case as a regression test by Ted Kremenek · 16 years ago