Merge pull request #3777 from tautschnig/deprecation-parent

Use non-deprecated variants of parent constructors

Author: tautschnig

src/ansi-c/ansi_c_declaration.h

@@ -20,7 +20,7 @@ Author: Daniel Kroening, [email protected]
 class ansi_c_declaratort : public nullary_exprt
 {
 public:
-  ansi_c_declaratort() : nullary_exprt(ID_declarator)
+  ansi_c_declaratort() : nullary_exprt(ID_declarator, typet())
   {
   }
 

src/util/byte_operators.h

@@ -38,11 +38,11 @@ class byte_extract_exprt:public binary_exprt
 
   byte_extract_exprt(
     irep_idt _id,
-    const exprt &_op, const exprt &_offset, const typet &_type):
-    binary_exprt(_id, _type)
+    const exprt &_op,
+    const exprt &_offset,
+    const typet &_type)
+    : binary_exprt(_op, _id, _offset, _type)
   {
-    op()=_op;
-    offset()=_offset;
   }
 
   exprt &op() { return op0(); }

src/util/std_expr.h

@@ -2151,10 +2151,9 @@ class namespacet;
 class object_descriptor_exprt:public binary_exprt
 {
 public:
-  object_descriptor_exprt():binary_exprt(ID_object_descriptor)
+  object_descriptor_exprt()
+    : binary_exprt(exprt(ID_unknown), ID_object_descriptor, exprt(ID_unknown))
   {
-    op0().id(ID_unknown);
-    op1().id(ID_unknown);
   }
 
   void build(const exprt &expr, const namespacet &ns);
@@ -2223,17 +2222,18 @@ inline void validate_expr(const object_descriptor_exprt &value)
 class dynamic_object_exprt:public binary_exprt
 {
 public:
-  dynamic_object_exprt():binary_exprt(ID_dynamic_object)
+  dynamic_object_exprt()
+    : binary_exprt(exprt(ID_unknown), ID_dynamic_object, exprt(ID_unknown))
   {
-    op0().id(ID_unknown);
-    op1().id(ID_unknown);
   }
 
-  explicit dynamic_object_exprt(const typet &type):
-    binary_exprt(ID_dynamic_object, type)
+  explicit dynamic_object_exprt(const typet &type)
+    : binary_exprt(
+        exprt(ID_unknown),
+        ID_dynamic_object,
+        exprt(ID_unknown),
+        type)
   {
-    op0().id(ID_unknown);
-    op1().id(ID_unknown);
   }
 
   void set_instance(unsigned int instance);
@@ -2434,25 +2434,18 @@ class and_exprt:public multi_ary_exprt
   {
   }
 
-  and_exprt(const exprt &op0, const exprt &op1, const exprt &op2):
-    multi_ary_exprt(ID_and, bool_typet())
+  and_exprt(const exprt &op0, const exprt &op1, const exprt &op2)
+    : multi_ary_exprt(ID_and, {op0, op1, op2}, bool_typet())
   {
-    add_to_operands(op0, op1, op2);
   }
 
   and_exprt(
     const exprt &op0,
     const exprt &op1,
     const exprt &op2,
-    const exprt &op3):
-    multi_ary_exprt(ID_and, bool_typet())
+    const exprt &op3)
+    : multi_ary_exprt(ID_and, {op0, op1, op2, op3}, bool_typet())
   {
-    exprt::operandst &op=operands();
-    op.resize(4);
-    op[0]=op0;
-    op[1]=op1;
-    op[2]=op2;
-    op[3]=op3;
   }
 };
 
@@ -2557,25 +2550,18 @@ class or_exprt:public multi_ary_exprt
   {
   }
 
-  or_exprt(const exprt &op0, const exprt &op1, const exprt &op2):
-    multi_ary_exprt(ID_or, bool_typet())
+  or_exprt(const exprt &op0, const exprt &op1, const exprt &op2)
+    : multi_ary_exprt(ID_or, {op0, op1, op2}, bool_typet())
   {
-    add_to_operands(op0, op1, op2);
   }
 
   or_exprt(
     const exprt &op0,
     const exprt &op1,
     const exprt &op2,
-    const exprt &op3):
-    multi_ary_exprt(ID_or, bool_typet())
+    const exprt &op3)
+    : multi_ary_exprt(ID_or, {op0, op1, op2, op3}, bool_typet())
   {
-    exprt::operandst &op=operands();
-    op.resize(4);
-    op[0]=op0;
-    op[1]=op1;
-    op[2]=op2;
-    op[3]=op3;
   }
 };
 
@@ -2725,10 +2711,9 @@ class bitor_exprt:public multi_ary_exprt
   {
   }
 
-  bitor_exprt(const exprt &_op0, const exprt &_op1):
-    multi_ary_exprt(ID_bitor, _op0.type())
+  bitor_exprt(const exprt &_op0, const exprt &_op1)
+    : multi_ary_exprt(_op0, ID_bitor, _op1, _op0.type())
   {
-    add_to_operands(_op0, _op1);
   }
 };
 
@@ -2834,10 +2819,9 @@ class bitand_exprt:public multi_ary_exprt
   {
   }
 
-  bitand_exprt(const exprt &_op0, const exprt &_op1):
-    multi_ary_exprt(ID_bitand, _op0.type())
+  bitand_exprt(const exprt &_op0, const exprt &_op1)
+    : multi_ary_exprt(_op0, ID_bitand, _op1, _op0.type())
   {
-    add_to_operands(_op0, _op1);
   }
 };
 
@@ -4528,9 +4512,8 @@ class function_application_exprt:public binary_exprt
     const symbol_exprt &_function,
     const argumentst &_arguments,
     const typet &_type)
-    : binary_exprt(ID_function_application, _type)
+    : binary_exprt(_function, ID_function_application, exprt(), _type)
   {
-    function()=_function;
     arguments() = _arguments;
   }
 

src/util/string_constant.cpp

@@ -13,7 +13,7 @@ Author: Daniel Kroening, [email protected]
 #include "std_expr.h"
 
 string_constantt::string_constantt(const irep_idt &_value)
-  : nullary_exprt(ID_string_constant)
+  : nullary_exprt(ID_string_constant, typet())
 {
   set_value(_value);
 }