[PATCH] D34508: [Analyzer] Bug Reporter Visitor to Display Values of Variables - PRELIMINARY!
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 10 08:04:34 PDT 2017
xazax.hun added a comment.
In https://reviews.llvm.org/D34508#791048, @NoQ wrote:
> Currently, we already highlight the last assignments for the "interesting" variables, which is implemented through, for example, `bugreporter::trackNullOrUndefValue()` - see how various checkers use it. This is, of course, far from perfect as well, because it's very hard to figure out which variables are of interest.
I think concentrating on "interesting" things would be a great addition to this patch. So in case an `elementRegion` is marked as interesting, we could also mark the index as interesting automatically and later print out the relevant information only for interesting symbols, regions.
https://reviews.llvm.org/D34508
More information about the cfe-commits
mailing list