smt: allocate subst vars array on the stack, as it is always very small

AliveToolkit · Dec 16, 2024 · 92736c4 · 92736c4
1 parent 84196ac
commit 92736c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/smt/expr.cpp b/smt/expr.cpp
@@ -2220,13 +2220,13 @@ expr expr::subst(const vector<expr> &repls) const {
   if (repls.empty())
     return *this;
 
-  unique_ptr<Z3_ast[]> vars(new Z3_ast[repls.size()]);
+  Z3_ast vars[repls.size()];
   unsigned i = 0;
   for (auto &v : repls) {
     C2(v);
     vars[i++] = v();
   }
-  return Z3_substitute_vars(ctx(), ast(), repls.size(), vars.get());
+  return Z3_substitute_vars(ctx(), ast(), repls.size(), vars);
 }
 
 set<expr> expr::vars() const {