HomePhabricator

[analyzer][NFC] Prepare visitors for different tracking kinds

Description

[analyzer][NFC] Prepare visitors for different tracking kinds

When we're tracking a variable that is responsible for a null pointer
dereference or some other sinister programming error, we of course would like to
gather as much information why we think that the variable has that specific
value as possible. However, the newly introduced condition tracking shows that
tracking all values this thoroughly could easily cause an intolerable growth in
the bug report's length.

There are a variety of heuristics we discussed on the mailing list[1] to combat
this, all of them requiring to differentiate in between tracking a "regular
value" and a "condition".

This patch introduces the new bugreporter::TrackingKind enum, adds it to
several visitors as a non-optional argument, and moves some functions around to
make the code a little more coherent.

[1] http://lists.llvm.org/pipermail/cfe-dev/2019-June/062613.html

Differential Revision: https://reviews.llvm.org/D64270

Details

Committed
SzelethusTue, Aug 13, 5:48 PM
Differential Revision
D64270: [analyzer][NFC] Prepare visitors for different tracking kinds
Parents
rL368776: Update Python tests for lldb-server on Windows
Branches
Unknown
Tags
Unknown