Skip to content

Remove the multi-argument variants of exprt::move_to_operands and expr::copy_to_operands #2809

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

Jump to bottom
Closed
tautschnig opened this issue Aug 22, 2018 · 0 comments · Fixed by #6671
Closed

Remove the multi-argument variants of exprt::move_to_operands and expr::copy_to_operands #2809

tautschnig opened this issue Aug 22, 2018 · 0 comments · Fixed by #6671
Labels
pending merge

Comments

@tautschnig
Copy link
Collaborator

They are rarely used and just seem to bloat the API.
tautschnig added a commit to tautschnig/cbmc that referenced this issue Feb 15, 2022
@tautschnig
Deprecate multi-argument variants of exprt::copy_to_operands
18a0517 
add_to_operands or constructors with move semantics are preferable. All
existing uses of the newly deprecated methods have been reworked to use
non-deprecated methods.

Fixes: diffblue#2809
@tautschnig tautschnig mentioned this issue Feb 15, 2022
Merged
3 tasks
tautschnig added a commit to tautschnig/cbmc that referenced this issue Feb 15, 2022
@tautschnig
Deprecate multi-argument variants of exprt::copy_to_operands
f353b3f 
add_to_operands or constructors with move semantics are preferable. All
existing uses of the newly deprecated methods have been reworked to use
non-deprecated methods.

Fixes: diffblue#2809
tautschnig added a commit to tautschnig/cbmc that referenced this issue Feb 16, 2022
@tautschnig
Deprecate multi-argument variants of exprt::copy_to_operands
e2e671d 
add_to_operands or constructors with move semantics are preferable. All
existing uses of the newly deprecated methods have been reworked to use
non-deprecated methods.

Fixes: diffblue#2809
tautschnig added a commit to tautschnig/cbmc that referenced this issue Feb 26, 2022
@tautschnig
Deprecate multi-argument variants of exprt::copy_to_operands
8dde888 
add_to_operands or constructors with move semantics are preferable. All
existing uses of the newly deprecated methods have been reworked to use
non-deprecated methods.

Fixes: diffblue#2809
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pending merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Deprecate multi-argument variants of exprt::copy_to_operands tautschnig/cbmc
1 participant
@tautschnig