Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 4b2d5498729a74a8e952bdf762e6f2d8c6b52690 / lib / Analysis / CFG.cpp
  1. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  2. 8375416 Add a bit to the CFGBlock to track when it contains a no-return by Chandler Carruth · 13 years ago
  3. dba3fb5 Consolidate the logic for building a no-return CFG block into a single by Chandler Carruth · 13 years ago
  4. c8cfc74 Enhance the CFG construction to detect no-return destructors for by Chandler Carruth · 13 years ago
  5. a1364be Extend the Stmt AST to make it easier to look through label, default, by Chandler Carruth · 13 years ago
  6. 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
  7. f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
  8. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
  9. 3060178 Fix else style. No functionality change intended. by Chad Rosier · 13 years ago
  10. 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
  11. 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
  12. 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
  13. 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
  14. f91a5b0 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 13 years ago
  15. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  16. 74fb1a4 Add hooks into the CFG builder to force that specific expressions are always CFGElements. by Ted Kremenek · 13 years ago
  17. 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
  18. 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
  19. 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 13 years ago
  20. 8cad304 Refactoring of constant expression evaluator by Peter Collingbourne · 13 years ago
  21. 1de8533 Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy, by John McCall · 13 years ago
  22. bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 13 years ago
  23. 26517e4 Remove unused method CFGBlock::hasBinaryBranchTerminator(). by Ted Kremenek · 13 years ago
  24. 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 · 13 years ago
  25. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
  26. ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 13 years ago
  27. 97e5071 Return the correct lastly populated block from CFGBuilder::VisitUnaryExprOrTypeTraitExpr(). by Ted Kremenek · 13 years ago
  28. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 13 years ago
  29. f8adeef -Wuninitialized: don't warn about uninitialized variables in unreachable code. by Ted Kremenek · 13 years ago
  30. a8d459e Fix CFG-construction bug when run from AnalysisBasedWarnings::IssueWarnings() where block-level expressions that need by Ted Kremenek · 13 years ago
  31. 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 · 13 years ago
  32. 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 · 13 years ago
  33. e9cd9c0 Fix CFG assertion failure reported in PR 9467. This was due to recent changes in optimizing CFGs for switch statements. by Ted Kremenek · 13 years ago
  34. 60618fa Propagate the new exception information to FunctionProtoType. by Sebastian Redl · 13 years ago
  35. f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
  36. 0d28d36 When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap. by Ted Kremenek · 14 years ago
  37. 3179a45 Require AddStmtChoice::alwaysAdd() to take a CFGBuilder& and Stmt*. Prep for functionality changes. by Ted Kremenek · 14 years ago
  38. 247e966 Remove unused 'AddStmtChoice' argument to CFGBuilder::appendStmt(). by Ted Kremenek · 14 years ago
  39. 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
  40. 6e40035 Fix null dereference in CFGBlock::FilterEdge that was reported in PR 9412. by Ted Kremenek · 14 years ago
  41. 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
  42. c5aff44 Teach CFGImplicitDtor::getDestructorDecl() about arrays of objects with destructors. by Ted Kremenek · 14 years ago
  43. 697d42d Teach CFGImplicitDtor::getDestructorDecl() about reference types. by Ted Kremenek · 14 years ago
  44. 2ae0054 Let's go with John and Ted's preferred fix. by Matt Beaumont-Gay · 14 years ago
  45. 8e23e6d Keep GCC from complaining about falling off the end of the function. by Matt Beaumont-Gay · 14 years ago
  46. 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
  47. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  48. 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 14 years ago
  49. 7a17851 Get rid of the areExceptionsEnabled() getter from LangOptions. by Anders Carlsson · 14 years ago
  50. 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
  51. 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
  52. 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
  53. c1cfdf8 Add a LangOptions::areExceptionsEnabled and start using it. by Anders Carlsson · 14 years ago
  54. d40baf6 Fix a -Wuninitialized warning; it's actually a false positive, by John McCall · 14 years ago
  55. 56ca35d Change the representation of GNU ?: expressions to use a different expression by John McCall · 14 years ago
  56. ad8dcf4 Step #1/N of implementing support for __label__: split labels into by Chris Lattner · 14 years ago
  57. fe59b74 Fix memory leak in CFGBuilder resulting from tracking scope information using SmallVectors. by Ted Kremenek · 14 years ago
  58. 7502c1d Give some convenient idiomatic accessors to Stmt::child_range and by John McCall · 14 years ago
  59. f4c7371 Change QualType::getTypePtr() to return a const pointer, then change a by John McCall · 14 years ago
  60. cbb6748 Renamed CXXBaseOrMemberInitializer to CXXCtorInitializer. This is both shorter, by Sean Hunt · 14 years ago
  61. 9ce5270 Fix crash in CFGBuilder on invalid code. We still need by Ted Kremenek · 14 years ago
  62. 0a3ed31 Rename several methods/functions in the analyzer by Ted Kremenek · 14 years ago
  63. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  64. 4765fa0 Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical by John McCall · 14 years ago
  65. 00eb3f9 More anonymous struct/union redesign. This one deals with anonymous field used in a constructor initializer list: by Francois Pichet · 14 years ago
  66. f6a1648 Although we currently have explicit lvalue-to-rvalue conversions, they're by John McCall · 14 years ago
  67. 5281b8e print asLValue attribute of CFGStmt. by Zhongxing Xu · 14 years ago
  68. 94a3dcf Refactor AddStmtChoice to make it easier to use; also add comments on how the class works. Reviewed by kremenek. by Zhanyong Wan · 14 years ago
  69. 36f327c Stylistic changes to CFG.cpp: by Zhanyong Wan · 14 years ago
  70. 99cae5b Fix PR8419. Reviewed by kremenek and xuzhongxing. by Zhanyong Wan · 14 years ago
  71. e4ae4dc Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression, by Ted Kremenek · 14 years ago
  72. 249c945 Revert r118991. by Zhongxing Xu · 14 years ago
  73. 9a4084d Do not add implicit dtors for CXXBindTemporaryExpr with elidable by Zhongxing Xu · 14 years ago
  74. 3ff5b26 Do not add elidable CXXConstructExpr as block-level expr. by Zhongxing Xu · 14 years ago
  75. 8599e76 Added generating destructors for temporary objects. Two cases I know of, that are not handled properly: by Marcin Swiderski · 14 years ago
  76. a725ed4 Explicitly handle CXXBindTemporaryExpr, CXXFunctionalCastExpr, by Zhongxing Xu · 14 years ago
  77. 81bc7d0 Make all CXXConstructExpr's block-level expressions. This is required by by Zhongxing Xu · 14 years ago
  78. 4ba72a0 Added CFGTerminator class, that holds information about CFGBlock terminator statement. by Marcin Swiderski · 14 years ago
  79. a1898dd If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExpr by Zhongxing Xu · 14 years ago
  80. 8c5e5d6 Added generation of destructors for member constant size arrays. by Marcin Swiderski · 14 years ago
  81. b1c5287 Added generation of destructors for constant size arrays. by Marcin Swiderski · 14 years ago
  82. e166719 - Fixed subexpressions evaluation order for binary operators to match order in code generated with the compiler, by Marcin Swiderski · 14 years ago
  83. 4e493e0 * Simplify code * Fix dump() to make it consistent with the test case. by Zhongxing Xu · 14 years ago
  84. 7c625d8 Added support for base and member destructors in destructor. by Marcin Swiderski · 14 years ago
  85. 82bc3fd Added support for C++ initializers in CFG. by Marcin Swiderski · 14 years ago
  86. a1a5d8e Now the whether adding implicit dtors is controlled by cmd option. by Zhongxing Xu · 14 years ago
  87. 6a16a30 The return value is never used. by Zhongxing Xu · 14 years ago
  88. b6edff5 Use default augument. by Zhongxing Xu · 14 years ago
  89. 02acdfa Simplify interface for addLocalScopeForStmt(). by Zhongxing Xu · 14 years ago
  90. 26bc705 The old logic would add non-struct and non C++ struct variables to the local by Zhongxing Xu · 14 years ago
  91. 0e97bcb Added generating CFGAutomaticObjDtors for exception variable in catch statement. by Marcin Swiderski · 14 years ago
  92. 47575f1 Added generating CFGAutomaticObjDtors for init statement, condition variable and implicit scope in for statement. by Marcin Swiderski · 14 years ago
  93. 8ae6058 dded generating CFGAutomaticObjDtors for condition variable and implicit scopes in switch statement. by Marcin Swiderski · 14 years ago
  94. 05adedc Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in while and do statements. by Marcin Swiderski · 14 years ago
  95. 04e046c Added generating CFGAutomaticObjDtors for condition variable and implicit scopes in if statement. by Marcin Swiderski · 14 years ago
  96. 63426e5 Fixed checking for trivial destructor in CFGBuilder::addLocalScopeForVarDecl. Checked type does not have to represent C++ class. by Marcin Swiderski · 14 years ago
  97. fcb72ac Added: by Marcin Swiderski · 14 years ago
  98. 239a7c4 Added methods for adding LocalScopes and CFGAutomaticObjDtors. by Marcin Swiderski · 14 years ago
  99. 53de134 Added methods for inserting CFGAutomaticObjDtors to CFGBlocks, by Marcin Swiderski · 14 years ago
  100. 35387a0 Added: by Marcin Swiderski · 14 years ago