[PATCH] D62883: [analyzer] Track terminator conditions on which a tracked expressions depends
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Jun 21 16:32:40 PDT 2019
Szelethus added a comment.
Woohoo! Thanks for everything, this is the most fun I've had working on this project! Let's wait for @xazax.hun to have the final say.
In D62883#1554494 <https://reviews.llvm.org/D62883#1554494>, @NoQ wrote:
> It should be pretty easy to implement, just add your new visitor to the list of default visitors in `findValidReport()`.
The thinking was to preserve this patch (roughly) in the state as the analyses were run. I also plan to patch CodeChecker so that it can diff two runs only only by bug report hash, but also by bug report length, which should make evaluation a lot easier. This may imply that I'll delay tracking control dependencies to all error nodes for later, as LLVM literally takes a day to analyze each time (and the sheer size of it gives invaluable data, which is why I plan doing it, but will check other projects too).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62883/new/
https://reviews.llvm.org/D62883
More information about the cfe-commits
mailing list