Argyrios Kyrtzidis
|
99ea46462a
|
[analyzer] Add LangOptions in CheckerManager.
llvm-svn: 126306
|
2011-02-23 07:19:14 +00:00 |
Argyrios Kyrtzidis
|
6fa0d20a6f
|
Fix the clang-wpa example.
llvm-svn: 125565
|
2011-02-15 16:54:12 +00:00 |
Ted Kremenek
|
f8cbac4b91
|
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries.
llvm-svn: 125251
|
2011-02-10 01:03:03 +00:00 |
Ted Kremenek
|
0bc2855aa9
|
Update clang-wpa to pass extra argument to AnalysisManager constructor.
llvm-svn: 125235
|
2011-02-09 22:59:20 +00:00 |
Ted Kremenek
|
b4384fb0df
|
Get clang-wpa to build in TOT (reflecting updates
to the static analyzer).
llvm-svn: 123727
|
2011-01-18 04:22:19 +00:00 |
Argyrios Kyrtzidis
|
1696f508e2
|
[analyzer] Refactoring: Drop the 'GR' prefix.
llvm-svn: 122424
|
2010-12-22 18:53:44 +00:00 |
Argyrios Kyrtzidis
|
8d602a8aa8
|
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
llvm-svn: 122420
|
2010-12-22 18:51:49 +00:00 |
Tom Care
|
c88ed9561e
|
Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect that we aborted analysis may not necessarily be due to a loop.
llvm-svn: 113862
|
2010-09-14 21:35:27 +00:00 |
Zhongxing Xu
|
9f077cbc13
|
Add back clang-wpa. It is useful for experimenting with inter-file analysis.
llvm-svn: 112014
|
2010-08-25 01:15:20 +00:00 |
Daniel Dunbar
|
468f5cb8ea
|
Remove wpa 'example', it isn't being maintained.
llvm-svn: 110809
|
2010-08-11 15:21:41 +00:00 |
Zhongxing Xu
|
adf644d05e
|
Make a bunch of new data structures for the new analysis
engine of the new translation unit. State marshal is there but no real
work is done. End nodes are passed back.
llvm-svn: 109105
|
2010-07-22 13:52:13 +00:00 |
Zhongxing Xu
|
84f65e0692
|
Reapply r108617.
llvm-svn: 108668
|
2010-07-19 01:31:21 +00:00 |
Benjamin Kramer
|
e2e031ed6f
|
Revert r108617, it broke the build.
llvm-svn: 108621
|
2010-07-17 13:51:58 +00:00 |
Zhongxing Xu
|
4ca4a999b1
|
Prepare the analyzer for the callee in another translation unit:
Let AnalysisContext contain a TranslationUnit.
Let CallEnter refer to an AnalysisContext instead of a FunctionDecl.
llvm-svn: 108617
|
2010-07-17 11:12:42 +00:00 |
Zhongxing Xu
|
2231a920d0
|
Add skeleton code to make wpa call the analysis engine.
llvm-svn: 107646
|
2010-07-06 09:18:02 +00:00 |
Zhongxing Xu
|
b525bce698
|
Collect function definitions in the Indexer when indexing through the ASTs.
Add an API to get an Entity associated with a name in the global namespace.
llvm-svn: 107642
|
2010-07-06 05:55:13 +00:00 |
Zhongxing Xu
|
d6c221c3ee
|
Create a ASTUnitTU class to interface ASTUnit to the Indexer.
llvm-svn: 107467
|
2010-07-02 11:52:15 +00:00 |
Zhongxing Xu
|
a94ec74c6f
|
add -analyze-function option.
llvm-svn: 107463
|
2010-07-02 07:03:03 +00:00 |
Zhongxing Xu
|
7842c0836d
|
add -view-call-graph option to wpa.
llvm-svn: 107462
|
2010-07-02 06:58:30 +00:00 |
Zhongxing Xu
|
a74c22daec
|
Change CallGraph::Prog to be a reference. idx::Program means to be a global object to the Index library.
llvm-svn: 107461
|
2010-07-02 06:39:46 +00:00 |
Douglas Gregor
|
6314641822
|
clang-wpa fixes for Diagnostic
llvm-svn: 100518
|
2010-04-06 04:03:12 +00:00 |
Douglas Gregor
|
ff8f4f6262
|
Unbreak build
llvm-svn: 100514
|
2010-04-06 01:25:58 +00:00 |
Douglas Gregor
|
01fa5c3734
|
Grrrr
llvm-svn: 100476
|
2010-04-05 21:47:48 +00:00 |
Douglas Gregor
|
0228a9c76b
|
Try to de-bork build of WPA
llvm-svn: 100475
|
2010-04-05 21:47:24 +00:00 |
Daniel Dunbar
|
1597da4c05
|
Document that CompilerInvocation::createDiagnostics keeps a reference to the DiagnosticOptions, and update callers to make sure they don't pass in a temporary.
llvm-svn: 90704
|
2009-12-06 09:56:30 +00:00 |
Daniel Dunbar
|
19a30ca8c0
|
Fix layering violation by moving Analysis/CallGraph to Index
llvm-svn: 90424
|
2009-12-03 07:20:04 +00:00 |
Daniel Dunbar
|
59203007ac
|
Fix ASTUnit to allows require a (persistent) Diagnostic object be provided; propogate and simplify.
llvm-svn: 90379
|
2009-12-03 01:45:44 +00:00 |
Daniel Dunbar
|
9b30eb721f
|
Add examples dir, built with BUILD_EXAMPLES=1 (Makefiles, no CMake equivalent yet).
Move tools/wpa to examples/wpa, and unbreak its build.
llvm-svn: 88825
|
2009-11-15 00:22:33 +00:00 |