[PATCH] D62883: [analyzer] Track conditions of terminator statements on which the reported node depends on

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jun 10 19:00:21 PDT 2019


NoQ added a comment.

In D62883#1536894 <https://reviews.llvm.org/D62883#1536894>, @Szelethus wrote:

> I'm not sure how long it'll take for me to figure out what's wrong, but these numbers are so ridiculous, I suspect a programming error rather then an algorithmic issue.
>
> edit: I seem to have found a solution, I'll share more later when I get to evaluate this :)


At a glance, it might be that `bugreporter::trackExpressionValue()` is called on every node within the block, rather than only once in a lifetime of the visitor.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62883/new/

https://reviews.llvm.org/D62883





More information about the cfe-commits mailing list