Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a5ceca924c33bfa6e1d7b3e6e3cac7c24cbf3633 / test / Analysis / dead-stores.c
  1. cdc3a89 Fix analyzer tests. by Ted Kremenek · 12 years ago
  2. e3f3825 Remove BasicConstraintManager. It hasn't been in active service for a while. by Ted Kremenek · 12 years ago
  3. bb811ca Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. by Ted Kremenek · 13 years ago
  4. 5faf5d3 Remove the "C" in "implicitly declaring C library function" diagnostic by Jean-Daniel Dupas · 13 years ago
  5. a8180e5 Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. by Ted Kremenek · 13 years ago
  6. 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
  7. ade3195 Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. by Ted Kremenek · 14 years ago
  8. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  9. a676d50 [analyzer] Move the DeadStores checker out of the 'core' package. by Argyrios Kyrtzidis · 14 years ago
  10. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  11. 38c8fe7 Allow passing a list of comma separated checker names to -analyzer-checker, e.g: by Argyrios Kyrtzidis · 14 years ago
  12. 7dd445e [analyzer] Use the new registration mechanism on the non-path-sensitive-checkers: by Argyrios Kyrtzidis · 14 years ago
  13. c9f2e0f [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. by Argyrios Kyrtzidis · 14 years ago
  14. f4e532b Don't emit a dead store for '++' operations unless it occurs with a return statement. We've never seen any other cases that were real bugs. by Ted Kremenek · 14 years ago
  15. 848ec83 Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. by Ted Kremenek · 14 years ago
  16. 56b1f71 Remove warning in dead stores checker for by Ted Kremenek · 14 years ago
  17. 1b2ad2f Revert r114316, -Wunused-value enabled by default was intended. by Argyrios Kyrtzidis · 14 years ago
  18. 6dff228 Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194. by Argyrios Kyrtzidis · 14 years ago
  19. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 14 years ago
  20. 58f9e13 make clang print types as "const int *" instead of "int const*", by Chris Lattner · 14 years ago
  21. ef52bcb Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis by Tom Care · 14 years ago
  22. 334c195 Fix horrible CFG bug caused by a series of NullStmts appearing at the beginning of a do...while loop. This would cause by Ted Kremenek · 14 years ago
  23. a7a8a45 Improved IdempotentOperationChecker false positives and false negatives. by Tom Care · 14 years ago
  24. 3e5637f Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same. by Ted Kremenek · 14 years ago
  25. df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 14 years ago
  26. 2597345 Fix rdar://8139785 "implement warning on dead expression in comma operator" by Argyrios Kyrtzidis · 14 years ago
  27. 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
  28. ebd42f4 Tweak dead stores checker to not emit a warning when initialization by Ted Kremenek · 15 years ago
  29. 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 15 years ago
  30. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  31. cd9902b Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'. by Ted Kremenek · 15 years ago
  32. 4617191 Insulate these from changes to the default for -Wunreachable-code. by Mike Stump · 15 years ago
  33. e030358 add a bunch of missing prototypes to tests by Chris Lattner · 15 years ago
  34. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  35. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  36. 74635d8 Add a heuristic to the dead stores checker to prune dead stores for variables annotated with '__block'. This is overly conservative, but now the analyzer doesn't report dead stores for variables that can be updated by a block call. by Ted Kremenek · 15 years ago
  37. 9a0459c Added dead-stores test cases that involve the use of blocks. by Ted Kremenek · 15 years ago
  38. 3a97634 Add test case that shows that dead stores checking now works in the presence of blocks. by Ted Kremenek · 15 years ago
  39. 93fab7c Change CheckDeadStores to use Expr::isNullPointerConstant, which will correctly determine whether an expression is a null pointer constant. by Ted Kremenek · 15 years ago
  40. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  41. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  42. f66d5cd Turn -Wparentheses on by default. by John McCall · 15 years ago
  43. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  44. a5495ea Prep for new warning. by Mike Stump · 15 years ago
  45. 22cd658 Wire up CFG improvements for __builtin_choose_expr. by Mike Stump · 15 years ago
  46. 8f9893a Wire up CFG improvements for do { } while () when the condition is known. by Mike Stump · 15 years ago
  47. fefb9f7 Wire up for statement CFG improvements for conditionals that are known. by Mike Stump · 15 years ago
  48. 5f20363 Wire up CFG improvements for while when the condition is known. by Mike Stump · 15 years ago
  49. e5af3ce Add yet more analysis for CFGs involving conditionals that are actually constant. by Mike Stump · 15 years ago
  50. cd7bf23 Make noreturn functions alter the CFG. by Mike Stump · 15 years ago
  51. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  52. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  53. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  54. 28433ff Update test case. by Ted Kremenek · 16 years ago
  55. d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
  56. 632d1ec A test case to test that -warn-dead-stores does not emit a warning for stores to variables marked with '#pragma unused'. by Ted Kremenek · 16 years ago
  57. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  58. a316e7b Extend builtin "attribute" syntax to include a notation for by Douglas Gregor · 16 years ago
  59. d3098ee Fix PR 2514: Do not flag dead initializations for variables initialized to a constant global variable. by Ted Kremenek · 16 years ago
  60. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  61. 7f5fce7 Dead stores checker: Fix <rdar://problem/6506065> by being more selective when say that a store is dead even though the computed value is used in the enclosing expression. by Ted Kremenek · 16 years ago
  62. 3b58786 Dead stores checker: Don't flag dead stores for self-assignments (common escape hatch for 'unused variable' warnings). by Ted Kremenek · 16 years ago
  63. 380277e Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. by Ted Kremenek · 16 years ago
  64. d2025e2 Add more control-flow to test case. by Ted Kremenek · 16 years ago
  65. 610a09e Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr. by Ted Kremenek · 16 years ago
  66. 84fa6b9 Examine VLA size expressions when computing liveness information. by Ted Kremenek · 16 years ago
  67. b497ebd Added test case for the dead stores checker that was originally an FP reported in PR 2763. by Ted Kremenek · 16 years ago
  68. efe88f5 Enhanced test case. by Ted Kremenek · 16 years ago
  69. 4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 16 years ago
  70. fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
  71. b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
  72. 8b00b6e Added dead stores test case. by Ted Kremenek · 16 years ago
  73. 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
  74. 489f7b6 '&&' clang commands together so that the test status reflects the results of all three clang executions. by Ted Kremenek · 16 years ago
  75. e81da50 Update test case: simply running "clang -checker-simple" doesn't invoke the dead store checker anymore. We need "-warn-dead-stores" as well. by Ted Kremenek · 16 years ago
  76. 5bce1b0 Test the dead-store checker using both -warn-dead-stores and -checker-simple. by Ted Kremenek · 16 years ago
  77. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  78. 3eb817e Improve dead stores diagnostics to include the variable name. by Ted Kremenek · 16 years ago
  79. a23157e Emit dead store warnings for ++ and -- operators. by Ted Kremenek · 17 years ago
  80. f87821c Added test case illustrating the use of '&'. by Ted Kremenek · 17 years ago
  81. 49a2fd2 Added test case to dead stores checker. by Ted Kremenek · 17 years ago
  82. 0fdf06e Convert tabs to spaces. by Ted Kremenek · 17 years ago
  83. bfc5e50 Moved dead-stores test cast to a new test suite subdirectory: Analysis. by Ted Kremenek · 17 years ago[Renamed from test/Sema/dead-stores.c]
  84. 74c43a0 Added another test case for the Dead Stores checker that tests that by Ted Kremenek · 17 years ago
  85. 8aefcbf Added test case for dead stores checker (live variables analysis) that tests by Ted Kremenek · 17 years ago
  86. aa395ba Added test case for dead-stores checker. Test case provided by Nuno Lopes. by Ted Kremenek · 17 years ago