[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