Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / dccc2b2277cc1280b24698bb2b10f8520f57dc8f / clang / lib / Analysis / LiveVariables.cpp
  1. dccc2b2 Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 14 years ago
  2. b7531d6 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 14 years ago
  3. c8f008a 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 · 14 years ago
  4. 2a14c69 Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 14 years ago
  5. 459597a Fix massive LiveVariables regression (due to LiveVariables rewrite) by addressing two performance problems: by Ted Kremenek · 14 years ago
  6. adfb445 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 14 years ago
  7. 5ef32db 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 · 14 years ago
  8. 84a1ca5 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 14 years ago
  9. 3c05b7c Make helper functions static. by Benjamin Kramer · 14 years ago
  10. e9fda1e [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 · 14 years ago
  11. 0e62c1c remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  12. 1734737 [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 · 14 years ago
  13. 891d613 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 14 years ago
  14. 9865d7f Don't report dead stores on unreachable code paths. Fixes <rdar://problem/8405222>. by Ted Kremenek · 15 years ago
  15. e5aa30c Add alternate version of LiveVariables analysis that does not kill liveness at assignments. This 'relaxed' liveness is useful in path sensitive analysis for situations where the resulting extended liveness allows us to find some bugs. by Tom Care · 15 years ago
  16. e302792 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  17. 2e22268 Assignments to reference variables shouldn't kill the variable. by Jordy Rose · 16 years ago
  18. 0f0883b Fix an algorithmic bug in LiveVariables pointed out by Zhongxing. by Ted Kremenek · 16 years ago
  19. d497e12 Register all parameters even if they didn't occur in the function body. by Zhongxing Xu · 16 years ago
  20. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago
  21. 7b8b4d7 Simplify code by using an equivalent template class. by Zhongxing Xu · 16 years ago
  22. 9c951ab Enhance dataflow analyses to recognize branch statements in the CFG used as hooks for the initialization of condition variables. by Ted Kremenek · 16 years ago
  23. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  24. 0f5e6f88 Enhance LiveVariables to understand that blocks can extend the liveness of a variable by "capturing" them in a BlockExpr. by Ted Kremenek · 16 years ago
  25. 612e380 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 16 years ago
  26. 975a119 Use SaveAndRestore to simplify logic in LiveVariables::runOnAllBlocks(). Patch by Kovarththanan Rajaratnam! by Ted Kremenek · 16 years ago
  27. 45540e9 add some const qualifiers, patch by Kovarththanan Rajaratnam! by Chris Lattner · 16 years ago
  28. 07d0785 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 16 years ago
  29. e81a553 Use raw_ostream instead of C stdio. by Daniel Dunbar · 16 years ago
  30. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  31. 6796fbd Move the source-level CFG from libAST to libAnalysis. by Ted Kremenek · 16 years ago
  32. 703db19 Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c. by Zhongxing Xu · 16 years ago
  33. d29e74e Block level expr should be visited. Otherwise variables in init expr of by Zhongxing Xu · 16 years ago
  34. 4d947fa Remove hack from LiveVariables analysis where variables whose address are taken by Ted Kremenek · 17 years ago
  35. 529efc7 rename some methods. by Chris Lattner · 17 years ago
  36. 378e7fd Fix horrible non-termination bug in LiveVariables. The issue was that by Ted Kremenek · 17 years ago
  37. f1ca7d3 Introduce a new PresumedLoc class to represent the concept of a location by Chris Lattner · 17 years ago
  38. 53e384f Change some terminology in SourceLocation: instead of referring to by Chris Lattner · 17 years ago
  39. 6ee0a11 Fixed LiveVariables bug where we didn't consider block-level expressions that functioned as the size of a VLA to be live. by Ted Kremenek · 17 years ago
  40. fc419a0 Minor tweaks to liveness analysis: by Ted Kremenek · 17 years ago
  41. 99d4ff3 Handle the case where 'element' in ObjCforCollectionstmt is not a DeclStmt or DeclRefExpr. by Ted Kremenek · 17 years ago
  42. a9d3e6c Rename header file. Update include files. by Ted Kremenek · 17 years ago
  43. 75db6d7 Fix uninitialized variable. by Ted Kremenek · 17 years ago
  44. 65dd30f Update CFGStmtVisitor to recognize that ObjCForCollectionStmts are special block-level "expressions". by Ted Kremenek · 17 years ago
  45. 97450fe Use Stmt* instead of Expr* for block-level expression. by Ted Kremenek · 17 years ago
  46. 3b4e1d5 Accesses to a collection within a fast enumeration 'for' statement constitute a 'use'. by Ted Kremenek · 17 years ago
  47. 6f28289 Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types. by Sebastian Redl · 17 years ago
  48. fbd2f40 Add transfer function support for ObjCForCollectionStmt to LiveVariables. by Ted Kremenek · 17 years ago
  49. 209ad9d Cosmetic patch from João Paulo Rechi Vita by Douglas Gregor · 17 years ago
  50. 61a625f Move VLA processing logic from LiveVariables to CFG construction. This way all dataflow analyses "see" the VLA size expressions. by Ted Kremenek · 17 years ago
  51. 2ece64b Examine VLA size expressions when computing liveness information. by Ted Kremenek · 17 years ago
  52. 4f8792b Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt. by Ted Kremenek · 17 years ago
  53. 8044046 Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 17 years ago
  54. 5696e7b Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. by Chris Lattner · 17 years ago
  55. c1f9a28 Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a block's terminator. by Ted Kremenek · 18 years ago
  56. ed30e8d LiveVariables now updates the liveness state of block-level expressions that by Ted Kremenek · 18 years ago
  57. 82ff6d6 Fix bug in terminator processing for uninitialized-values: simply ignore the terminator, don't reprocess it. by Ted Kremenek · 18 years ago
  58. 8adeebb Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression by Ted Kremenek · 18 years ago
  59. cd76f95 ++/-- makes a variable live since it is used; thus the liveness state is by Ted Kremenek · 18 years ago
  60. f4212bd Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable by Ted Kremenek · 18 years ago
  61. b7151c7 LiveVariables analysis now uses intersect for the merge of block-level expression liveness information. by Ted Kremenek · 18 years ago
  62. 7a51313 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 18 years ago[Renamed from clang/Analysis/LiveVariables.cpp]
  63. 1fdd0a4 The LiveVariables analysis no longer requires a FunctionDecl&; this allows it by Ted Kremenek · 18 years ago
  64. 0c04606 Fixed bogus assumption mistakenly introduced in r47955. by Ted Kremenek · 18 years ago
  65. df4a5b9 Minor cleanups (mainly indentation). by Ted Kremenek · 18 years ago
  66. 7845b26 Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt by Ted Kremenek · 18 years ago
  67. b0b7d28 Fixed horrid bug in LiveVariables analysis where we were only merging at by Ted Kremenek · 18 years ago
  68. 20c9142 Bug fix in liveness: Only compute liveness information for VarDecls. by Ted Kremenek · 18 years ago
  69. a56c08a Fixed bug in LiveVariables analysis where Block-level exprs appearing by Ted Kremenek · 18 years ago
  70. 8ff7705a Modified LiveVariables to perform all of its base initialization in the ctor, by Ted Kremenek · 18 years ago
  71. 05ecfdd Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable by Ted Kremenek · 18 years ago
  72. 85be7cf Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This by Ted Kremenek · 18 years ago
  73. b4b65e6 Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 18 years ago
  74. f1dae23 Removed FindDeclRef, and used Expr::IgnoreParens instead (code refactoring). by Ted Kremenek · 18 years ago
  75. e5ccf9a Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge by Ted Kremenek · 18 years ago
  76. 96b1ce4 Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces. by Ted Kremenek · 18 years ago
  77. 5b12ab8 Don't attribute in file headers anymore. See llvmdev for the by Chris Lattner · 18 years ago
  78. bf593f8 Directory restructing of Analysis files. by Ted Kremenek · 18 years ago
  79. 78dcda6 Fixed bug in live-variable analysis and uninitialized-values analysis where by Ted Kremenek · 18 years ago
  80. 9d0acca Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion of by Ted Kremenek · 18 years ago
  81. 850f115 Fixed bug where LiveVariables was not properly propagating updates to liveness by Ted Kremenek · 18 years ago
  82. ef6b136 move IdentifierTable.h from liblex to libbasic. by Chris Lattner · 18 years ago
  83. fb4750b Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 18 years ago
  84. 14851c3 Fixed bug where assignments to variables wrapped in parentheses would not by Ted Kremenek · 18 years ago
  85. 0064ff4 Significant cleanups and bug-fixes to LiveVariables. Uses new refactored by Ted Kremenek · 18 years ago
  86. 39fc60f Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client by Ted Kremenek · 18 years ago
  87. ad8bce0 Further refactored DataflowSolver. Now most code for the solver is shared by Ted Kremenek · 18 years ago
  88. 24c6244 Updated header file inlcude to new location of by Ted Kremenek · 18 years ago
  89. a23cc79 by Steve Naroff · 18 years ago
  90. 302def2 Minor space tightening. by Ted Kremenek · 18 years ago
  91. fe1da5e Fixed recursion bug: should call Visit on child instead of VisitStmt. by Ted Kremenek · 18 years ago
  92. 1147e36 Migrated LiveVariables to use the new DataflowStmtVisitor interface. The code by Ted Kremenek · 18 years ago
  93. 412af03 get rid of ugly "warning: no newline at end of file" by Gabor Greif · 18 years ago
  94. bd9cc5c Fixed LiveVariables to no longer track the liveness of function pointers by Ted Kremenek · 18 years ago
  95. cfe207c Renaming of the LiveVariablesAuditor interface. Changed "Auditor" and by Ted Kremenek · 18 years ago
  96. 3ce57c6 Added more checking in "dead stores" for values that are initialized by Ted Kremenek · 18 years ago
  97. 10e7870 Minor bug fixes to corner cases where LiveVariables would crash on some CFGs by Ted Kremenek · 18 years ago
  98. 6dc7b11 Added "Dead Stores", a flow-sensitive checker that checks for stores by Ted Kremenek · 18 years ago
  99. 3f8ed26 LiveVariables: by Ted Kremenek · 18 years ago
  100. b56a990 Added an early implementation of Live-Variables analysis built on by Ted Kremenek · 18 years ago