Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b26bd7426dd102273be190bf6fb13f7533838154 / test / Analysis / misc-ps.m
  1. e4ae4dc Remove invalid assertion from CFG builder. When building the CFG pieces for a ternary '?' expression, by Ted Kremenek · 14 years ago
  2. 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
  3. 29836f9 RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal. This by Ted Kremenek · 14 years ago
  4. c1143e5 Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire by Ted Kremenek · 14 years ago
  5. 0d4f767 Add check for UnknownVals for mutexes in ObjCAtSyncChecker. Fixes crash reported in PR 8458. by Ted Kremenek · 14 years ago
  6. 1adee4b Tweak the ObjCAtSyncChecker to assume that a mutex is non-nil after checking that it is by Ted Kremenek · 14 years ago
  7. 1b2ad2f Revert r114316, -Wunused-value enabled by default was intended. by Argyrios Kyrtzidis · 14 years ago
  8. 6dff228 Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194. by Argyrios Kyrtzidis · 14 years ago
  9. 8f3b834 Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure by Ted Kremenek · 14 years ago
  10. 0853c7f Polish diagnostics for null dereferences via ObjC ivar accesses. Finishes up <rdar://problem/6352035>. by Ted Kremenek · 14 years ago
  11. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 14 years ago
  12. 818b433 Clean up obtuse wording of checker diagnostic of using an uninitialized value in a function call. by Ted Kremenek · 14 years ago
  13. 977a58a Include test case for <rdar://problem/5880430>. by Ted Kremenek · 14 years ago
  14. 5d1d7ae Get rid of the "functions declared 'noreturn' should have a 'void' result type" warning. by Anders Carlsson · 14 years ago
  15. f69cf18 Don't assert in CastSizeChecker when the casted-to pointee is an incomplete type. Fixes PR 8050. by Ted Kremenek · 14 years ago
  16. 6216dc0 Adjusted the semantics of assign checking in IdempotentOperationChecker by Tom Care · 14 years ago
  17. 9edd4d0 Added checking of (x == x) and (x != x) to IdempotentOperationChecker and updated test cases flagged by it. by Tom Care · 14 years ago
  18. 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
  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. 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
  21. 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
  22. b60a77e Only run the jump-checker if there's a branch-protected scope *and* there's by John McCall · 14 years ago
  23. 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
  24. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 14 years ago
  25. 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
  26. 8b5dec3 implement PR7569, warning about assignment to null, which by Chris Lattner · 14 years ago
  27. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  28. 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
  29. fcd783d Change AnalysisConsumer to analyze functions created by instantiantiating a macro. Fixes PR 7361. by Ted Kremenek · 14 years ago
  30. f0af777 Predefine the '__clang_analyzer__' macro when using '-analyze'. by Ted Kremenek · 14 years ago
  31. 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
  32. 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 14 years ago
  33. 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 14 years ago
  34. 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 14 years ago
  35. 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 · 14 years ago
  36. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 14 years ago
  37. 95a0112 Specially handle casts to 'void' in AdjustedReturnValueChecker. by Ted Kremenek · 14 years ago
  38. 40c37e1 static analyzer: handle casts of a function to a function pointer with by Ted Kremenek · 14 years ago
  39. 5b29065 Fix regression in RegionStore due to recent changes in by Ted Kremenek · 14 years ago
  40. f681704 Explicitly check for casts to double or complex types instead of possibly asserting in SValuator. by Ted Kremenek · 14 years ago
  41. 61e8e1b Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not add by Ted Kremenek · 14 years ago
  42. 4617191 Insulate these from changes to the default for -Wunreachable-code. by Mike Stump · 14 years ago
  43. 45eb406 Add test case. by Zhongxing Xu · 14 years ago
  44. 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 · 14 years ago
  45. 7ef655a implement PR6004, warning about divide and remainder by zero. by Chris Lattner · 14 years ago
  46. 36fcde0 Make sure this test case tests analyzing both x86_64 and i386 archs. by Ted Kremenek · 14 years ago
  47. e030358 add a bunch of missing prototypes to tests by Chris Lattner · 14 years ago
  48. 6607aca Move test case to a more appropriate file. by Zhongxing Xu · 14 years ago
  49. 0d1847d Add test case. by Zhongxing Xu · 14 years ago
  50. a572887 Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 15 years ago
  51. ef74f4c Replace clang-cc with clang -cc1. by Zhongxing Xu · 15 years ago
  52. 8a90ac0 Normalize options to use '-FOO' instead of '--FOO'. by Daniel Dunbar · 15 years ago
  53. 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 15 years ago
  54. 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 15 years ago
  55. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 15 years ago
  56. 63e963c Handle case of missing '@end' in implementation context by Fariborz Jahanian · 15 years ago
  57. 8382cf5 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 15 years ago
  58. d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
  59. 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
  60. 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
  61. ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
  62. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
  63. 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
  64. 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
  65. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
  66. b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
  67. 022a125 Added test case for <rdar://problem/7152418>. by Ted Kremenek · 15 years ago
  68. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
  69. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  70. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  71. c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 15 years ago
  72. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  73. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
  74. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
  75. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 15 years ago
  76. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 15 years ago
  77. ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 15 years ago
  78. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  79. 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
  80. 8eec7c0 Adjust test case. by Ted Kremenek · 15 years ago
  81. 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 15 years ago
  82. 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
  83. 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
  84. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  85. f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
  86. 0b331e3 Fix a crasher in StoreManager::InvalidateRegion() caused by using the by Ted Kremenek · 15 years ago
  87. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  88. 006105d Prep for new warning. by Mike Stump · 15 years ago
  89. 25c5457 Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-order by Ted Kremenek · 15 years ago
  90. 293769a Add XFAILED test. by Ted Kremenek · 15 years ago
  91. 63b9cfe Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType. by Ted Kremenek · 15 years ago
  92. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  93. fde2efe Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables. by Ted Kremenek · 15 years ago
  94. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  95. 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 15 years ago
  96. 31ef2b6 Test case in test/Analysis/xfail_regionstore_wine_crash.c no longer fails, so by Ted Kremenek · 15 years ago
  97. 8d344ae Revert r75281 and simply remove the assertion in NewCastRegion that by Ted Kremenek · 15 years ago
  98. 3f9811b Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, by Ted Kremenek · 15 years ago
  99. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  100. 5997888 Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc' when 'T' is a pointer by Ted Kremenek · 15 years ago