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

[via cfe-commits]

rdevshp wrote:

I have added new test cases for the PR, and built the build target `check-clang-analysis` locally to verify that the tests pass.
I also ran `git clang-format HEAD~3`, which printed the output `clang-format did not modify any files`.

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