Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / refs/heads/fp2-m-sibon / test / Analysis / constant-folding.c
  1. 43d9f0d [analyzer] Convert many existing tests to use clang_analyzer_eval. by Jordy Rose · 12 years ago
  2. c838fd2 [analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and handle mixed-type operations more generally. by Jordy Rose · 12 years ago
  3. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 13 years ago
  4. 8a285ae Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271. by Argyrios Kyrtzidis · 13 years ago
  5. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 13 years ago
  6. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 13 years ago
  7. b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 13 years ago
  8. 6dd4dff [analyzer] Remove '-analyzer-experimental-checks' flag. by Argyrios Kyrtzidis · 13 years ago
  9. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 13 years ago
  10. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 13 years ago
  11. 1bc80af Do lvalue-to-rvalue conversions on the LHS of a shift operator. by John McCall · 14 years ago
  12. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  13. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  14. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
  15. 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
  16. 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
  17. eac4a00 Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL(). by Jordy Rose · 14 years ago
  18. 43fdb7f Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. by Jordy Rose · 14 years ago