[PATCH] D115149: [analyzer][solver] Fix assertion on (NonLoc, Op, Loc) expressions

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> It can happen if the `Loc` was perfectly constrained to a concrete
> value (`nonloc::ConcreteInt`)

This shouldn't happen. It should be `loc::ConcreteInt` which is, well, a `Loc`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115149