maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
182,122 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

18 Commits

Author SHA1 Message Date
Benjamin Kramer 4cadf292a5 [C++11] Revert uses of lambdas with array_pod_sort. 
Looks like GCC implements the lambda->function pointer conversion differently.

llvm-svn: 203293
 2014-03-07 21:51:58 +00:00
Benjamin Kramer 15ae783e14 [C++11] Convert sort predicates into lambdas. 
No functionality change.

llvm-svn: 203289
 2014-03-07 21:35:40 +00:00
Jordan Rose e02e96a69f [analyzer] Print function name when dumping its CFG. 
This allows us to use CHECK-LABEL to ensure that we're checking the right CFG.

Debugging change only.

llvm-svn: 199320
 2014-01-15 17:25:05 +00:00
Benjamin Kramer 04bf187e12 Fix array_pod_sort predicates after LLVM change. 
llvm-svn: 191176
 2013-09-22 14:10:29 +00:00
Benjamin Kramer 402f807d9d array_pod_sort loses some type safety, better use the right types. 
llvm-svn: 191174
 2013-09-22 12:53:24 +00:00
Benjamin Kramer a92b80f8a0 Rewrite a cold use of std::sort to array_pod_sort. 
No functionality change.

llvm-svn: 191173
 2013-09-22 12:41:24 +00:00
Anna Zaks 7925e3db63 [analyzer] Add a debug checker that prints Exploded Graph 
Add a debug checker that is useful to understand how the ExplodedGraph is
built; it can be triggered using the following command:

 clang -cc1 -analyze -analyzer-checker=debug.ViewExplodedGraph my_program.c

A patch by Béatrice Creusillet!

llvm-svn: 184768
 2013-06-24 18:12:12 +00:00
Jordan Rose 73b75e01bf [analyzer] Fix grammar in comment. 
By Adam Schnitzer!

llvm-svn: 179352
 2013-04-12 00:44:24 +00:00
Chandler Carruth 3a02247dc9 Sort all of Clang's files under 'lib', and fix up the broken headers 
uncovered.

This required manually correcting all of the incorrect main-module
headers I could find, and running the new llvm/utils/sort_includes.py
script over the files.

I also manually added quite a few missing headers that were uncovered by
shuffling the order or moving headers up to be main-module-headers.

llvm-svn: 169237
 2012-12-04 09:13:33 +00:00
Ted Kremenek 86917fdbe0 Add checker debug.ConfigDumper to dump the contents of the configuration table. 
The format of this output is a WIP; largely I'm bringing it up now
for regression testing.  We can evolve the output format over time.

llvm-svn: 164953
 2012-10-01 18:28:14 +00:00
David Blaikie bbafb8a745 Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). 
The member variable is always "LangOpts" and the member function is always "getLangOpts".

Reviewed by Chris Lattner

llvm-svn: 152536
 2012-03-11 07:00:24 +00:00
Anna Zaks c000e7ed3d Add a basic CallGraph to Analysis. 
The final graph contains a single root node, which is a parent of all externally available functions(and 'main'). As well as a list of Parentless/Unreachable functions, which are either truly unreachable or are unreachable due to our analyses imprecision.

The analyzer checkers debug.DumpCallGraph or debug.ViewGraph can be used to look at the produced graph.

Currently, the graph is not very precise, for example, it entirely skips edges resulted from ObjC method calls.

llvm-svn: 152272
 2012-03-08 00:42:23 +00:00
Ted Kremenek 72be32af88 Colorize and condense CFG pretty-printing. 
llvm-svn: 147203
 2011-12-22 23:33:52 +00:00
Anna Zaks 02a1fc1da6 [analyzer] Rely on LLVM Dominators in Clang dominator computation. 
(Previously, Clang used it's implementation of dominators.)

The patch is contributed by Guoping Long!

llvm-svn: 145858
 2011-12-05 21:33:11 +00:00
Ted Kremenek 0062e74961 Add source-level dominators analysis. Patch by Guoping Long! 
llvm-svn: 142885
 2011-10-25 00:25:24 +00:00
Ted Kremenek dccc2b2277 Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. 
llvm-svn: 141425
 2011-10-07 22:21:02 +00:00
Argyrios Kyrtzidis 6a5674ffa6 [analyzer] Rename CheckerV2 -> Checker. 
llvm-svn: 126726
 2011-03-01 01:16:21 +00:00
Argyrios Kyrtzidis 57d736fd46 [analyzer] Use the new registration mechanism for the debugging info "checks". 
The relative checker package is 'debug':

'-dump-live-variables' is replaced by '-analyzer-checker=debug.DumpLiveVars'
'-cfg-view' is replaced by '-analyzer-checker=debug.ViewCFG'
'-cfg-dump' is replaced by '-analyzer-checker=debug.DumpCFG'

llvm-svn: 125780
 2011-02-17 21:39:39 +00:00