[cfe-dev] speed up debugging a static analysis checker?

George Karpenkov via cfe-dev cfe-dev at lists.llvm.org
Fri Sep 28 14:27:10 PDT 2018


Hi Lou,

You probably want to only debug the analysis running on a function you are interested in.
-Xclang -analyzer-display-progress
shows what functions the analyzer is going through, and
-Xclang -analyze-function “function-name”
let’s you select the function (use the exact name copied from the previous list).

You can also try release+debuginfo configuration if the former is too slow.
20 seconds does sound excessive for a simple test file in any case though, so that is strange.

> On Sep 28, 2018, at 1:49 PM, Lou Wynn via cfe-dev <cfe-dev at lists.llvm.org> wrote:
> 
> Hi,
> 
> I'm now having a question of how to speed up startup runs of a static analysis checker in the lldb debugger. It takes about 21 seconds for the debugger to stop at the first breakpoint at the SimpleStreamChecker::checkPreCall function when I run the following command:
> 
> lldb-6.0 -- clang-8 -cc1 -analyze -analyzer-checker=alpha.unix.SimpleStream \
>  test/Analysis/simple-stream-checks.c
> Are there ways to make it faster? I run many debugging sessions not only to figure out how the static analyzer works but also to debug my first checker. Any time saving method is appreciated.
> 
> -- 
> Love,
> Lou
> 
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180928/cdfdaa69/attachment.html>


More information about the cfe-dev mailing list