Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / aca443c02c8b20ed96fe97c04bcdd651e74098ca / clang / lib / StaticAnalyzer / Checkers / UnreachableCodeChecker.cpp
  1. a724cff Rename isBuiltinCall() to getBuiltinCallee() by Alp Toker · 12 years ago
  2. 95cdf9d [analyzer] Don't run unreachable code checker on inlined functions. by Jordan Rose · 12 years ago
  3. 00be69a Remove the CFGElement "Invalid" state. by David Blaikie · 13 years ago
  4. 87396b9 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  5. 2a01f5d Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  6. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  7. 5a10f08 Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. by Ted Kremenek · 14 years ago
  8. ac19edd Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list by Benjamin Kramer · 14 years ago
  9. ef5c554 [analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt! by Ted Kremenek · 14 years ago
  10. 85825ae Further tweak -Wurneachable-code and templates by allowing the warning to run on by Ted Kremenek · 14 years ago
  11. d62306a Constant expression evaluation: support for evaluation of structs and unions of by Richard Smith · 14 years ago
  12. 81ce1c8 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
  13. c29bed3 [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
  14. e9fda1e [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
  15. e190dee Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 15 years ago
  16. 96a7a59 In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 15 years ago
  17. 6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  18. bf61d97 [analyzer] Migrate UnreachableCodeChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  19. 507ff53 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 15 years ago
  20. 2d3905f [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 15 years ago
  21. f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  22. f410a62 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 15 years ago
  23. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (95%) from clang/lib/EntoSA/Checkers/UnreachableCodeChecker.cpp]
  24. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (96%) from clang/lib/GR/Checkers/UnreachableCodeChecker.cpp]
  25. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  26. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  27. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  28. a700e97 [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/GR/UnreachableCodeChecker.cpp]
  29. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/UnreachableCodeChecker.cpp]
  30. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  31. ea53e82 UnreachableCodeChecker cleanup and improvements by Tom Care · 15 years ago
  32. 7359459 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
  33. 2cd7a78 Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  34. f7b7067 Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers. by Tom Care · 15 years ago
  35. af9bbad Small changes to UnreachableCodeChecker by Tom Care · 15 years ago
  36. 16ba7c6 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
  37. be633d9 Improved false positive detection and numerous small issues in UnreachableCodeChecker by Tom Care · 15 years ago
  38. 44081fb 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
  39. 29a6250 Added some false positive checking to UnreachableCodeChecker by Tom Care · 15 years ago
  40. 55442ab Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 15 years ago
  41. cba9f51 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 15 years ago