 Aaron Ballman
|
aa5066bc4b
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.
|
преди 11 години |
 Alp Toker
|
f86a72a989
Rename isBuiltinCall() to getBuiltinCallee()
|
преди 11 години |
 Jordan Rose
|
51718e3555
[analyzer] Don't run unreachable code checker on inlined functions.
|
преди 12 години |
 David Blaikie
|
b07805485c
Remove the CFGElement "Invalid" state.
|
преди 12 години |
|
David Blaikie
|
7a95de68c0
Replace ProgramPoint llvm::cast support to be well-defined.
|
преди 12 години |
|
David Blaikie
|
fdf6a279c9
Replace CFGElement llvm::cast support to be well-defined.
|
преди 12 години |
 Chandler Carruth
|
55fc873017
Sort all of Clang's files under 'lib', and fix up the broken headers
|
преди 12 години |
 Ted Kremenek
|
07189521a1
Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output.
|
преди 13 години |
 Benjamin Kramer
|
4a5f724538
Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list
|
преди 13 години |
|
Ted Kremenek
|
28cd22d7c2
[analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt!
|
преди 13 години |
|
Ted Kremenek
|
75df4eeede
Further tweak -Wurneachable-code and templates by allowing the warning to run on
|
преди 13 години |
 Richard Smith
|
180f47959a
Constant expression evaluation: support for evaluation of structs and unions of
|
преди 13 години |
|
Ted Kremenek
|
1d26f48dc2
Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses.
|
преди 14 години |
 Anna Zaks
|
590dd8e095
[analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation.
|
преди 14 години |
|
Ted Kremenek
|
8829989238
[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.
|
преди 14 години |
 Peter Collingbourne
|
f4e3cfbe8a
Add support for the OpenCL vec_step operator, by generalising and
|
преди 14 години |
|
Ted Kremenek
|
3c0349e87c
In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements.
|
преди 14 години |
 Argyrios Kyrtzidis
|
ec8605f1d7
[analyzer] Rename CheckerV2 -> Checker.
|
преди 14 години |
|
Argyrios Kyrtzidis
|
30726c6bae
[analyzer] Migrate UnreachableCodeChecker to CheckerV2.
|
преди 14 години |
|
Argyrios Kyrtzidis
|
695fb50282
[analyzer] Pass CheckerManager to the registration functions.
|
преди 14 години |
|
Argyrios Kyrtzidis
|
a0decc9a24
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
|
преди 14 години |
|
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
преди 14 години |
|
Argyrios Kyrtzidis
|
af1a9330ff
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h
|
преди 14 години |
|
Ted Kremenek
|
21142581d5
Chris Lattner has strong opinions about directory
|
преди 14 години |
