Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / fe255bc6dfddade15644aecead970791e96ddedc / lib / Analysis / CFG.cpp
  1. fe255bc Remove from the CFG the half-implemented support for scoping information. We decided that scope information doesn't belong in the CFG at all, since it is a lexical construct. by Ted Kremenek · 15 years ago
  2. 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 15 years ago
  3. be39a56 Remove stray ';' and convert tabs to spaces. by Ted Kremenek · 15 years ago
  4. ee7f84d Add 'filtered_pred_iterator' and 'filtered_succ_iterator' to CFGBlock. This allows a client by Ted Kremenek · 15 years ago
  5. d438b3d FinishBlock() is essentially doing nothing except returning '!badCFG'. by Zhongxing Xu · 15 years ago
  6. 1b3b7cb Simplify CFG construction: bail out early when we have a bad CFG. by Zhongxing Xu · 15 years ago
  7. 4e0cfa8 Improve CFG printing support for CXXOperatorCallExpr and CXXBindTemporaryExpr. by Ted Kremenek · 15 years ago
  8. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 15 years ago
  9. 5722b14 Revert my lame attempt at appeasing the CFGBuilder by Douglas Gregor · 15 years ago
  10. 35fe7ee Teach the CFGBuilder not do die on CXXBindTemporaryExpr, CXXOperatorCallExpr. Fixes a Boost.Graph crasher. by Douglas Gregor · 15 years ago
  11. 47e331e Explicitly handle CXXExprWithTemporaries during CFG construction by just visiting the subexpression. While we don't do anything intelligent right now, this obviates a bogus -Wunreahable-code warning reported in PR 6130. by Ted Kremenek · 15 years ago
  12. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  13. 334c195 Fix horrible CFG bug caused by a series of NullStmts appearing at the beginning of a do...while loop. This would cause by Ted Kremenek · 15 years ago
  14. d173dc7 CFGBuilder: don't create the empty "loop back" block for DoStmts if the loop edge can never be taken. by Ted Kremenek · 15 years ago
  15. 0fc67e2 Fix CFGBuilder to not blow out the stack when processing deeply nested CaseStmts. Fixes <rdar://problem/8268753>. by Ted Kremenek · 15 years ago
  16. ad5a894 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 15 years ago
  17. df11989 Make addStmt always add stmt. Delegate other cases to Visit() directly. by Zhongxing Xu · 15 years ago
  18. fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 15 years ago
  19. 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 15 years ago
  20. fadebba Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty. by Ted Kremenek · 15 years ago
  21. f42e337 Add null check in CFGBuilder::VisitStmt() to make CFG construction by Ted Kremenek · 15 years ago
  22. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 15 years ago
  23. 21f6d6e Use direct assignment instead of user defined conversion. by Zhongxing Xu · 15 years ago
  24. c5354a2 CFGBuilder: always add C++ member call expr as block-level expr. by Zhongxing Xu · 15 years ago
  25. 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 15 years ago
  26. 431ac2d Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be treated as indicating an lvalue. by Ted Kremenek · 15 years ago
  27. 7ea2136 Sort visitor methods. No functionality change. by Ted Kremenek · 15 years ago
  28. 264ba48 the big refactoring bits of PR3782. by Rafael Espindola · 15 years ago
  29. 802c66e Be a bit more consistent in using operator-> by Rafael Espindola · 15 years ago
  30. 792bea9 Simplify code a bit and remove unneeded semicolons. by Benjamin Kramer · 15 years ago
  31. 5ba290a [CFG] by Ted Kremenek · 15 years ago
  32. 9107166 Always add CallExpr as block-level expression. Inline-based interprocedural by Zhongxing Xu · 15 years ago
  33. c3daac5 Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out to by Daniel Dunbar · 15 years ago
  34. 8414a8c Simplify code: Succ is guaranteed to be not NULL. by Zhongxing Xu · 15 years ago
  35. 55f988e Improve unreachable code warnings with respect to dead binary and by Mike Stump · 16 years ago
  36. 4c45aa1 Speed up compilation by avoiding generating exceptional edges from by Mike Stump · 16 years ago
  37. b978a44 Add infrastructure to add base initializers and member initializers to by Mike Stump · 16 years ago
  38. f00cca5 Wire up the EH context for the catch clauses to the outer EH context. WIP. by Mike Stump · 16 years ago
  39. a1f9363 Add an exceptional edge from the try terminated block to the outer EH by Mike Stump · 16 years ago
  40. 079bd72 Add CFG support for the start and end of scopes and infrastructure for by Mike Stump · 16 years ago
  41. 3fa1e4b Tighten code and rework indentation of some if() branches (for readability). No functionality change. by Ted Kremenek · 16 years ago
  42. 6db0ad3 Remove extra space in uses of 'assert()'. by Ted Kremenek · 16 years ago
  43. 021c8af Re-alphabetize cases in switch statement. by Ted Kremenek · 16 years ago
  44. 5d1d202 Add try/catch CFG support. Also improve throw CFG support. WIP. by Mike Stump · 16 years ago
  45. 58b87fe Add CFG support for the initializer of the condition variable of a ForStmt. by Ted Kremenek · 16 years ago
  46. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 16 years ago
  47. 7652546 Add CFG support for the initializer of the condition variable of a WhileStmt. by Ted Kremenek · 16 years ago
  48. 6b501eb Add CFG support for the initializer of the condition variable of a SwitchStmt. by Ted Kremenek · 16 years ago
  49. 8a69366 Tidy up FindSubExprAssignments to not deference the child_iterator multiple times. by Ted Kremenek · 16 years ago
  50. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 16 years ago
  51. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 16 years ago
  52. c768a0c Start the ball rolling on C++ support in the static analyzer. For by Ted Kremenek · 16 years ago
  53. 224451b Include BlockDeclRefExprs in constructed CFGs. by Ted Kremenek · 16 years ago
  54. 006b0eb Adapt to the DOTGraphTraits changes in LLVM. by Tobias Grosser · 16 years ago
  55. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  56. 721903e Allow building of CFGs for ASTs that contain BlockExprs. by Ted Kremenek · 16 years ago
  57. da9b30e Remove stale comment and tighten code. by Ted Kremenek · 16 years ago
  58. 0ba497b Use llvm::OwningPtr in CFGBuilder, fixing a leak on an error path. by Ted Kremenek · 16 years ago
  59. ee82d9b Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, successor and predecessor vectors, etc. by Ted Kremenek · 16 years ago
  60. 6c24972 When building CFGs, no longer reverse the statements in the CFGBlock. Instead by Ted Kremenek · 16 years ago
  61. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  62. e8d6d2b CFG construction: Abort CFG construction when processing a CompoundStmt if any by Ted Kremenek · 16 years ago
  63. 9983cc1 Don't try to evaluate an expression that is type- or value-dependent while building the CFG by Douglas Gregor · 16 years ago
  64. 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 16 years ago
  65. d5c3b13 If the 'while' has an empty body, set the body to the continue target block. by Zhongxing Xu · 16 years ago
  66. 1d4b218 If the body of for loop is empty, set its body to the continue target. by Zhongxing Xu · 16 years ago
  67. 2455636 Add noreturn as a type attribute, handle printing for them and handle by Mike Stump · 16 years ago
  68. fadc9ea Add doxygen comments and simplify expression. by Ted Kremenek · 16 years ago
  69. 941fde8 Introduce a new variant type 'TryResult' to represent the result of by Ted Kremenek · 16 years ago
  70. 00998a0 Refactor and push the evaluation as late as possible. by Mike Stump · 16 years ago
  71. 0979d80 Improve CFG support for C++ throw expressions. by Mike Stump · 16 years ago
  72. bd04878 Make 'SaveAndRestore' and friends reusable classes in libAnalysis. by Ted Kremenek · 16 years ago
  73. 22cd658 Wire up CFG improvements for __builtin_choose_expr. by Mike Stump · 16 years ago
  74. 8f9893a Wire up CFG improvements for do { } while () when the condition is known. by Mike Stump · 16 years ago
  75. fefb9f7 Wire up for statement CFG improvements for conditionals that are known. by Mike Stump · 16 years ago
  76. 5f20363 Wire up CFG improvements for while when the condition is known. by Mike Stump · 16 years ago
  77. e5af3ce Add yet more analysis for CFGs involving conditionals that are actually constant. by Mike Stump · 16 years ago
  78. 13fc08a Fix some fallout from CFGBuilder restructuring: all expressions that we explicitly handle have the possibility to be block-level expressions. by Ted Kremenek · 16 years ago
  79. 6dc534e Fix possible null dereference in CFG construction. by Ted Kremenek · 16 years ago
  80. 4f88063 Restructure CFG builder to have just one visitor path instead of two. The result by Ted Kremenek · 16 years ago
  81. 3fc8ef5 Move WalkAST logic for 'ChooseExpr' to 'VisitChooseExpr'. by Ted Kremenek · 16 years ago
  82. f34bb2e Move WalkAST logic for 'ConditionalOperator' into 'VisitConditionalOperator'. by Ted Kremenek · 16 years ago
  83. b6f1d78 Remove stale comments. by Ted Kremenek · 16 years ago
  84. 01bc160 clean up this code, add the fixme back. by Chris Lattner · 16 years ago
  85. a004254 Refactor code into a new CallExpr::getDirectCallee() method. Simplify some by Zhongxing Xu · 16 years ago
  86. 6d9828c Fixup indentation of rest of switch statement to match llvm coding by Mike Stump · 16 years ago
  87. cd7bf23 Make noreturn functions alter the CFG. by Mike Stump · 16 years ago
  88. e41611a Move the source-level CFG from libAST to libAnalysis. by Ted Kremenek · 16 years ago[Renamed (99%) from lib/AST/CFG.cpp]
  89. ed47fc6 Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successor by Ted Kremenek · 16 years ago
  90. e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 16 years ago
  91. 71edeb7 Remove unneeded #includes. by Ted Kremenek · 16 years ago
  92. 02995ce Update for LLVM API changes. by Owen Anderson · 16 years ago
  93. d249e1d1f Create a new PrintingPolicy class, which we pass down through the AST by Douglas Gregor · 16 years ago
  94. da5348e source-level CFG: have the body for the @synchronized start with its own basic by Ted Kremenek · 16 years ago
  95. b3b0b36 Add CFG support for @synchronized. This fixes <rdar://problem/6848820>. by Ted Kremenek · 16 years ago
  96. 4e8df2e Fix crasher in CFG construction when not properly handling ASTs that contain by Ted Kremenek · 16 years ago
  97. 8f08c9d CFG: Add "loop back" block for do...while statements. by Ted Kremenek · 16 years ago
  98. f6e8541 CFG: 'WhileStmts' needs an extra block to indicate the "loop back" path. by Ted Kremenek · 16 years ago
  99. 3575f84 CFG: by Ted Kremenek · 16 years ago
  100. 235c5ed CFG: when there is not continue or break target, mark the CFG as bad. by Ted Kremenek · 16 years ago