[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