emscripten-fastcomp-clang/lib/StaticAnalyzer/Frontend, branch masteremscripten clanghttps://git.amat.us/emscripten-fastcomp-clang/atom/lib/StaticAnalyzer/Frontend?h=master2013-04-16T21:10:05ZFactor CheckerManager to be able to pass AnalyzerOptions to checkers2013-04-16T21:10:05ZTed Kremenekkremenek@apple.com2013-04-16T21:10:05Zurn:sha1:8dae128d16bf98759b7a678ce3eebb613bd17109
during checker registration. There are no immediate clients of this,
but this provides a way for checkers to query the options table
at startup instead.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179626 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Change inlining policy to inline small functions when reanalyzing ObjC methods as top level.2013-03-26T18:57:58ZAnna Zaksganna@apple.com2013-03-26T18:57:58Zurn:sha1:8a660eb1084294a903f6dcc00bf2fa4e3bc92cfc
This allows us to better reason about(inline) small wrapper functions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178063 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Fix typo.2013-02-07T23:29:20ZAnna Zaksganna@apple.com2013-02-07T23:29:20Zurn:sha1:1c32b81765ed63ae9e3e00e5acef7a4379bba228
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@174679 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Print Inline mode with -analyzer-display-progress.2013-02-02T00:30:02ZAnna Zaksganna@apple.com2013-02-02T00:30:02Zurn:sha1:a5245a51593aa45c2a5ef38a10861697d29c7789
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@174244 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Make shallow mode more shallow.2013-01-30T19:12:39ZAnna Zaksganna@apple.com2013-01-30T19:12:39Zurn:sha1:ac3a3e7a402cd349dd2b7d70cd92c5fe702ae831
Redefine the shallow mode to inline all functions for which we have a
definite definition (ipa=inlining). However, only inline functions that
are up to 4 basic blocks large and cut the max exploded nodes generated
per top level function in half.
This makes shallow faster and allows us to keep inlining small
functions. For example, we would keep inlining wrapper functions and
constructors/destructors.
With the new shallow, it takes 104s to analyze sqlite3, whereas
the deep mode is 658s and previous shallow is 209s.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173958 91177308-0d34-0410-b5e6-96231b3b80d8
Re-sort #include lines using the llvm/utils/sort_includes.py script.2013-01-02T10:28:36ZChandler Carruthchandlerc@gmail.com2013-01-02T10:28:36Zurn:sha1:b99083e60325a28063fb588f458a871151971fdc
Removes a duplicate #include as well as cleaning up some sort order
regressions since I last ran the script over Clang.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@171364 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Re-apply r170826 and make the dumping of the GallGraph2012-12-21T17:27:01ZAnna Zaksganna@apple.com2012-12-21T17:27:01Zurn:sha1:bd80231672a7418aa1a99d3dbbe1774205c88f74
deterministic.
Commit message for r170826:
[analyzer] Traverse the Call Graph in topological order.
Modify the call graph by removing the parentless nodes. Instead all
nodes are children of root to ensure they are all reachable. Remove the
tracking of nodes that are "top level" or global. This information is
not used and can be obtained from the Decls stored inside
CallGraphNodes.
Instead of existing ordering hacks, analyze the functions in topological
order over the Call Graph.
Together with the addition of devirtualizable ObjC message sends and
blocks to the call graph, this gives around 6% performance improvement
on several large ObjC benchmarks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170906 91177308-0d34-0410-b5e6-96231b3b80d8
Revert r170826. The output of2012-12-21T01:30:23ZRafael Espindolarafael.espindola@gmail.com2012-12-21T01:30:23Zurn:sha1:6d42f4d8b8a176336a8c49ec3cf5f7fb6545ccfd
./bin/clang -cc1 -internal-isystem /home/espindola/llvm/build/lib/clang/3.3/include/ -analyze -analyzer-checker=debug.DumpCallGraph /home/espindola/llvm/clang/test/Analysis/debug-CallGraph.c -fblocks
changes in each run.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170829 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Traverse the Call Graph in topological order.2012-12-21T01:19:22ZAnna Zaksganna@apple.com2012-12-21T01:19:22Zurn:sha1:e34e1939ad67576293b2b205b2169488cc6b3b14
Modify the call graph by removing the parentless nodes. Instead all
nodes are children of root to ensure they are all reachable. Remove the
tracking of nodes that are "top level" or global. This information is
not used and can be obtained from the Decls stored inside
CallGraphNodes.
Instead of existing ordering hacks, analyze the functions in topological
order over the Call Graph.
Together with the addition of devirtualizable ObjC message sends and
blocks to the call graph, this gives around 6% performance improvement
on several large ObjC benchmarks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170826 91177308-0d34-0410-b5e6-96231b3b80d8
[analyzer] Add blocks and ObjC messages to the call graph.2012-12-21T01:19:15ZAnna Zaksganna@apple.com2012-12-21T01:19:15Zurn:sha1:4f858dfd42c89b67200dac0afc228a0baa323691
This paves the road for constructing a better function dependency graph.
If we analyze a function before the functions it calls and inlines,
there is more opportunity for optimization.
Note, we add call edges to the called methods that correspond to
function definitions (declarations with bodies).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170825 91177308-0d34-0410-b5e6-96231b3b80d8