From a93393355eddf65661947a48ba9b90a4e453509c Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 12 Mar 2019 10:26:50 +0000 Subject: [PATCH 1/3] remove refined_string_exprt constructor This has no users. --- src/util/string_expr.h | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/util/string_expr.h b/src/util/string_expr.h index f94aba0c799..369471d0462 100644 --- a/src/util/string_expr.h +++ b/src/util/string_expr.h @@ -108,15 +108,6 @@ inline const array_string_exprt &to_array_string_expr(const exprt &expr) class refined_string_exprt : public struct_exprt { public: - DEPRECATED(SINCE( - 2019, - 1, - 12, - "use refined_string_exprt(length, content, type) instead")) - refined_string_exprt() : struct_exprt() - { - } - refined_string_exprt( const exprt &_length, const exprt &_content, From e039c1e823a4e414e88bc005c54eeb2f3ee2d400 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 12 Mar 2019 10:23:08 +0000 Subject: [PATCH 2/3] remove deprecated struct_exprt constructor This has no users and has been deprecated since 2018-09-21. --- src/util/std_expr.h | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/util/std_expr.h b/src/util/std_expr.h index 7e4e56689c9..8ac84a251a3 100644 --- a/src/util/std_expr.h +++ b/src/util/std_expr.h @@ -1751,12 +1751,6 @@ inline union_exprt &to_union_expr(exprt &expr) class struct_exprt : public multi_ary_exprt { public: - DEPRECATED( - SINCE(2018, 9, 21, "use struct_exprt(component_name, value, type) instead")) - struct_exprt() : multi_ary_exprt(ID_struct) - { - } - DEPRECATED( SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead")) explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type) From 1cbd476701916762bc621a964b8386d1b9154cd1 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 12 Mar 2019 10:28:54 +0000 Subject: [PATCH 3/3] fix deprecation message for struct_exprt --- src/util/std_expr.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/util/std_expr.h b/src/util/std_expr.h index 8ac84a251a3..3e65611966c 100644 --- a/src/util/std_expr.h +++ b/src/util/std_expr.h @@ -1751,8 +1751,7 @@ inline union_exprt &to_union_expr(exprt &expr) class struct_exprt : public multi_ary_exprt { public: - DEPRECATED( - SINCE(2019, 1, 12, "use struct_exprt(component_name, value, type) instead")) + DEPRECATED(SINCE(2019, 1, 12, "use struct_exprt(operands, type) instead")) explicit struct_exprt(const typet &_type) : multi_ary_exprt(ID_struct, _type) { }