[PATCH] D66267: [analyzer] TrackConstraintBRVisitor: Do not track unknown values
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 15 14:33:31 PDT 2019
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?
CHANGES SINCE LAST ACTION
More information about the cfe-commits