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

[via cfe-commits]

================
@@ -432,39 +475,47 @@ class SMTConv {
       RetTy = Sym->getType();
 
       QualType FromTy;
-      llvm::SMTExprRef Exp =
+      std::optional<llvm::SMTExprRef> Exp =
           getSymExpr(Solver, Ctx, SC->getOperand(), FromTy, hasComparison);
-
+      if (!Exp) {
+        return std::nullopt;
+      }
----------------
rdevshp wrote:

I have dropped the braces for single statement ifs.

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