[PATCH] D112621: [analyzer][solver] Introduce reasoning for not equal to operator

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D112621#3915822 <https://reviews.llvm.org/D112621#3915822>, @manas wrote:

> Ping

`Analysis/constant-folding.c` seems to fail.
Please run the `check-clang-analysis` build target to see what fails and investigate it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D112621