[clang] [analyzer] Indicate UnarySymExpr is not supported by Z3 (PR #108900)

[via cfe-commits]

vabridgers wrote:

Hi @NagyDonat , yes this is only exposed when z3 is used as the constraint manager. This crash does not occur when using z3-refutation. 

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