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

Mon Dec 13 04:59:04 PST 2021

ASDenysPetrov added a comment.

> @steakhal
> I don't get this one. I've provided a bunch of tests, even annotated with `no-crash` comments where we crashed prior to this change.

I wasn't able to catch any crashes with your tests file //(symbol-simplification-nonloc-loc.cpp)// on the baseline before your patch (D115149#3180005 <https://reviews.llvm.org/D115149#3180005>). So I ask you to provide the concrete example you've caught which promted you to do this patch.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D115149