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