Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / af764723bf94f8cc7596e2b2f2a97766d188ed98 / lib / Analysis
  1. 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
  2. 05bcade Fix false negative reported in PR 10358 by using 'Unknown' in -Wuninitialized to avoid cascading warnings. Patch by Kaelyn Uhrain. by Ted Kremenek · 13 years ago
  3. 1ad35be Revert r135147 and r135075. The consensus was that this wasn't the right thing to do. by Ted Kremenek · 13 years ago
  4. 9dbe16e Add extra sanity checking in FormatString::matchesType() that we are comparing integers to integers. This happens not to be an issue now, but the extra check helps future proof in case of future refactorings. by Ted Kremenek · 13 years ago
  5. 826d5b4 Reapply r135075, but modify format-strings.c and format-strings-fixit.c test cases to be more portable with an explicit target triple. by Ted Kremenek · 13 years ago
  6. 13d99bf Revert r135075, "format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using" by NAKAMURA Takumi · 13 years ago
  7. 8da9316 format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using by Ted Kremenek · 13 years ago
  8. dc00d81 Re-relax conversion specifier checking for printf format strings and conversion specifiers. My recent change was a mistake. by Ted Kremenek · 13 years ago
  9. 45eb702 Fix inversion in argument type checking for format strings with conversion specifiers for character types. by Ted Kremenek · 13 years ago
  10. 8052050 Make the worklist in the uninitialized values checker actually a queue. by Chandler Carruth · 13 years ago
  11. 5d98994 Build up statistics about the work done for analysis based warnings. by Chandler Carruth · 13 years ago
  12. 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
  13. 170579f Added a missing case label. by Fariborz Jahanian · 13 years ago
  14. d6a4d18 Revert r133024, "[format strings] correctly suggest correct type for '%@' by Daniel Dunbar · 13 years ago
  15. 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
  16. 6970155 Finish 2 sentences. by Francois Pichet · 13 years ago
  17. f85e193 Automatic Reference Counting. by John McCall · 13 years ago
  18. 84862f6 [format strings] correctly suggest correct type for '%@' specifiers. Fixes <rdar://problem/9607158>. by Ted Kremenek · 13 years ago
  19. 926df6c Implement Objective-C Related Result Type semantics. by Douglas Gregor · 13 years ago
  20. ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 13 years ago
  21. 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 13 years ago
  22. 049f6d0 Utilize PackedVector, introduced with llvm commit r132325. by Argyrios Kyrtzidis · 13 years ago
  23. 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 13 years ago
  24. 8cad304 Refactoring of constant expression evaluator by Peter Collingbourne · 14 years ago
  25. 1de8533 Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy, by John McCall · 14 years ago
  26. e6c2803 Fix crash in -Wuninitialized when using switch statments whose condition is a logical operation. by Ted Kremenek · 14 years ago
  27. bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 14 years ago
  28. 75c4064 Silence more -Wnon-pod-memset given its current implementation. I may be by Chandler Carruth · 14 years ago
  29. 26517e4 Remove unused method CFGBlock::hasBinaryBranchTerminator(). by Ted Kremenek · 14 years ago
  30. 06d88ec Don't print fixits for format specifiers in cases where the fixit does not actually fix the warning. PR8781. by Eli Friedman · 14 years ago
  31. 1e713f5 When generating printf fixits, preserve the original formating for unsigned integers (e.g., 'x', 'o'). by Ted Kremenek · 14 years ago
  32. b403d6d Fix PR9741. The implicit declarations created for range-based for loops weren't being added to the DeclContext (nor were they being marked as implicit). Also, the declarations were being emitted in the wrong order when building the CFG. by Richard Smith · 14 years ago
  33. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 14 years ago
  34. efdf988 When we transform a C++ exception declaration (e.g., for template by Douglas Gregor · 14 years ago
  35. ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 14 years ago
  36. 97e5071 Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTypeTraitExpr(). by Ted Kremenek · 14 years ago
  37. 8668494 Teach -Wuninitialized about C++'s typeid expression, including both the by Chandler Carruth · 14 years ago
  38. a21612f Teach -Wuninitialized to not warn about variables declared in C++ catch statements. by Ted Kremenek · 14 years ago
  39. b88fb02 Commit a bit of a hack to fully handle the situation where variables are by Chandler Carruth · 14 years ago
  40. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 14 years ago
  41. f8adeef -Wuninitialized: don't warn about uninitialized variables in unreachable code. by Ted Kremenek · 14 years ago
  42. 2166948 Make -Wheader-hygiene not complain about USING_NAMESPACE_THROUGH_MACRO in a non-header file. by Nico Weber · 14 years ago
  43. bc8b44c -Wuninitialized should not warn about variables captured by blocks as byref. by Ted Kremenek · 14 years ago
  44. b831c67 Add workaround for Sema issue found in <rdar://problem/9188004>, which leads to an assertion failure in the uninitialized variables analysis. The problem is that Sema isn't properly registering a variable in a DeclContext (which -Wuninitialized relies on), but by Ted Kremenek · 14 years ago
  45. da57f3e Make helpers static. by Benjamin Kramer · 14 years ago
  46. a8d459e Fix CFG-construction bug when run from AnalysisBasedWarnings::IssueWarnings() where block-level expressions that need by Ted Kremenek · 14 years ago
  47. af13d5b Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 14 years ago
  48. 1cbc315 Extend -Wuninitialized to support vector types. by Ted Kremenek · 14 years ago
  49. 432c478 Teach CFGBuilder that the 'default' branch of a switch statement is dead if all enum values in a switch conditioned are handled. by Ted Kremenek · 14 years ago
  50. 4ddb387 Appease GCC. I'm surprised Clang accepted this. by Ted Kremenek · 14 years ago
  51. 76709bf Split warnings from -Wuninitialized-experimental into "must-be-initialized" and "may-be-initialized" warnings, each controlled by different flags. by Ted Kremenek · 14 years ago
  52. f7bafc7 Split warnings from -Wuninitialized-experimental into "must-be-initialized" and "may-be-initialized" warnings, each controlled by different flags. by Ted Kremenek · 14 years ago
  53. 496398d UninitializedValues: introduce ValueVector:reference class to forward to llvm::BitVector. No real functionality change, but this is a stepping stone to moving to tri-state logic. by Ted Kremenek · 14 years ago
  54. afb10c4 UninitializedValues: wrap BitVector references in a new class ValueVector. No functionality change. This defines the minimum interface that ValueVector needs to support when we no longer base it strictly on a direct interpretation of BitVector. by Ted Kremenek · 14 years ago
  55. 136f8f2 Substitue term "BitVector" with "ValueVector" to prep for further revisions. No functionality change. by Ted Kremenek · 14 years ago
  56. 6f34213 Rename UninitializedValuesV2 to UninitializedValues. by Ted Kremenek · 14 years ago
  57. f3f5379 Remove old UninitializedValues analysis. by Ted Kremenek · 14 years ago
  58. 8026f6d Instead of storing an ASTContext* in FunctionProtoTypes with computed noexcept specifiers, unique FunctionProtoTypes with a ContextualFoldingSet, as suggested by John McCall. by Sebastian Redl · 14 years ago
  59. e9cd9c0 Fix CFG assertion failure reported in PR 9467. This was due to recent changes in optimizing CFGs for switch statements. by Ted Kremenek · 14 years ago
  60. 60618fa Propagate the new exception information to FunctionProtoType. by Sebastian Redl · 14 years ago
  61. f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
  62. 0d28d36 When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap. by Ted Kremenek · 14 years ago
  63. 3179a45 Require AddStmtChoice::alwaysAdd() to take a CFGBuilder& and Stmt*. Prep for functionality changes. by Ted Kremenek · 14 years ago
  64. 247e966 Remove unused 'AddStmtChoice' argument to CFGBuilder::appendStmt(). by Ted Kremenek · 14 years ago
  65. b8ad5ee Rework interaction between AnalysisContext and CFG::BuildOptions to keep a BuildOptions object around instead of keeping a copy of the flags. by Ted Kremenek · 14 years ago
  66. 6e40035 Fix null dereference in CFGBlock::FilterEdge that was reported in PR 9412. by Ted Kremenek · 14 years ago
  67. 0498247 Correctly handle nested switch statements in CFGBuilder when on switch statement has a condition that evaluates to a constant. by Ted Kremenek · 14 years ago
  68. c5aff44 Teach CFGImplicitDtor::getDestructorDecl() about arrays of objects with destructors. by Ted Kremenek · 14 years ago
  69. 697d42d Teach CFGImplicitDtor::getDestructorDecl() about reference types. by Ted Kremenek · 14 years ago
  70. 2ae0054 Let's go with John and Ted's preferred fix. by Matt Beaumont-Gay · 14 years ago
  71. 8e23e6d Keep GCC from complaining about falling off the end of the function. by Matt Beaumont-Gay · 14 years ago
  72. c9f8f5a Introduce CFGImplicitDtor::isNoReturn() to query whether a destructor actually returns. Use this for -Wreturn-type to prune false positives reported in PR 6884. by Ted Kremenek · 14 years ago
  73. 85f3d76 Move some of the logic about classifying Objective-C methods into by John McCall · 14 years ago
  74. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  75. 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 14 years ago
  76. 7a17851 Get rid of the areExceptionsEnabled() getter from LangOptions. by Anders Carlsson · 14 years ago
  77. f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
  78. c56c004 Teach CFGBuilder about null pointer constants in conditionals, and how they can be used to prune branches. Fixes false null pointer dereference warning in PR 8183. by Ted Kremenek · 14 years ago
  79. 42461ee Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. by Ted Kremenek · 14 years ago
  80. 283a358 Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext. by Ted Kremenek · 14 years ago
  81. 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
  82. c1cfdf8 Add a LangOptions::areExceptionsEnabled and start using it. by Anders Carlsson · 14 years ago
  83. d40baf6 Fix a -Wuninitialized warning; it's actually a false positive, by John McCall · 14 years ago
  84. 56ca35d Change the representation of GNU ?: expressions to use a different expression by John McCall · 14 years ago
  85. ad8dcf4 Step #1/N of implementing support for __label__: split labels into by Chris Lattner · 14 years ago
  86. fe59b74 Fix memory leak in CFGBuilder resulting from tracking scope information using SmallVectors. by Ted Kremenek · 14 years ago
  87. 7502c1d Give some convenient idiomatic accessors to Stmt::child_range and by John McCall · 14 years ago
  88. 848ec83 Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. by Ted Kremenek · 14 years ago
  89. 886e160 CMake: LLVM_NO_RTTI must be obsolete now! by NAKAMURA Takumi · 14 years ago
  90. 9fcbcee Enhance -Wuninitialized to better reason about || and &&, tracking dual dataflow facts and properly merging them. by Ted Kremenek · 14 years ago
  91. 96554fd Teach -Wuninitialized about indirect goto. Fixes PR 9071. by Ted Kremenek · 14 years ago
  92. dfbb02a Fix whitespace. by NAKAMURA Takumi · 14 years ago
  93. 0099530 7bit-ize. by NAKAMURA Takumi · 14 years ago
  94. 40900ee Teach -Wuninitialized not to assert when analyzing by Ted Kremenek · 14 years ago
  95. 1ea800c Teach -Wuninitialized about ObjC fast enumeration loops. by Ted Kremenek · 14 years ago
  96. dd0f794 Tweak -Wuninitialized-experimental to not emit by Ted Kremenek · 14 years ago
  97. a8c17a5 Teach -Wuninitialized-experimental to also warn by Ted Kremenek · 14 years ago
  98. 9660803 Teach -Wuninitialized-experimental about sizeof(). by Ted Kremenek · 14 years ago
  99. 6178e53 Removing debug printing logic from UninitializedValuesV2. by Ted Kremenek · 14 years ago
  100. 2d4bed1 Relax CFG assertions in UninitializedValuesV2 when by Ted Kremenek · 14 years ago