[analyzer] Fix crash in Z3 SMTConv when negating a boolean expression (#165779)#168034

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

Snape3058:issue-165779Snape3058/llvm-patch-revision:issue-165779Copy head branch name to clipboard