[PATCH] D62883: [analyzer] Track terminator conditions on which a tracked expressions depends

Fri Jun 21 15:19:51 PDT 2019

Szelethus added a comment.

In D62883#1554339 <https://reviews.llvm.org/D62883#1554339>, @NoQ wrote:

> In D62883#1553248 <https://reviews.llvm.org/D62883#1553248>, @Szelethus wrote:
>
> > - Add a `TODO:` in `trackExpressionValue` about maybe tracking conditions to all bug locations, rather than only for tracked variables.
>
>
> What do you mean by "all bug locations"?

This visitor is added when a variable is tracked, yet I feel the control dependency of every report is important (else we would never have discovered the error).

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62883/new/

https://reviews.llvm.org/D62883