Skip to content
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.

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

Use noexcept more. #7058

Merged
merged 2 commits into from
Dec 16, 2023
Merged

Use noexcept more. #7058

merged 2 commits into from
Dec 16, 2023

Conversation

waywardmonkeys
Copy link
Contributor

This applies it to swap functions as well as move constructors, move assignment, etc.

@@ -45,7 +45,7 @@ class f2n {
m_manager.set(m_one, ebits, sbits, 1);
}

f2n(f2n && other) : m_manager(other.m_manager), m_mode(other.m_mode), m_ebits(other.m_ebits), m_sbits(other.m_sbits),
f2n(f2n && other) noexcept : m_manager(other.m_manager), m_mode(other.m_mode), m_ebits(other.m_ebits), m_sbits(other.m_sbits),
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this one can go too.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

When this one goes away, there's a build error on Ubuntu in CI. I've added it back for now.

@nunoplopes
Copy link
Collaborator

FWIW, in the long run these swaps should go. They are reminiscent of pre-C++11 code. We now have std::move, so most of these swaps are useless.

This applies it to swap functions as well as move constructors,
move assignment, etc.
@waywardmonkeys
Copy link
Contributor Author

Updated, rebased to fix a merge conflict, and force pushed.

This removes them for case/body expansion.

Suggested by @nunoplopes.
@nunoplopes nunoplopes merged commit 50e0fd3 into Z3Prover:master Dec 16, 2023
20 checks passed
@waywardmonkeys waywardmonkeys deleted the more-noexcept branch December 16, 2023 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants