================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
