Log - faf4b655accf9fead77456243fd98da7fca46a20 - toolchain/llvm-project

0dbb783 [C++11] Use 'nullptr'. StaticAnalyzer edition. by Craig Topper · 11 years ago
4b408e7 [analyzer] check for now possibly null predecessor edge. by Ted Kremenek · 12 years ago
4aca9b1 Expose the name of the checker producing each diagnostic message. by Alexander Kornienko · 12 years ago
2ef6a43 Fixing a compile error that recently started happening for me in MSVC 2013. CFGTerminator has an explicit conversion to bool operator that we can make use of instead of using == 0. by Aaron Ballman · 12 years ago
a724cff Rename isBuiltinCall() to getBuiltinCallee() by Alp Toker · 12 years ago
95cdf9d [analyzer] Don't run unreachable code checker on inlined functions. by Jordan Rose · 12 years ago
00be69a Remove the CFGElement "Invalid" state. by David Blaikie · 13 years ago
87396b9 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 13 years ago
2a01f5d Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 13 years ago
3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
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
ac19edd Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list by Benjamin Kramer · 14 years ago
ef5c554 [analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt! by Ted Kremenek · 14 years ago
85825ae Further tweak -Wurneachable-code and templates by allowing the warning to run on by Ted Kremenek · 14 years ago
d62306a Constant expression evaluation: support for evaluation of structs and unions of by Richard Smith · 14 years ago
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
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
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
e190dee Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 15 years ago
96a7a59 In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 15 years ago
6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
bf61d97 [analyzer] Migrate UnreachableCodeChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
507ff53 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 15 years ago
2d3905f [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 15 years ago
f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
f410a62 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 15 years ago
d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (95%) from clang/lib/EntoSA/Checkers/UnreachableCodeChecker.cpp]
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]
98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
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]
2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/UnreachableCodeChecker.cpp]
8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
ea53e82 UnreachableCodeChecker cleanup and improvements by Tom Care · 15 years ago
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
2cd7a78 Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
f7b7067 Remove an assertion in UnreachableCodeChecker that can be triggered by bugs in other checkers. by Tom Care · 15 years ago
af9bbad Small changes to UnreachableCodeChecker by Tom Care · 15 years ago
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
be633d9 Improved false positive detection and numerous small issues in UnreachableCodeChecker by Tom Care · 15 years ago
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
29a6250 Added some false positive checking to UnreachableCodeChecker by Tom Care · 15 years ago
55442ab Don't warn about unreachable code if the block starts with __builtin_unreachable(). by Jordy Rose · 15 years ago
cba9f51 Added an path-sensitive unreachable code checker to the experimental analyzer checks. by Tom Care · 15 years ago