Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 551988f1bf32bb5e5b1fc223184d4089a0424698 / lib / Analysis
  1. 2d9eb21 Teach the CFG builder how to properly destroy temporaries who by Douglas Gregor · 13 years ago
  2. ccf1bfd [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 13 years ago
  3. f3fb5c5 We don't add ExprWithCleanups to the CFG, and getSVal looks by John McCall · 13 years ago
  4. 4b9c2d2 Change the AST representation of operations on Objective-C by John McCall · 13 years ago
  5. 6bbecd5 Tweak LookThroughStmt() in LiveVariables to properly look through alternativing ParenExprs and OpaqueValueExprs. Thanks to Anna and Argiris for iterating on this function. My original patch embarssingly didn't even pass the Clang tests. by Ted Kremenek · 13 years ago
  6. ef911a1 LookThroughStmt GM release. by Argyrios Kyrtzidis · 13 years ago
  7. 51e4e1e LookThroughStmt v4.6.3 by Argyrios Kyrtzidis · 13 years ago
  8. 74b5edd Simplify LookThroughStmt in LiveVariables.cpp by Argyrios Kyrtzidis · 13 years ago
  9. 38f0b5a Another correction to the LiveVariables commit (r143767, r143780). by Anna Zaks · 13 years ago
  10. 5112fc4 Fix infinite loop in LiveVariables due to a misplaced 'break' (it would break out of by Argyrios Kyrtzidis · 13 years ago
  11. ddaec0d Teach LiveVariables to look through OpaqueValueExprs for extending Stmt liveness. by Ted Kremenek · 13 years ago
  12. 6a9065a Per discussion with John McCall, don't add OpaqueValueExprs to the CFG. by Ted Kremenek · 13 years ago
  13. 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
  14. 29e97cb Teach format string analysis that "%zu" means size_t. by Hans Wennborg · 13 years ago
  15. 6ca4a9a Tweak printf format string parsing to accept 'hh' conversion specifier to accept any char, not just signed char. Fixes <rdar://problem/10303638>. by Ted Kremenek · 13 years ago
  16. 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
  17. 8e02604 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 13 years ago
  18. 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
  19. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  20. 439ed16 Refactor ThreadSafety to use PostOrderCFGView instead of its own copy (of TopologicallySortedCFG). by Ted Kremenek · 13 years ago
  21. edb1863 Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView. by Ted Kremenek · 13 years ago
  22. 6db51f7 Added support for thread safety attributes on destructors. by DeLesley Hutchins · 13 years ago
  23. f1ac637 Thread safety analysis refactoring: invalid lock expressions. by DeLesley Hutchins · 13 years ago
  24. e0eaa85 Thread safety analysis: add support for attributes on constructors. by DeLesley Hutchins · 13 years ago
  25. a60448d Refactoring and code cleanup. by DeLesley Hutchins · 13 years ago
  26. 2dde35b More metaprogramming with builtin types. by John McCall · 13 years ago
  27. a7da215 Suggest %zu for size_t args to printf. by Hans Wennborg · 13 years ago
  28. 8121639 Substitute for arguments in method calls -- functionality by DeLesley Hutchins · 13 years ago
  29. 9f80a97 Substitute for arguments in method calls -- refactoring by DeLesley Hutchins · 13 years ago
  30. 0ddaeb9 Add a new placeholder type to represent "unbridged" casts in ARC. by John McCall · 13 years ago
  31. aa4a99b Provide half floating point support as a storage only type. by Anton Korobeynikov · 13 years ago
  32. 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
  33. 9e76172 Tweak -Wuninitialized's handling of 'int x = x' to report that as the root cause of an uninitialized variable IFF there are other uses of that uninitialized variable. Fixes <rdar://problem/9259237>. by Ted Kremenek · 13 years ago
  34. a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
  35. 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
  36. c5f740e Fix infinite loop in -Wuninitialized reported in PR 11069. by Ted Kremenek · 13 years ago
  37. c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
  38. 3c2b5f7 Fix another major performance regression in LiveVariables by not canonicalizing the underlying ImmutableSets on every analyzed statement (just at merges). Fixes <rdar://problem/10087538>. by Ted Kremenek · 13 years ago
  39. 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
  40. 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
  41. eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
  42. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  43. 9859ea0 Test commit by DeLesley Hutchins · 13 years ago
  44. a2d7e65 [analyzer] Constify a method. by Anna Zaks · 13 years ago
  45. 87aa125 Fix massive LiveVariables regression (due to LiveVariables rewrite) by addressing two performance problems: by Ted Kremenek · 13 years ago
  46. 1748b12 Thread safety: Adding FIXMEs and a couple cleanups by Caitlin Sadowski · 13 years ago
  47. cb96751 Thread safety: completeing the implementation of shared/exclusive locks required attributes by Caitlin Sadowski · 13 years ago
  48. 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
  49. 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
  50. 194418f Thread safety: adding test cases for unparseable lock expressions and expanding the handling of these expressions by Caitlin Sadowski · 13 years ago
  51. 8375416 Add a bit to the CFGBlock to track when it contains a no-return by Chandler Carruth · 13 years ago
  52. dba3fb5 Consolidate the logic for building a no-return CFG block into a single by Chandler Carruth · 13 years ago
  53. c8cfc74 Enhance the CFG construction to detect no-return destructors for by Chandler Carruth · 13 years ago
  54. 7613c73 Thread safety: small formatting change by Caitlin Sadowski · 13 years ago
  55. afc5b15 Silence "end of non-void function" warnings with llvm_unreachable and add an assert. by Benjamin Kramer · 13 years ago
  56. a1364be Extend the Stmt AST to make it easier to look through label, default, by Chandler Carruth · 13 years ago
  57. d5b1605 Thread safety: removing unnecessary import and reordering import list by Caitlin Sadowski · 13 years ago
  58. 0fed26d Thread safety: removing unnecessary import by Caitlin Sadowski · 13 years ago
  59. 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
  60. 402aa06 Thread Safety: Moving the analysis to a new file by Caitlin Sadowski · 13 years ago
  61. 6f27542 -Wuninitialized: fix insidious bug resulting from interplay of blocks and dead code. Fixes <rdar://problem/10060250>. by Ted Kremenek · 13 years ago
  62. 80cb6e6 Warn on missing [super finalize] calls. by Nico Weber · 13 years ago
  63. 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
  64. 0f3b4ca Start reworking -Wunreachable-code. The original analysis had serious flaws with how it by Ted Kremenek · 13 years ago
  65. 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
  66. f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
  67. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
  68. e0e2933 Remove dead code. by Ted Kremenek · 13 years ago
  69. 3060178 Fix else style. No functionality change intended. by Chad Rosier · 13 years ago
  70. 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
  71. 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
  72. ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
  73. 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
  74. 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
  75. de091ae Fix another -Wuninitialized assertion failure (this one involving bit casts) resulting from the recent -Wuninitialized changes. by Ted Kremenek · 13 years ago
  76. f91a5b0 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 13 years ago
  77. 57fb591 Fix assertion failure in -Wuninitialized involving no-op casts. Fixes PR 10577. by Ted Kremenek · 13 years ago
  78. 39997fc Make helper functions static. by Benjamin Kramer · 13 years ago
  79. 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
  80. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  81. d837c0d Move duplicate uninitialized warning suppression into the by Chandler Carruth · 13 years ago
  82. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  83. dd4286b Fix -Wuninitialized regression involving functions invalidating parameters passed by reference. by Ted Kremenek · 13 years ago
  84. 62d126e Fix false negative in -Wuninitialized involving a () wrapping an lvalue-to-rvalue conversion in a DeclStmt. by Ted Kremenek · 13 years ago
  85. d626ec4 Fix assertion failure in UninitializedValues.cpp where an lvalue to rvalue conversion is wrapped in a parenthesis. by Ted Kremenek · 13 years ago
  86. 0c8e5a0 Reduce -Wuninitialized time by 22% (on sqlite) by removing the recursive AST crawl. by Ted Kremenek · 13 years ago
  87. 74fb1a4 Add hooks into the CFG builder to force that specific expressions are always CFGElements. by Ted Kremenek · 13 years ago
  88. 8435069 Revert r135217, which wasn't the correct fix for PR10358. With this by Chandler Carruth · 13 years ago
  89. 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
  90. 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
  91. 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
  92. 1ad35be Revert r135147 and r135075. The consensus was that this wasn't the right thing to do. by Ted Kremenek · 13 years ago
  93. 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
  94. 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
  95. 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
  96. 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
  97. 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
  98. 45eb702 Fix inversion in argument type checking for format strings with conversion specifiers for character types. by Ted Kremenek · 13 years ago
  99. 8052050 Make the worklist in the uninitialized values checker actually a queue. by Chandler Carruth · 13 years ago
  100. 5d98994 Build up statistics about the work done for analysis based warnings. by Chandler Carruth · 13 years ago