Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 8ac2d449820fd0df00fcbde5bf82165c1f49854d / lib / Checker / GRExprEngine.cpp
  1. 8ac2d44 Eliminate usage of ObjCSuperExpr used for by Fariborz Jahanian · 14 years ago
  2. 830a7fe Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II. by Zhongxing Xu · 14 years ago
  3. c69c438 Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXXMemberCallExpr(). Ideally we should unify these code paths as much as possible, since they only differ by a few details. by Ted Kremenek · 14 years ago
  4. 212f6d3 Refactored BugReporter to refer to EndNode as ErrorNode. We currently make the assumption that EndNode == ErrorNode, but upcoming changes will break this. by Tom Care · 14 years ago
  5. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 14 years ago
  6. 68625cf Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect that we aborted analysis may not necessarily be due to a loop. by Tom Care · 14 years ago
  7. 6b219d0 Serialization support for CXXNoexceptExpr. by Sebastian Redl · 14 years ago
  8. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 14 years ago
  9. 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 14 years ago
  10. f0e34ed Remove unused variable. by Benjamin Kramer · 14 years ago
  11. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 14 years ago
  12. 4d3175c Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consider default case live if all enum values are covered by Ted Kremenek · 14 years ago
  13. 9be8840 Fix warnings caused by new CXXUuidofExprClass enumerator. by Francois Pichet · 14 years ago
  14. e2ca6d4 Eliminate CXXBindReferenceExpr, which was used in a ton of by Douglas Gregor · 14 years ago
  15. e8a4d7d update comments. by Zhongxing Xu · 14 years ago
  16. 79d7304 For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics. by Ted Kremenek · 14 years ago
  17. 6cf7502 Revert my user-defined literal commits - r1124{58,60,67} pending by Sean Hunt · 14 years ago
  18. 0016d51 Implement C++0x user-defined string literals. by Sean Hunt · 14 years ago
  19. 34feff6 Fix horrible GRExprEngine bug where switch statements with no 'case:' statements would cause the path to get prematurely aborted. Fixes <rdar://problem/8360854>. by Ted Kremenek · 14 years ago
  20. 4127117 Remove redundant cast<...>. by Ted Kremenek · 14 years ago
  21. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
  22. a7e6845 Detabify. by Eli Friedman · 14 years ago
  23. c2b7dfa Add a callback for when region changes occur. Still somewhat of a work-in-progress, but working! Effect on clients: all changes to a store now go through GRState. by Jordy Rose · 14 years ago
  24. bd533aa Add a new metadata symbol type for checkers to use. Metadata symbols must be associated with a region and will be collected if the region dies or its checker fails to mark it as in use. by Jordy Rose · 14 years ago
  25. de7e662 Zap unused UnaryOperator::OffsetOf. by Eli Friedman · 14 years ago
  26. a205061 Actually use reduced set of checkers in EvalAssume. by Jordy Rose · 14 years ago
  27. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 14 years ago
  28. 569c316 Allow reference binding of a reference of Objective-C object type to by Douglas Gregor · 14 years ago
  29. 1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 14 years ago
  30. 68df730 If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful. by Zhongxing Xu · 14 years ago
  31. 9b44eaf Revert r110317, and add a comment why the assertion is not an invariant. by Ted Kremenek · 14 years ago
  32. f5072af Turn the predicate into an assertion. When could the unequal case happen? by Zhongxing Xu · 14 years ago
  33. 72905cf Change the checker callback cache in GRExprEngine to be more compact (and IMHO a little easier to understand), and add the same sort of caching for EvalAssume (tied for least-used callback), mostly as proof-of-concept. by Jordy Rose · 14 years ago
  34. ff59efd Makes GRState::makeWithStore private, to encourage clients to make store changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState. by Jordy Rose · 14 years ago
  35. bc42c53 Changed GRExprEngine to pass down a reference to itself when checkers are doing postanalysis. This allows the checker to gather information about the state of the engine when it has finished. by Tom Care · 14 years ago
  36. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  37. 0e82a93 Remove extraneous guards around the call to getConjuredSymbolVal(). These checks are already done within getConjuredSymbolVal() itself. by Ted Kremenek · 14 years ago
  38. 1f19124 Delete unnecessary const_cast. by Zhongxing Xu · 14 years ago
  39. b732791 AnalysisContext is not const. by Zhongxing Xu · 14 years ago
  40. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 14 years ago
  41. 3992a50 Constify. by Zhongxing Xu · 14 years ago
  42. c6238d2 Reapply r108617. by Zhongxing Xu · 14 years ago
  43. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 14 years ago
  44. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 14 years ago
  45. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  46. df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 14 years ago
  47. e39a389 Introduce a new cast kind for an "lvalue bitcast", which handles by Douglas Gregor · 14 years ago
  48. ed8abf1 Reinstate the fix for PR7556. A silly use of isTrivial() was by Douglas Gregor · 14 years ago
  49. 8474567 Revert r107828 and r107827, the fix for PR7556, which seems to be by Douglas Gregor · 14 years ago
  50. 016a4a9 Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect its by Douglas Gregor · 14 years ago
  51. 06a54a3 Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of getBody() when we are just checking the existence of a body, to avoid de-serialization of the body from PCH. by Argyrios Kyrtzidis · 14 years ago
  52. b7e3aab Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still unimplemented. A VLA region's sizeof value matches its extent. by Jordy Rose · 14 years ago
  53. 7dadf79 Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 14 years ago
  54. c77a551 ExplodedGraph never uses ASTContext, remove it. by Zhongxing Xu · 14 years ago
  55. 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
  56. 1cba3ea Allow '__extension__' to be analyzed in a lvalue context. by Ted Kremenek · 14 years ago
  57. 4d3b1af Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. by Ted Kremenek · 14 years ago
  58. 9e9595b Add "checker caching" to GRExprEngine::CheckerVisit to progressively build by Ted Kremenek · 14 years ago
  59. ccc263b Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 14 years ago
  60. 8ad9cbc Don't assert on C++ casts that are currently not handled by the static analyzer. by Ted Kremenek · 14 years ago
  61. 5126c60 Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume by Zhongxing Xu · 14 years ago
  62. 9b14683 Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 14 years ago
  63. b00196d Add comments. by Zhongxing Xu · 14 years ago
  64. 6362b89 Add option '-analyzer-max-loop', which specifies the maximum by Zhongxing Xu · 14 years ago
  65. c12c5bb Substantially alter the design of the Objective C type AST by introducing by John McCall · 14 years ago
  66. a5fdd9c Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe! by Douglas Gregor · 14 years ago
  67. 1c625f2 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 14 years ago
  68. 8ecdb65 Completely reimplement __builtin_offsetof, based on a patch by Roberto Amadini. by Douglas Gregor · 14 years ago
  69. fb87b89 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 14 years ago
  70. d8383d4 CXXNamedCastExpr is actually an abstract expression. by Zhongxing Xu · 14 years ago
  71. 6b85138 Add initial support for C++ delete expr. by Zhongxing Xu · 14 years ago
  72. 04badcf Overhaul the AST representation of Objective-C message send by Douglas Gregor · 14 years ago
  73. 59fea60 Use GetState() to get the possible cleaned state. by Zhongxing Xu · 14 years ago
  74. cb7464a Move all C++ expression evaluation logic into its own file. by Zhongxing Xu · 14 years ago
  75. 856c6bc Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 14 years ago
  76. 1b49d76 Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 14 years ago
  77. 477323d Add support for CXXBoolLiteralExpr. by Zhongxing Xu · 14 years ago
  78. bc9ad74 Make all cases that we don't handle explicit. by Zhongxing Xu · 14 years ago
  79. 0d9d736 Dispatch all C++ cast expr to VisitCast(). by Zhongxing Xu · 14 years ago
  80. 950db87 Initial support for visiting CXXMemberCallExpr. by Zhongxing Xu · 14 years ago
  81. 3a3e584 Improve C++ constructor handling. by Zhongxing Xu · 14 years ago
  82. 23cba80 Introduce a new kind of derived-to-base cast which bypasses the need for by John McCall · 14 years ago
  83. 8891c42 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 14 years ago
  84. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 14 years ago
  85. 0541d10 Add methods to remove a GDM entry. by Zhongxing Xu · 14 years ago
  86. 8e18c1b Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 14 years ago
  87. bd2b208 Clear the return expr GDM after using it. by Zhongxing Xu · 14 years ago
  88. 7b71c19 Add a AggExprVisitor class. It contains lots of boiler by Zhongxing Xu · 14 years ago
  89. d9e0c0f Since we now may have basicblocks with the same block is in different function, by Zhongxing Xu · 14 years ago
  90. 17ddf1c Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 15 years ago
  91. c506357 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 15 years ago
  92. a48b284 Remove unused headers. by Duncan Sands · 15 years ago
  93. c179a7f Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 15 years ago
  94. 57d3b76 When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 15 years ago
  95. a804a68 Don't conjure a symbol for DeclStmts when the variable is a C++ reference. by Ted Kremenek · 15 years ago
  96. 6190ec2 Use a GDM to record the returned expression in the state when VisitReturnStmt. by Zhongxing Xu · 15 years ago
  97. 25108a5 Remove derelict GRStmtNodeBuilder::LastNode. by Zhongxing Xu · 15 years ago
  98. 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
  99. 2b706e5 Revert patches r97122 r97127 r97129 r97131. by Jakob Stoklund Olesen · 15 years ago
  100. 9a9f627 Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit(). by Zhongxing Xu · 15 years ago