<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Kristóf,<div class=""><br class=""></div><div class="">It’s great to see this area getting cleaned up!<br class=""><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Mar 16, 2019, at 1:32 PM, Kristóf Umann <<a href="mailto:dkszelethus@gmail.com" class="">dkszelethus@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class="">Hi!<br class=""></div><div class=""><br class="">TL;DR: The API for registering checker options changes once several changes that are up for review now land. This affects out-of-tree and checker plugin developers. Now's the time to participate in the discussion!<br class=""></div></div></div></div></blockquote><div><br class=""></div><div>As a reminder, LLVM encourages an incremental development process where for significant changes it is important to discuss the change and gather consensus. This can avoiding wasted effort implement an approach that doesn’t have consensus. See <<a href="https://www.llvm.org/docs/DeveloperPolicy.html#incremental-changes" class="">https://www.llvm.org/docs/DeveloperPolicy.html#incremental-changes</a>>. It also makes the patches easier to review.</div><div><br class=""></div><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class="">In (not overwhelmingly) more detail:<br class=""><br class="">After many-many months of hard work, I'm very confident in the current state of the project. Allow me to elaborate.</div><div class=""><br class=""></div><div class="">In the recent months, the frontend of the analyzer, specifically how command line options are handled, have changed a lot. Right now, compared to how things used to be,</div><div class=""><br class=""></div><div class="">* We can list non-checker analyzer configurations</div><div class="">* We can verify user input for non-checker analyzer configurations</div><div class="">* The interface of AnalyzerOptions changed dramatically in order not to allow this problem to arise again</div><div class="">* debug.ConfigDumper contains all non-checker analyzer configurations, making it an actually usable debug tool</div><div class=""> * An almost decade-old issue, the checker naming bug was resolved by reimplementing checker dependencies, and the related interface was also changed to guard against this happening again</div><div class=""><br class=""></div><div class="">You probably noticed that I put a very strong emphasis on <i class="">non-checker analyzer configurations</i> -- since checkers can be loaded run-time via plugins, doing the same for them is a far more difficult task.</div></div></div></div></blockquote><div><br class=""></div><div>I’m not sure how much emphasis we should put on checkers loaded via plugins. The analyzer really doesn’t support a plugin model and probably never will, given the difficulty of maintaining a stable C++ ABI when the components we depend on (such as the AST) don’t expose one in C++.</div><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class="">I've uploaded several patches that finally fixes this for good. Although these have up for more than a month now, the code changed quite a bit, and after several in-office discussions, vigorous testing and refactoring, I'm very confident that everything is in it's final place. Please take a look if these changes affect you!</div><div class=""><br class=""></div><div class="">The most important of these patches is <a href="https://reviews.llvm.org/D57855" class="">https://reviews.llvm.org/D57855</a>. Please visit the "Stack" as well, the list of patches that depend on this and those this depends on. While 11 patches might seem a little scary at first, I've put a lot of effort into making as small as possible, in order to easy on reviewing. Note that the one patch I highlighted here is quite large however.</div></div></div></div></blockquote><div><br class=""></div><div>I commented on a bunch of these.</div><div><br class=""></div><div>It is really, really great to see the improvements in testability and specification here. As I noted in some of the patches, I do have some serious concerns about the changes to the user model and command-line flags — but I don’t want those to get in the way of the general goodness of many of the improvements here. It would probably be a good idea to tease apart the patches that change the user model from those that improve analyzer infrastructure. Let's get the infrastructure ones landed!</div><div><br class=""></div></div>Devin</div></div></body></html>