forked from diffblue/cbmc
-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request diffblue#7154 from tautschnig/cleanup/remove-depre…
…cated-exprt-methods
Remove deprecated variants of exprt::{add,copy}_to_operands- Loading branch information
Showing
1 changed file
with
0 additions
and
50 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -10,7 +10,6 @@ Author: Daniel Kroening, [email protected] | |
| #define CPROVER_UTIL_EXPR_H | ||
|
|
||
| #include "as_const.h" | ||
| #include "deprecate.h" | ||
| #include "type.h" | ||
| #include "validate_expressions.h" | ||
| #include "validate_types.h" | ||
|
|
@@ -172,29 +171,6 @@ class exprt:public irept | |
| operands().push_back(std::move(expr)); | ||
| } | ||
|
|
||
| /// Copy the given arguments to the end of `exprt`'s operands. | ||
| /// \param e1: first `exprt` to append to the operands | ||
| /// \param e2: second `exprt` to append to the operands | ||
| DEPRECATED(SINCE(2022, 2, 15, "use add_to_operands(&&, &&) instead")) | ||
| void copy_to_operands(const exprt &e1, const exprt &e2) | ||
| { | ||
| operandst &op = operands(); | ||
| #ifndef USE_LIST | ||
| op.reserve(op.size() + 2); | ||
| #endif | ||
| op.push_back(e1); | ||
| op.push_back(e2); | ||
| } | ||
|
|
||
| /// Add the given arguments to the end of `exprt`'s operands. | ||
| /// \param e1: first `exprt` to append to the operands | ||
| /// \param e2: second `exprt` to append to the operands | ||
| DEPRECATED(SINCE(2022, 2, 15, "use add_to_operands(&&, &&) instead")) | ||
| void add_to_operands(const exprt &e1, const exprt &e2) | ||
| { | ||
| copy_to_operands(e1, e2); | ||
| } | ||
|
|
||
| /// Add the given arguments to the end of `exprt`'s operands. | ||
| /// \param e1: first `exprt` to append to the operands | ||
| /// \param e2: second `exprt` to append to the operands | ||
|
|
@@ -208,32 +184,6 @@ class exprt:public irept | |
| op.push_back(std::move(e2)); | ||
| } | ||
|
|
||
| /// Add the given arguments to the end of `exprt`'s operands. | ||
| /// \param e1: first `exprt` to append to the operands | ||
| /// \param e2: second `exprt` to append to the operands | ||
| /// \param e3: third `exprt` to append to the operands | ||
| DEPRECATED(SINCE(2022, 2, 15, "use add_to_operands(&&, &&, &&) instead")) | ||
| void add_to_operands(const exprt &e1, const exprt &e2, const exprt &e3) | ||
| { | ||
| copy_to_operands(e1, e2, e3); | ||
| } | ||
|
|
||
| /// Copy the given arguments to the end of `exprt`'s operands. | ||
| /// \param e1: first `exprt` to append to the operands | ||
| /// \param e2: second `exprt` to append to the operands | ||
| /// \param e3: third `exprt` to append to the operands | ||
| DEPRECATED(SINCE(2022, 2, 15, "use add_to_operands(&&, &&, &&) instead")) | ||
| void copy_to_operands(const exprt &e1, const exprt &e2, const exprt &e3) | ||
| { | ||
| operandst &op = operands(); | ||
| #ifndef USE_LIST | ||
| op.reserve(op.size() + 3); | ||
| #endif | ||
| op.push_back(e1); | ||
| op.push_back(e2); | ||
| op.push_back(e3); | ||
| } | ||
|
|
||
| /// Add the given arguments to the end of `exprt`'s operands. | ||
| /// \param e1: first `exprt` to append to the operands | ||
| /// \param e2: second `exprt` to append to the operands | ||
|
|
||