[analyzer] Hotfix a boolean conversion crash in the Z3 SMTConv#158276

vabridgers merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

vabridgers:z3-crash-unarysymexprvabridgers/llvm-project-upstream:z3-crash-unarysymexprCopy head branch name to clipboard