Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / refs/heads/fp2-m-sibon / test / Analysis / misc-ps.m
  1. 176edba Update aosp/master Clang for rebase to r222490. by Stephen Hines · 10 years ago
  2. 651f13c Updated to Clang 3.5a. by Stephen Hines · 10 years ago
  3. 42adacb Remove OSAtomicChecker. by Ted Kremenek · 12 years ago
  4. 991bcb4 [analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue. by Jordan Rose · 12 years ago
  5. cdc3a89 Fix analyzer tests. by Ted Kremenek · 12 years ago
  6. e3f3825 Remove BasicConstraintManager. It hasn't been in active service for a while. by Ted Kremenek · 12 years ago
  7. 61b135a Tweak test case to not emit warning. by Ted Kremenek · 12 years ago
  8. 6da6049 Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr by Ted Kremenek · 12 years ago
  9. 6400f02 [analyzer] Fix a crash in triggered by OSAtomicChecker. by Anna Zaks · 12 years ago
  10. b2f6820 Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. by Patrick Beard · 12 years ago
  11. 625bb56 Generalize -Wempty-body: warn when statement body is empty (closes: PR11329) by Dmitri Gribenko · 13 years ago
  12. a8180e5 Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>. by Ted Kremenek · 13 years ago
  13. 2cbe791 [analyzer] Do not invalidate arguments when the parameter's by Anna Zaks · 13 years ago
  14. b44b966 test/Analysis: fix error message by Dylan Noblesmith · 13 years ago
  15. ccf1bfd [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 13 years ago
  16. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 13 years ago
  17. a4c7a43 Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge. by Ted Kremenek · 13 years ago
  18. 6e744db Teach static analyzer to analyze Objective-C methods in category implementations. by Ted Kremenek · 13 years ago
  19. bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 13 years ago
  20. 8a285ae Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271. by Argyrios Kyrtzidis · 13 years ago
  21. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 14 years ago
  22. e9cd9c0 Fix CFG assertion failure reported in PR 9467. This was due to recent changes in optimizing CFGs for switch statements. by Ted Kremenek · 14 years ago
  23. ade3195 Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. by Ted Kremenek · 14 years ago
  24. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  25. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  26. 3267d95 [analyzer] Migrate NoReturnFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  27. 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  28. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  29. 38c8fe7 Allow passing a list of comma separated checker names to -analyzer-checker, e.g: by Argyrios Kyrtzidis · 14 years ago
  30. f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
  31. 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
  32. 23ade50 [analyzer] Use the new registration mechanism on some of the experimental internal checkers: by Argyrios Kyrtzidis · 14 years ago
  33. c9f2e0f [analyzer] Use the new registration mechanism on the IdempotentOperationChecker. by Argyrios Kyrtzidis · 14 years ago
  34. 027a6ab [analyzer] Use the new registration mechanism on some of the internal checks. These are: by Argyrios Kyrtzidis · 14 years ago
  35. ac518ec Add test case for PR 8646. by Ted Kremenek · 14 years ago
  36. e4ae4dc Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression, by Ted Kremenek · 14 years ago
  37. 948163b Relax assertion in SValuator so that we don't crash when analyzing a call via a function pointer that by Ted Kremenek · 14 years ago
  38. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  39. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  40. 0d4f767 Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. by Ted Kremenek · 14 years ago
  41. 1adee4b Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is by Ted Kremenek · 14 years ago
  42. 1b2ad2f Revert r114316, -Wunused-value enabled by default was intended. by Argyrios Kyrtzidis · 14 years ago
  43. 6dff228 Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194. by Argyrios Kyrtzidis · 14 years ago
  44. 8f3b834 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure by Ted Kremenek · 14 years ago
  45. 0853c7f Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>. by Ted Kremenek · 14 years ago
  46. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 14 years ago
  47. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  48. 977a58a Include test case for <rdar://problem/5880430>. by Ted Kremenek · 14 years ago
  49. 5d1d7ae Get rid of the "functions declared 'noreturn' should have a 'void' result type" warning. by Anders Carlsson · 14 years ago
  50. f69cf18 Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050. by Ted Kremenek · 14 years ago
  51. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 14 years ago
  52. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  53. 6d0e6ce Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker. by Tom Care · 14 years ago
  54. 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
  55. 58f281f Add warning for functions/blocks that have attribute 'noreturn' but return a non-void result. (<rdar://problem/7562925>) by Ted Kremenek · 14 years ago
  56. a277e77 Allow EvalBinOpNN to handle expressions of the form $a+$b if $b can be reduced to a constant. by Jordy Rose · 14 years ago
  57. b60a77e Only run the jump-checker if there's a branch-protected scope *and* there's by John McCall · 14 years ago
  58. 3e5637f Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same. by Ted Kremenek · 14 years ago
  59. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  60. 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
  61. 8b5dec3 implement PR7569, warning about assignment to null, which by Chris Lattner · 14 years ago
  62. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  63. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  64. fcd783d Change AnalysisConsumer to analyze functions created by instantiantiating a macro. Fixes PR 7361. by Ted Kremenek · 14 years ago
  65. f0af777 Predefine the '__clang_analyzer__' macro when using '-analyze'. by Ted Kremenek · 14 years ago
  66. fadebba Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty. by Ted Kremenek · 14 years ago
  67. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 14 years ago
  68. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 15 years ago
  69. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 15 years ago
  70. 4dc1566 Fix regression in RegionStore (from BasicStore) where static variables were not treated as being implicitly initialized to 0 (and instead were getting symbolicated). by Ted Kremenek · 15 years ago
  71. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  72. 95a0112 Specially handle casts to 'void' in AdjustedReturnValueChecker. by Ted Kremenek · 15 years ago
  73. 40c37e1 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 15 years ago
  74. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 15 years ago
  75. f681704 Explicitly check for casts to double or complex types instead of possibly asserting in SValuator. by Ted Kremenek · 15 years ago
  76. 61e8e1b Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add by Ted Kremenek · 15 years ago
  77. 4617191 Insulate these from changes to the default for -Wunreachable-code. by Mike Stump · 15 years ago
  78. 45eb406 Add test case. by Zhongxing Xu · 15 years ago
  79. c213b48 Teach BugReporter to "escape" the occurance of '%' characters in diagnostic messages when emitted results to the standard Diagnostics output. Fixes PR 6033. by Ted Kremenek · 15 years ago
  80. 7ef655a implement PR6004, warning about divide and remainder by zero. by Chris Lattner · 15 years ago
  81. 36fcde0 Make sure this test case tests analyzing both x86_64 and i386 archs. by Ted Kremenek · 15 years ago
  82. e030358 add a bunch of missing prototypes to tests by Chris Lattner · 15 years ago
  83. 6607aca Move test case to a more appropriate file. by Zhongxing Xu · 15 years ago
  84. 0d1847d Add test case. by Zhongxing Xu · 15 years ago
  85. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  86. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  87. 8a90ac0 Normalize options to use '-FOO' instead of '--FOO'. by Daniel Dunbar · 15 years ago
  88. 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 15 years ago
  89. 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 15 years ago
  90. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 15 years ago
  91. 63e963c Handle case of missing '@end' in implementation context by Fariborz Jahanian · 15 years ago
  92. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  93. d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
  94. de7d800 CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to determine if a pointer is casted to a struct pointer. This fixes an observed false positive when a value is casted to a union. by Ted Kremenek · 15 years ago
  95. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  96. ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
  97. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  98. 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
  99. 9b02034 Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant. by Ted Kremenek · 15 years ago
  100. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago