[PATCH] D66267: [analyzer] TrackConstraintBRVisitor: Do not track unknown values

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D66267#1630728 <https://reviews.llvm.org/D66267#1630728>, @Szelethus wrote:

> Shouldn't we just delete this entire visitor altogether and merge it into ConditionBRVisitor (like, eventually, not right now)? It seems to be a relic of the past.


I'm actually curious about one particular mess that we have here. Namely, there's a visitor that says "assuming..." and there's checker notes when checkers themselves assume something; how can we be sure they don't duplicate each other?


Repository:
  rC Clang

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

https://reviews.llvm.org/D66267