[PATCH] D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jul 4 05:15:07 PDT 2019
baloghadamsoftware added a comment.
I tested this on several open-source projects. Lots of false-positives disappeared. There are also some new findings, mainly new false-positives but not because of this feature but of "loops executed 0 times".
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D49074/new/
https://reviews.llvm.org/D49074
More information about the cfe-commits
mailing list