HomePhabricator

[analyzer][solver] Fix issue with symbol non-equality tracking

Authored by martong on Sep 21 2020, 4:42 AM.

Description

[analyzer][solver] Fix issue with symbol non-equality tracking

We should track non-equivalency (disequality) in case of greater-then or
less-then assumptions.

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