Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ae9f85b2c062ac20512a484cfa6e66239dd3d0d9 / lib / StaticAnalyzer / Checkers / UnreachableCodeChecker.cpp
  1. 75df4ee Further tweak -Wurneachable-code and templates by allowing the warning to run on by Ted Kremenek · 14 years ago
  2. 180f479 Constant expression evaluation: support for evaluation of structs and unions of by Richard Smith · 14 years ago
  3. 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
  4. 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
  5. 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
  6. f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
  7. 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 15 years ago
  8. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  9. 30726c6 [analyzer] Migrate UnreachableCodeChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  10. 695fb50 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 15 years ago
  11. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 15 years ago
  12. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  13. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 15 years ago
  14. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (95%) from lib/EntoSA/Checkers/UnreachableCodeChecker.cpp]
  15. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (96%) from lib/GR/Checkers/UnreachableCodeChecker.cpp]
  16. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  17. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  18. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  19. 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]
  20. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/UnreachableCodeChecker.cpp]
  21. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  22. 4895b9c UnreachableCodeChecker cleanup and improvements by Tom Care · 15 years ago
  23. 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
  24. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  25. aaca011 Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers. by Tom Care · 15 years ago
  26. 505a506 Small changes to UnreachableCodeChecker by Tom Care · 15 years ago
  27. 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
  28. f890679 Improved false positive detection and numerous small issues in UnreachableCodeChecker by Tom Care · 15 years ago
  29. 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
  30. 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 15 years ago
  31. 5e04bdd Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 15 years ago
  32. c4b5bd8 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 15 years ago