Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / GRExprEngine.cpp
  1. 78b6675 Correctly implement the CheckerVisit optimization introduced in r106884, but this time actually used the cached checker list when calling back to Checker visit methods. This reduces the analysis time for sqlite3.c by 8%. by Ted Kremenek · 14 years ago
  2. 1cba3ea Allow '__extension__' to be analyzed in a lvalue context. by Ted Kremenek · 14 years ago
  3. 4d3b1af Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. by Ted Kremenek · 14 years ago
  4. 9e9595b Add "checker caching" to GRExprEngine::CheckerVisit to progressively build by Ted Kremenek · 14 years ago
  5. ccc263b Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 14 years ago
  6. 8ad9cbc Don't assert on C++ casts that are currently not handled by the static analyzer. by Ted Kremenek · 14 years ago
  7. 5126c60 Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume by Zhongxing Xu · 14 years ago
  8. 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
  9. b00196d Add comments. by Zhongxing Xu · 14 years ago
  10. 6362b89 Add option '-analyzer-max-loop', which specifies the maximum by Zhongxing Xu · 14 years ago
  11. c12c5bb Substantially alter the design of the Objective C type AST by introducing by John McCall · 14 years ago
  12. a5fdd9c Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe! by Douglas Gregor · 14 years ago
  13. 1c625f2 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 14 years ago
  14. 8ecdb65 Completely reimplement __builtin_offsetof, based on a patch by Roberto Amadini. by Douglas Gregor · 14 years ago
  15. fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 14 years ago
  16. d8383d4 CXXNamedCastExpr is actually an abstract expression. by Zhongxing Xu · 14 years ago
  17. 6b85138 Add initial support for C++ delete expr. by Zhongxing Xu · 14 years ago
  18. 04badcf Overhaul the AST representation of Objective-C message send by Douglas Gregor · 14 years ago
  19. 59fea60 Use GetState() to get the possible cleaned state. by Zhongxing Xu · 14 years ago
  20. cb7464a Move all C++ expression evaluation logic into its own file. by Zhongxing Xu · 14 years ago
  21. 856c6bc Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 14 years ago
  22. 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 14 years ago
  23. 477323d Add support for CXXBoolLiteralExpr. by Zhongxing Xu · 14 years ago
  24. bc9ad74 Make all cases that we don't handle explicit. by Zhongxing Xu · 14 years ago
  25. 0d9d736 Dispatch all C++ cast expr to VisitCast(). by Zhongxing Xu · 14 years ago
  26. 950db87 Initial support for visiting CXXMemberCallExpr. by Zhongxing Xu · 15 years ago
  27. 3a3e584 Improve C++ constructor handling. by Zhongxing Xu · 15 years ago
  28. 23cba80 Introduce a new kind of derived-to-base cast which bypasses the need for by John McCall · 15 years ago
  29. 8891c42 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 15 years ago
  30. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  31. 0541d10 Add methods to remove a GDM entry. by Zhongxing Xu · 15 years ago
  32. 8e18c1b Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 15 years ago
  33. bd2b208 Clear the return expr GDM after using it. by Zhongxing Xu · 15 years ago
  34. 7b71c19 Add a AggExprVisitor class. It contains lots of boiler by Zhongxing Xu · 15 years ago
  35. d9e0c0f Since we now may have basicblocks with the same block is in different function, by Zhongxing Xu · 15 years ago
  36. 17ddf1c Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 15 years ago
  37. c506357 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 15 years ago
  38. a48b284 Remove unused headers. by Duncan Sands · 15 years ago
  39. c179a7f Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 15 years ago
  40. 57d3b76 When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 15 years ago
  41. a804a68 Don't conjure a symbol for DeclStmts when the variable is a C++ reference. by Ted Kremenek · 15 years ago
  42. 6190ec2 Use a GDM to record the returned expression in the state when VisitReturnStmt. by Zhongxing Xu · 15 years ago
  43. 25108a5 Remove derelict GRStmtNodeBuilder::LastNode. by Zhongxing Xu · 15 years ago
  44. 102acd5 Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted due to a Clang-on-Clang failure by Douglas Gregor · 15 years ago
  45. 2b706e5 Revert patches r97122 r97127 r97129 r97131. by Jakob Stoklund Olesen · 15 years ago
  46. 9a9f627 Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit(). by Zhongxing Xu · 15 years ago
  47. 833e50e Call inliner improvements: by Zhongxing Xu · 15 years ago
  48. df61b58 Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 15 years ago
  49. 381d1bf Add UnixAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 15 years ago
  50. 94fd0b8 Add simpler checker to check if variables captured by a block are uninitialized. by Ted Kremenek · 15 years ago
  51. b9bbd59 Convert GRExprEngine's handling of ObjCMessageExprs to use a worklist by Ted Kremenek · 15 years ago
  52. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  53. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  54. 814e6b9 Cast evaluation no longer touch GRState. by Zhongxing Xu · 15 years ago
  55. 40c37e1 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 15 years ago
  56. 61e8e1b Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add by Ted Kremenek · 15 years ago
  57. da8e585 Use getTypeAlignInChars() for alignment in VisitSizeOfAlignOfExpr(). by Ken Dyck · 15 years ago
  58. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/Analysis/GRExprEngine.cpp]
  59. b79b117 Process cast according to the cast kind. Prepare for more specific cast by Zhongxing Xu · 15 years ago
  60. c39b2bd Fix a serious bug: Tmp3 is the wrong destination set. We should create a new by Zhongxing Xu · 15 years ago
  61. 199c3d6 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 15 years ago
  62. 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
  63. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
  64. 48569f9 Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 15 years ago
  65. de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
  66. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  67. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  68. 54d76db Remove some dead variables clang-analyzer found. by Benjamin Kramer · 15 years ago
  69. 9c825c3 Fix typo spotted by MSVC. by Benjamin Kramer · 15 years ago
  70. 919f066 Teach GRExprEngine to handle the initialization of the condition variable of a ForStmt. by Ted Kremenek · 15 years ago
  71. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  72. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  73. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  74. e59df87 Add stack trace pretty printing in GRExprEngine::VisitLValue(). by Ted Kremenek · 15 years ago
  75. c8be365 Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now). by Ted Kremenek · 15 years ago
  76. 7931c93 Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet. by Ted Kremenek · 15 years ago
  77. 077a40d Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue. by Ted Kremenek · 15 years ago
  78. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  79. 38ac4f5 Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 15 years ago
  80. 5328751 Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer. by Ted Kremenek · 15 years ago
  81. 7f14e6f Tweak formatting and comments. by Ted Kremenek · 15 years ago
  82. 3cead90 Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion to evaluate the arguments of a CallExpr. This simplifies the logic and makes it easier to read. (it also avoids any issues with blowing out the stack if the CallExpr had a ridiculous number of arguments) by Ted Kremenek · 15 years ago
  83. 5974ec5 Reduce nesting by using early exits. No functionality change. by Ted Kremenek · 15 years ago
  84. 82a64e5 Sort switch statement. No functionality change. by Ted Kremenek · 15 years ago
  85. 5f75f92 Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierInfo*'s. by Ted Kremenek · 15 years ago
  86. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  87. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  88. c768a0c Start the ball rolling on C++ support in the static analyzer. For by Ted Kremenek · 15 years ago
  89. 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 15 years ago
  90. 7fbb1ba Use insert to avoid destroying existing nodes. by Zhongxing Xu · 15 years ago
  91. 1ec4e97 Refactor OSAtomic evaluation logic into OSAtomicChecker. by Zhongxing Xu · 15 years ago
  92. 78c98fa Use a temporary destination set such that we can clear fake auto transitions. by Zhongxing Xu · 15 years ago
  93. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  94. a92bd30 remove dead code. by Zhongxing Xu · 15 years ago
  95. 9f68ea2 Insert instead of assign to the dest node set, since we use the dest node set by Zhongxing Xu · 15 years ago
  96. 17f4da8 Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified by Ted Kremenek · 15 years ago
  97. 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 15 years ago
  98. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  99. 935ef90 Add EvalCallExpr interface to checker, and migrate the no-return function by Zhongxing Xu · 15 years ago
  100. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 15 years ago