[PATCH] D102240: [analyzer][solver] Prevent use of a null state

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

steakhal accepted this revision.
steakhal added a comment.
This revision is now accepted and ready to land.

In D102240#2756967 <https://reviews.llvm.org/D102240#2756967>, @vsavchenko wrote:

> I couldn't transform `c == b` into a condition, so it crashes.

Well, that's interesting. It might worth investigating. @NoQ ?
Regardless, it's an improvement, let's land it :D


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102240