Merge pull request #3787 from tautschnig/deprecation-vector_exprt

Construct vector_exprt in a non-deprecated way

Author: Daniel Kroening

src/solvers/flattening/boolbv_get.cpp

@@ -181,7 +181,7 @@ exprt boolbvt::bv_get_rec(
       if(sub_width!=0 && width%sub_width==0)
       {
         std::size_t size=width/sub_width;
-        vector_exprt value(to_vector_type(type));
+        vector_exprt value({}, to_vector_type(type));
         value.reserve_operands(size);
 
         for(std::size_t i=0; i<size; i++)

src/util/expr_initializer.cpp

@@ -177,7 +177,7 @@ exprt expr_initializert<nondet>::expr_initializer_rec(
     if(vector_size < 0)
       return nil_exprt();
 
-    vector_exprt value(vector_type);
+    vector_exprt value({}, vector_type);
     value.operands().resize(numeric_cast_v<std::size_t>(vector_size), tmpval);
     value.add_source_location()=source_location;
 

src/util/std_expr.h

@@ -1823,6 +1823,11 @@ class vector_exprt : public multi_ary_exprt
     : multi_ary_exprt(ID_vector, _type)
   {
   }
+
+  vector_exprt(operandst &&_operands, const vector_typet &_type)
+    : multi_ary_exprt(ID_vector, std::move(_operands), _type)
+  {
+  }
 };
 
 /// \brief Cast an exprt to an \ref vector_exprt