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

[Balázs Benics via cfe-commits]

================
@@ -456,6 +486,12 @@ class SMTConv {
       // E.g. -(5 && a)
       if (OperandTy == Ctx.BoolTy && OperandTy != RetTy &&
           RetTy->isIntegerType()) {
+
+        // Converting an expression from bool to a non-bool integer invalidates
+        // it
----------------
steakhal wrote:

I think we might be better off dropping this comment.

```suggestion
```

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