Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e9e91b05971b37564e3d0f1851f37ae4c71344d2 / clang / lib / Checker / GRExprEngine.cpp
  1. 8de0a3d MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  2. 8b2d2fe Allow reference binding of a reference of Objective-C object type to by Douglas Gregor · 15 years ago
  3. 925501c Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 15 years ago
  4. 44207a9 If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful. by Zhongxing Xu · 15 years ago
  5. 9c22219 Revert r110317, and add a comment why the assertion is not an invariant. by Ted Kremenek · 15 years ago
  6. 478fdb1 Turn the predicate into an assertion. When could the unequal case happen? by Zhongxing Xu · 15 years ago
  7. c36df4d 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 · 15 years ago
  8. ddec092 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 · 15 years ago
  9. 44081fb 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 · 15 years ago
  10. 8bedb7d Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 15 years ago
  11. 1008a2a Remove extraneous guards around the call to getConjuredSymbolVal(). These checks are already done within getConjuredSymbolVal() itself. by Ted Kremenek · 15 years ago
  12. 692ac46 Delete unnecessary const_cast. by Zhongxing Xu · 15 years ago
  13. cabfb72 AnalysisContext is not const. by Zhongxing Xu · 15 years ago
  14. edb77fe Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 15 years ago
  15. c2acbe0 Constify. by Zhongxing Xu · 15 years ago
  16. 84f65e0 Reapply r108617. by Zhongxing Xu · 15 years ago
  17. e2e031e Revert r108617, it broke the build. by Benjamin Kramer · 15 years ago
  18. 4ca4a99 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 15 years ago
  19. b32964d Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 15 years ago
  20. 826e6b4 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 15 years ago
  21. 5195427 Introduce a new cast kind for an "lvalue bitcast", which handles by Douglas Gregor · 15 years ago
  22. 747eb78 Reinstate the fix for PR7556. A silly use of isTrivial() was by Douglas Gregor · 15 years ago
  23. e182370 Revert r107828 and r107827, the fix for PR7556, which seems to be by Douglas Gregor · 15 years ago
  24. 6df2b8c Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect its by Douglas Gregor · 15 years ago
  25. 36ea322 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 · 15 years ago
  26. 0704a7f Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still unimplemented. A VLA region's sizeof value matches its extent. by Jordy Rose · 15 years ago
  27. f7488ec 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 · 15 years ago
  28. bf81ed1 ExplodedGraph never uses ASTContext, remove it. by Zhongxing Xu · 15 years ago
  29. 169e43c 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 · 15 years ago
  30. f00eac5c Allow '__extension__' to be analyzed in a lvalue context. by Ted Kremenek · 15 years ago
  31. 58f61ec Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. by Ted Kremenek · 15 years ago
  32. fe97a1a Add "checker caching" to GRExprEngine::CheckerVisit to progressively build by Ted Kremenek · 15 years ago
  33. 574f304 Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 15 years ago
  34. 55081f9 Don't assert on C++ casts that are currently not handled by the static analyzer. by Ted Kremenek · 15 years ago
  35. 8225bda Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume by Zhongxing Xu · 15 years ago
  36. 1225aac Merge StackAddrLeakChecker and ReturnStackAddressChecker. by Zhongxing Xu · 15 years ago
  37. 3b72947 Add comments. by Zhongxing Xu · 15 years ago
  38. b013b0b Add option '-analyzer-max-loop', which specifies the maximum by Zhongxing Xu · 15 years ago
  39. 8b07ec2 Substantially alter the design of the Objective C type AST by introducing by John McCall · 15 years ago
  40. 10dc8aa Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe! by Douglas Gregor · 15 years ago
  41. 1a56a48 Turn -analyzer-inline-call on for C functions. This also fixed a bug that by Zhongxing Xu · 16 years ago
  42. 882211c Completely reimplement __builtin_offsetof, based on a patch by Roberto Amadini. by Douglas Gregor · 16 years ago
  43. 8385a06 Introduce Type::isStructureOrClassType(), which does the obvious by Douglas Gregor · 16 years ago
  44. 105dfb5 CXXNamedCastExpr is actually an abstract expression. by Zhongxing Xu · 16 years ago
  45. d80755d Add initial support for C++ delete expr. by Zhongxing Xu · 16 years ago
  46. 9a12919 Overhaul the AST representation of Objective-C message send by Douglas Gregor · 16 years ago
  47. 4d4b8d8 Use GetState() to get the possible cleaned state. by Zhongxing Xu · 16 years ago
  48. 6a479bf Move all C++ expression evaluation logic into its own file. by Zhongxing Xu · 16 years ago
  49. b6843f5 Analyzer: add support for CXXNewExpr. by Zhongxing Xu · 16 years ago
  50. 8db54ff Fix PR 6844, a regression caused by the introduction of llvm_unreachable for the default by Ted Kremenek · 16 years ago
  51. 3fd0509 Add support for CXXBoolLiteralExpr. by Zhongxing Xu · 16 years ago
  52. 17b33ed Make all cases that we don't handle explicit. by Zhongxing Xu · 16 years ago
  53. b6f02c3 Dispatch all C++ cast expr to VisitCast(). by Zhongxing Xu · 16 years ago
  54. 920070c Initial support for visiting CXXMemberCallExpr. by Zhongxing Xu · 16 years ago
  55. 8cea7f6 Improve C++ constructor handling. by Zhongxing Xu · 16 years ago
  56. d9c7c656 Introduce a new kind of derived-to-base cast which bypasses the need for by John McCall · 16 years ago
  57. 4be6a75 Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6302. by Ted Kremenek · 16 years ago
  58. c048322 Checker: random include cleanup. by Benjamin Kramer · 16 years ago
  59. b6e1c13 Add methods to remove a GDM entry. by Zhongxing Xu · 16 years ago
  60. e248dca Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 16 years ago
  61. bf2f0d7 Clear the return expr GDM after using it. by Zhongxing Xu · 16 years ago
  62. 1ff3dce Add a AggExprVisitor class. It contains lots of boiler by Zhongxing Xu · 16 years ago
  63. 3c0c81a Since we now may have basicblocks with the same block is in different function, by Zhongxing Xu · 16 years ago
  64. 03fd766 Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 16 years ago
  65. 0eb6903 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 16 years ago
  66. 7a9ba76 Remove unused headers. by Duncan Sands · 16 years ago
  67. e735843 Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 16 years ago
  68. 5cb8d9d When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 16 years ago
  69. c3c1b10 Don't conjure a symbol for DeclStmts when the variable is a C++ reference. by Ted Kremenek · 16 years ago
  70. 5c07584 Use a GDM to record the returned expression in the state when VisitReturnStmt. by Zhongxing Xu · 16 years ago
  71. d041bc6 Remove derelict GRStmtNodeBuilder::LastNode. by Zhongxing Xu · 16 years ago
  72. a2fbc94 Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted due to a Clang-on-Clang failure by Douglas Gregor · 16 years ago
  73. 5a8f9ac Revert patches r97122 r97127 r97129 r97131. by Jakob Stoklund Olesen · 16 years ago
  74. 9516fea Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit(). by Zhongxing Xu · 16 years ago
  75. 1486361 Call inliner improvements: by Zhongxing Xu · 16 years ago
  76. b663ffe Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 16 years ago
  77. d55522f Add UnixAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 16 years ago
  78. 2286397 Add simpler checker to check if variables captured by a block are uninitialized. by Ted Kremenek · 16 years ago
  79. d51217e Convert GRExprEngine's handling of ObjCMessageExprs to use a worklist by Ted Kremenek · 16 years ago
  80. 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
  81. 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
  82. 319deb8 Cast evaluation no longer touch GRState. by Zhongxing Xu · 16 years ago
  83. 1e3b955 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 16 years ago
  84. fab459f Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add by Ted Kremenek · 16 years ago
  85. 2c229a7 Use getTypeAlignInChars() for alignment in VisitSizeOfAlignOfExpr(). by Ken Dyck · 16 years ago
  86. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/GRExprEngine.cpp]
  87. a1293a6 Process cast according to the cast kind. Prepare for more specific cast by Zhongxing Xu · 16 years ago
  88. cd17954 Fix a serious bug: Tmp3 is the wrong destination set. We should create a new by Zhongxing Xu · 16 years ago
  89. 4077500 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 16 years ago
  90. c6aa800 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 16 years ago
  91. f1eeb78 When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 16 years ago
  92. b92304b Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 16 years ago
  93. acd71a4 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 · 16 years ago
  94. de8e744 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 16 years ago
  95. b0e15df Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 16 years ago
  96. d20ef75 Remove some dead variables clang-analyzer found. by Benjamin Kramer · 16 years ago
  97. a713b5d Fix typo spotted by MSVC. by Benjamin Kramer · 16 years ago
  98. b135a13 Teach GRExprEngine to handle the initialization of the condition variable of a ForStmt. by Ted Kremenek · 16 years ago
  99. 09bc3b7 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 16 years ago
  100. 5894932 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 16 years ago