Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / refs/heads/fp2-m-sibon / test / Analysis / misc-ps-region-store.cpp
  1. c568f1e Update Clang for rebase to r212749. by Stephen Hines · 10 years ago
  2. 651f13c Updated to Clang 3.5a. by Stephen Hines · 10 years ago
  3. d000b85 [analyzer] Add new debug helper clang_analyzer_warnIfReached. by Jordan Rose · 11 years ago
  4. 88de5a0 Add test case for PR 12921. by Ted Kremenek · 11 years ago
  5. bfa9ab8 [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". by Anna Zaks · 11 years ago
  6. beac9e3 Do not model loads from complex types, since we don't accurately model the imaginary and real parts yet. by Ted Kremenek · 11 years ago
  7. 9c04666 Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <rdar://problem/12759044>. by Ted Kremenek · 12 years ago
  8. 1994e39 Fix another false positive due to a CXX temporary object appearing in a C initializer. by Ted Kremenek · 12 years ago
  9. bd8a11e Provide stop-gap solution to crash reported in PR 14436. by Ted Kremenek · 12 years ago
  10. dac6cd5 [analyzer] Fix a crash reported in PR 14400. by Anna Zaks · 12 years ago
  11. cdc3a89 Fix analyzer tests. by Ted Kremenek · 12 years ago
  12. ee04959 [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests. by Jordan Rose · 12 years ago
  13. c32a453 [analyzer] Treat C++ 'throw' as a sink. by Jordan Rose · 12 years ago
  14. a869518 [analyzer] Use a more robust check for null in CallAndMessageChecker. by Jordan Rose · 12 years ago
  15. 9f3b9d5 [analyzer] Add a simple check for initializing reference variables with null. by Jordan Rose · 12 years ago
  16. 10f77ad Implement initial static analysis inlining support for C++ methods. by Ted Kremenek · 12 years ago
  17. c319c58 Teach the analyzer about CXXScaleValueInitExpr. by Ted Kremenek · 12 years ago
  18. b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 12 years ago
  19. 5aac0b6 Fix static analyzer crash on code taking the address of a field. Fixes PR 11146. by Ted Kremenek · 12 years ago
  20. ce612f5 Fix analyzer crash on analyzing 'catch' with no condition variable. by Ted Kremenek · 12 years ago
  21. 337e4db [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered by Ted Kremenek · 12 years ago
  22. 60a4481 Fix typo. by Ted Kremenek · 13 years ago
  23. a078ecf When analyzing a C++ method (without a specific caller), assume 'this' is non-null. Fixes <rdar://problem/10508787>. by Ted Kremenek · 13 years ago
  24. 214323b Relax RegionStore to allow loads from CodeTextRegions. Apparently you can actually write code that does this. This seems worthy of a checker, but the StoreManager should handle the memory abstraction without crashing. Fixes PR 11450. by Ted Kremenek · 13 years ago
  25. e42a0ab Fixed crash with initializer lists and unnamed bitfields in the RegionStore by Jim Goodnow II · 13 years ago
  26. e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
  27. 5bd0495 [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes <rdar://problem/9948787>. by Ted Kremenek · 13 years ago
  28. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 13 years ago
  29. c46d641 Teach RegionStore not to symbolic array values whose indices it cannot reason about. by Ted Kremenek · 13 years ago
  30. 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 13 years ago
  31. 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 13 years ago
  32. bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 13 years ago
  33. 235c02f Teach GRState::getSValAsScalarOrLoc() about C++ references. by Ted Kremenek · 13 years ago
  34. 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 13 years ago
  35. 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 13 years ago
  36. 94ae8fd Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn't always be the final node, thus causing the state to continue propagating. Instead, by Ted Kremenek · 13 years ago
  37. 41c5f49 Teach static analyzer about the basics of handling new[]. We still don't simulate constructors, but at least the analyzer doesn't think the return value is uninitialized. by Ted Kremenek · 13 years ago
  38. b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 13 years ago
  39. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 13 years ago
  40. b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 13 years ago
  41. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 13 years ago
  42. b8b07b1 Handle 'UsingDirective' in CFGRecStmtDeclVisitor. by Ted Kremenek · 13 years ago
  43. 250704b If the unary operator is prefix and an lvalue (in C++), bind by Zhongxing Xu · 14 years ago
  44. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  45. 99cae5b Fix PR8419. Reviewed by kremenek and xuzhongxing. by Zhanyong Wan · 14 years ago
  46. 739830d Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor. by Zhanyong Wan · 14 years ago
  47. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 14 years ago
  48. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 14 years ago
  49. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 14 years ago
  50. 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 · 14 years ago
  51. dd8b441 Add analyzer test case for 'ForStmt' with condition variable. by Ted Kremenek · 15 years ago
  52. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 15 years ago
  53. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  54. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  55. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  56. 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
  57. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  58. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  59. 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
  60. d87682e Add failing test case for C++ static analysis. by Ted Kremenek · 15 years ago