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

Sat Oct 23 12:17:02 PDT 2021

steakhal added a comment.

In D106102#3081178 <https://reviews.llvm.org/D106102#3081178>, @bjope wrote:

> I get failures after having merged this patch:
> [...]
> Here is the crash.c input F19785350: crash.c <https://reviews.llvm.org/F19785350>
>
> I see lots of these. Probably worth a revert.

Yeah, actually our nightlies are also crying for the same reason, thus I'm reverting this.
@martong, we should have run some measurement jobs. We definitely need tighter integration with the upstream changes, regarding our build jobs.

@bjope, thanks for the quick report.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106102