[clang] [analyzer] Fix unary/binary op support for SMT symbolic execution (PR #205078)

[Balázs Benics via cfe-commits]

https://github.com/steakhal commented:

Looks pretty good. I had some comments but nothing major.
Have you tried running this z3 constraint manager on realisitc projects?

https://github.com/llvm/llvm-project/pull/205078