Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 733a83b324dc31ac5be3f30f4d05febad0728474 / lib / Analysis
  1. 1748b12 Thread safety: Adding FIXMEs and a couple cleanups by Caitlin Sadowski · 13 years ago
  2. cb96751 Thread safety: completeing the implementation of shared/exclusive locks required attributes by Caitlin Sadowski · 13 years ago
  3. 4e4bc75 Thread safety: refactoring various out of scope warnings to use the same inteface. This eliminates a lot of unnecessary duplicated code. by Caitlin Sadowski · 13 years ago
  4. 1990346 Thread safety: adding additional documentation to the main thread safety interface, and making the destructor for the thread safety handler pure virtual by Caitlin Sadowski · 13 years ago
  5. 194418f Thread safety: adding test cases for unparseable lock expressions and expanding the handling of these expressions by Caitlin Sadowski · 13 years ago
  6. 8375416 Add a bit to the CFGBlock to track when it contains a no-return by Chandler Carruth · 13 years ago
  7. dba3fb5 Consolidate the logic for building a no-return CFG block into a single by Chandler Carruth · 13 years ago
  8. c8cfc74 Enhance the CFG construction to detect no-return destructors for by Chandler Carruth · 13 years ago
  9. 7613c73 Thread safety: small formatting change by Caitlin Sadowski · 13 years ago
  10. afc5b15 Silence "end of non-void function" warnings with llvm_unreachable and add an assert. by Benjamin Kramer · 13 years ago
  11. a1364be Extend the Stmt AST to make it easier to look through label, default, by Chandler Carruth · 13 years ago
  12. d5b1605 Thread safety: removing unnecessary import and reordering import list by Caitlin Sadowski · 13 years ago
  13. 0fed26d Thread safety: removing unnecessary import by Caitlin Sadowski · 13 years ago
  14. 99107eb Thread safety: This patch deals with previously unhandled cases when building lock expressions. We now resolve this expressions, avoid crashing when encountering cast expressions, and have a diagnostic for unresolved lock expressions by Caitlin Sadowski · 13 years ago
  15. 402aa06 Thread Safety: Moving the analysis to a new file by Caitlin Sadowski · 13 years ago
  16. 6f27542 -Wuninitialized: fix insidious bug resulting from interplay of blocks and dead code. Fixes <rdar://problem/10060250>. by Ted Kremenek · 13 years ago
  17. 80cb6e6 Warn on missing [super finalize] calls. by Nico Weber · 13 years ago
  18. e7a2764 Teach -Wunreachable-code about dead code caused by macro expansions. This should suppress false positives resulting from 'assert' and friends. by Ted Kremenek · 13 years ago
  19. 0f3b4ca Start reworking -Wunreachable-code. The original analysis had serious flaws with how it by Ted Kremenek · 13 years ago
  20. f0e71ae CFG: record set of C++ 'try' dispatch blocks, which could be of interest to various analyses (e.g., reachability). by Ted Kremenek · 13 years ago
  21. f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
  22. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
  23. e0e2933 Remove dead code. by Ted Kremenek · 13 years ago
  24. 3060178 Fix else style. No functionality change intended. by Chad Rosier · 13 years ago
  25. 012614e Fix a handful of dead stores found by Clang's static analyzer. There's a bunch of others I haven't touched. by Ted Kremenek · 13 years ago
  26. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
  27. ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
  28. 5290c80 Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620." by Ted Kremenek · 13 years ago
  29. a809447 Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620. by Ted Kremenek · 13 years ago
  30. de091ae Fix another -Wuninitialized assertion failure (this one involving bit casts) resulting from the recent -Wuninitialized changes. by Ted Kremenek · 13 years ago
  31. f91a5b0 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 13 years ago
  32. 57fb591 Fix assertion failure in -Wuninitialized involving no-op casts. Fixes PR 10577. by Ted Kremenek · 13 years ago
  33. 39997fc Make helper functions static. by Benjamin Kramer · 13 years ago
  34. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
  35. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  36. d837c0d Move duplicate uninitialized warning suppression into the by Chandler Carruth · 13 years ago
  37. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  38. dd4286b Fix -Wuninitialized regression involving functions invalidating parameters passed by reference. by Ted Kremenek · 13 years ago
  39. 62d126e Fix false negative in -Wuninitialized involving a () wrapping an lvalue-to-rvalue conversion in a DeclStmt. by Ted Kremenek · 13 years ago
  40. d626ec4 Fix assertion failure in UninitializedValues.cpp where an lvalue to rvalue conversion is wrapped in a parenthesis. by Ted Kremenek · 13 years ago
  41. 0c8e5a0 Reduce -Wuninitialized time by 22% (on sqlite) by removing the recursive AST crawl. by Ted Kremenek · 13 years ago
  42. 74fb1a4 Add hooks into the CFG builder to force that specific expressions are always CFGElements. by Ted Kremenek · 13 years ago
  43. 8435069 Revert r135217, which wasn't the correct fix for PR10358. With this by Chandler Carruth · 13 years ago
  44. 797a7be [analyzer] Per discussions with the Cocoa team, extend CF naming conventions to extend to camel case functions instead of just title case functions. Fixes <rdar://problem/9732321>. by Ted Kremenek · 13 years ago
  45. 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
  46. 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
  47. 1ad35be Revert r135147 and r135075. The consensus was that this wasn't the right thing to do. by Ted Kremenek · 13 years ago
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 45eb702 Fix inversion in argument type checking for format strings with conversion specifiers for character types. by Ted Kremenek · 13 years ago
  54. 8052050 Make the worklist in the uninitialized values checker actually a queue. by Chandler Carruth · 13 years ago
  55. 5d98994 Build up statistics about the work done for analysis based warnings. by Chandler Carruth · 13 years ago
  56. 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
  57. 170579f Added a missing case label. by Fariborz Jahanian · 13 years ago
  58. d6a4d18 Revert r133024, "[format strings] correctly suggest correct type for '%@' by Daniel Dunbar · 13 years ago
  59. 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
  60. 6970155 Finish 2 sentences. by Francois Pichet · 13 years ago
  61. f85e193 Automatic Reference Counting. by John McCall · 13 years ago
  62. 84862f6 [format strings] correctly suggest correct type for '%@' specifiers. Fixes <rdar://problem/9607158>. by Ted Kremenek · 13 years ago
  63. 926df6c Implement Objective-C Related Result Type semantics. by Douglas Gregor · 13 years ago
  64. 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
  65. 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 13 years ago
  66. 049f6d0 Utilize PackedVector, introduced with llvm commit r132325. by Argyrios Kyrtzidis · 13 years ago
  67. 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 13 years ago
  68. 8cad304 Refactoring of constant expression evaluator by Peter Collingbourne · 13 years ago
  69. 1de8533 Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy, by John McCall · 14 years ago
  70. e6c2803 Fix crash in -Wuninitialized when using switch statments whose condition is a logical operation. by Ted Kremenek · 14 years ago
  71. bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 14 years ago
  72. 75c4064 Silence more -Wnon-pod-memset given its current implementation. I may be by Chandler Carruth · 14 years ago
  73. 26517e4 Remove unused method CFGBlock::hasBinaryBranchTerminator(). by Ted Kremenek · 14 years ago
  74. 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
  75. 1e713f5 When generating printf fixits, preserve the original formating for unsigned integers (e.g., 'x', 'o'). by Ted Kremenek · 14 years ago
  76. 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
  77. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 14 years ago
  78. efdf988 When we transform a C++ exception declaration (e.g., for template by Douglas Gregor · 14 years ago
  79. 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
  80. 97e5071 Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTypeTraitExpr(). by Ted Kremenek · 14 years ago
  81. 8668494 Teach -Wuninitialized about C++'s typeid expression, including both the by Chandler Carruth · 14 years ago
  82. a21612f Teach -Wuninitialized to not warn about variables declared in C++ catch statements. by Ted Kremenek · 14 years ago
  83. b88fb02 Commit a bit of a hack to fully handle the situation where variables are by Chandler Carruth · 14 years ago
  84. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 14 years ago
  85. f8adeef -Wuninitialized: don't warn about uninitialized variables in unreachable code. by Ted Kremenek · 14 years ago
  86. 2166948 Make -Wheader-hygiene not complain about USING_NAMESPACE_THROUGH_MACRO in a non-header file. by Nico Weber · 14 years ago
  87. bc8b44c -Wuninitialized should not warn about variables captured by blocks as byref. by Ted Kremenek · 14 years ago
  88. 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
  89. da57f3e Make helpers static. by Benjamin Kramer · 14 years ago
  90. a8d459e Fix CFG-construction bug when run from AnalysisBasedWarnings::IssueWarnings() where block-level expressions that need by Ted Kremenek · 14 years ago
  91. af13d5b Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 14 years ago
  92. 1cbc315 Extend -Wuninitialized to support vector types. by Ted Kremenek · 14 years ago
  93. 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
  94. 4ddb387 Appease GCC. I'm surprised Clang accepted this. by Ted Kremenek · 14 years ago
  95. 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
  96. 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
  97. 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
  98. 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
  99. 136f8f2 Substitue term "BitVector" with "ValueVector" to prep for further revisions. No functionality change. by Ted Kremenek · 14 years ago
  100. 6f34213 Rename UninitializedValuesV2 to UninitializedValues. by Ted Kremenek · 14 years ago