Merge pull request #3773 from tautschnig/deprecation-more

Mark constructors depending on deprecated parent constructors as deprecated

Author: Daniel Kroening

src/util/byte_operators.h

@@ -25,10 +25,12 @@ Author: Daniel Kroening, [email protected]
 class byte_extract_exprt:public binary_exprt
 {
 public:
+  DEPRECATED("use byte_extract_exprt(id, op, offset, type) instead")
   explicit byte_extract_exprt(irep_idt _id):binary_exprt(_id)
   {
   }
 
+  DEPRECATED("use byte_extract_exprt(id, op, offset, type) instead")
   explicit byte_extract_exprt(irep_idt _id, const typet &_type):
     binary_exprt(_id, _type)
   {

src/util/std_expr.h

@@ -1057,6 +1057,7 @@ class plus_exprt:public multi_ary_exprt
   {
   }
 
+  DEPRECATED("use plus_exprt(lhs, rhs, type) instead")
   plus_exprt(const typet &type) : multi_ary_exprt(ID_plus, type)
   {
   }
@@ -1754,6 +1755,7 @@ class array_exprt : public multi_ary_exprt
   {
   }
 
+  DEPRECATED("use array_exprt(operands, type) instead")
   explicit array_exprt(const array_typet &_type)
     : multi_ary_exprt(ID_array, _type)
   {
@@ -1789,6 +1791,7 @@ template<> inline bool can_cast_expr<array_exprt>(const exprt &base)
 class array_list_exprt : public multi_ary_exprt
 {
 public:
+  DEPRECATED("use array_list_exprt(operands, type) instead")
   explicit array_list_exprt(const array_typet &_type)
     : multi_ary_exprt(ID_array_list, _type)
   {
@@ -1815,6 +1818,7 @@ class vector_exprt : public multi_ary_exprt
   {
   }
 
+  DEPRECATED("use vector_exprt(operands, type) instead")
   explicit vector_exprt(const vector_typet &_type)
     : multi_ary_exprt(ID_vector, _type)
   {
@@ -1935,6 +1939,7 @@ class struct_exprt : public multi_ary_exprt
   {
   }
 
+  DEPRECATED("use struct_exprt(component_name, value, type) instead")
   explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type)
   {
   }
@@ -2419,6 +2424,7 @@ inline void validate_expr(const floatbv_typecast_exprt &value)
 class and_exprt:public multi_ary_exprt
 {
 public:
+  DEPRECATED("use and_exprt(op, op) instead")
   and_exprt():multi_ary_exprt(ID_and, bool_typet())
   {
   }
@@ -2541,6 +2547,7 @@ inline void validate_expr(const implies_exprt &value)
 class or_exprt:public multi_ary_exprt
 {
 public:
+  DEPRECATED("use or_exprt(op, op) instead")
   or_exprt():multi_ary_exprt(ID_or, bool_typet())
   {
   }
@@ -2617,6 +2624,7 @@ template<> inline bool can_cast_expr<or_exprt>(const exprt &base)
 class xor_exprt:public multi_ary_exprt
 {
 public:
+  DEPRECATED("use xor_exprt(op, op) instead")
   xor_exprt():multi_ary_exprt(ID_bitxor, bool_typet())
   {
   }
@@ -3347,6 +3355,7 @@ class not_exprt:public unary_exprt
     PRECONDITION(op.type().id()==ID_bool);
   }
 
+  DEPRECATED("use not_exprt(op) instead")
   not_exprt():unary_exprt(ID_not, bool_typet())
   {
   }
@@ -4900,6 +4909,7 @@ inline void validate_expr(const popcount_exprt &value)
 class cond_exprt : public multi_ary_exprt
 {
 public:
+  DEPRECATED("use cond_exprt(operands, type) instead")
   explicit cond_exprt(const typet &_type) : multi_ary_exprt(ID_cond, _type)
   {
   }

src/util/string_expr.h

@@ -114,6 +114,7 @@ inline const array_string_exprt &to_array_string_expr(const exprt &expr)
 class refined_string_exprt : public struct_exprt
 {
 public:
+  DEPRECATED("use refined_string_exprt(length, content, type) instead")
   refined_string_exprt() : struct_exprt()
   {
   }