[PATCH] D125547: [analyzer][solver] Handle UnarySymExpr in SMTConv

Mon May 16 02:35:49 PDT 2022

martong added a comment.

In D125547#3515259 <https://reviews.llvm.org/D125547#3515259>, @steakhal wrote:

> Something is messed up with the diff. You refer to `fromUnOp()` but it's not defined anywhere.

No. There is no mess up here, the diff is correct. `fromUnOp` had been implemented way before. I missed that when I created the initial patch. So, we just have to call that preexisting function in `getSymExpr`.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125547