Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 76dafa7e6487c0b51fadebd16bdefe0e0e23d595 / lib / StaticAnalyzer / Checkers / UnreachableCodeChecker.cpp
  1. 0718952 Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. by Ted Kremenek · 13 years ago
  2. 4a5f724 Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list by Benjamin Kramer · 13 years ago
  3. 28cd22d [analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt! by Ted Kremenek · 14 years ago
  4. 75df4ee Further tweak -Wurneachable-code and templates by allowing the warning to run on by Ted Kremenek · 14 years ago
  5. 180f479 Constant expression evaluation: support for evaluation of structs and unions of by Richard Smith · 14 years ago
  6. 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 14 years ago
  7. 590dd8e [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. by Anna Zaks · 14 years ago
  8. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 14 years ago
  9. f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
  10. 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 15 years ago
  11. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  12. 30726c6 [analyzer] Migrate UnreachableCodeChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  13. 695fb50 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 15 years ago
  14. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 15 years ago
  15. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  16. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 15 years ago
  17. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (95%) from lib/EntoSA/Checkers/UnreachableCodeChecker.cpp]
  18. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (96%) from lib/GR/Checkers/UnreachableCodeChecker.cpp]
  19. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  20. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  21. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  22. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/UnreachableCodeChecker.cpp]
  23. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/UnreachableCodeChecker.cpp]
  24. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  25. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 15 years ago
  26. bfc4a95 UnreachableCodeChecker does not need to inherit from CheckerVisitor, only Checker. It does not use any AST Stmt hooks, only VisitEndAnalysis. by Tom Care · 15 years ago
  27. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  28. aaca011 Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers. by Tom Care · 15 years ago
  29. 505a506 Small changes to UnreachableCodeChecker by Tom Care · 15 years ago
  30. 0600918 Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged. by Tom Care · 15 years ago
  31. f890679 Improved false positive detection and numerous small issues in UnreachableCodeChecker by Tom Care · 15 years ago
  32. bc42c53 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
  33. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 15 years ago
  34. 5e04bdd Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 15 years ago
  35. c4b5bd8 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 15 years ago