Skip to content

Mark constructors depending on deprecated parent constructors as deprecated #3773

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 12, 2019
Merged

Mark constructors depending on deprecated parent constructors as deprecated #3773

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions src/util/byte_operators.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)
{
Expand Down
10 changes: 10 additions & 0 deletions src/util/std_expr.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1046,6 +1046,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)
{
}
Expand Down Expand Up @@ -1743,6 +1744,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)
{
Expand Down Expand Up @@ -1778,6 +1780,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)
{
Expand All @@ -1804,6 +1807,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)
{
Expand Down Expand Up @@ -1924,6 +1928,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)
{
}
Expand Down Expand Up @@ -2408,6 +2413,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())
{
}
Expand Down Expand Up @@ -2530,6 +2536,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())
{
}
Expand Down Expand Up @@ -2606,6 +2613,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())
{
}
Expand Down Expand Up @@ -3336,6 +3344,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())
{
}
Expand Down Expand Up @@ -4889,6 +4898,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)
{
}
Expand Down
1 change: 1 addition & 0 deletions src/util/string_expr.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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()
{
}
Expand Down