baloghadamsoftware added a comment.
I am considering to restrict the assumptions to nodes marked as interesting and
to the location of the bug. However, I have difficulties with the latter, it
seems that the bug location itself is not part of the bug path.
https://reviews.llvm.org/D34508
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.
>
zaks.anna added a comment.
I agree that we should not print the values of all variables. The users will be
overwhelmed with the huge amount of information. It is very valuable to
highlight just the right information. (I believe even the current diagnostics
often produce too much info and
NoQ added a comment.
In a perfect world, the analyzer's report would work like a debugger: jumping
through stack frames, or even through diagnostic pieces, and printing symbolic
values of variables at every piece would be really great.
I'm not entirely understanding the behavior you intend to
