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

remove old allocator macros #499

Merged
merged 4 commits into from
Nov 2, 2023
Merged

Conversation

MichaelRawson
Copy link
Contributor

In #469 I reworked Allocator quite a bit, but some older macros were left as future work. The future is now, in three commits:

  1. Remove CLASS_NAME, a no-op.
  2. Remove BYPASSING_ALLOCATOR and friends; also a no-op but tended to introduce surrounding scope historically, which can now be squished.
  3. Remove *ALLOC_UNKNOWN: these were actually still used, but for no good reason. The only "semantic" change, please pay most attention to this one.

*ALLOC_KNOWN and USE_ALLOCATOR are even more future work, but these may have a performance impact and have to be done more carefully.

SAT/Z3Interfacing.cpp Outdated Show resolved Hide resolved
@MichaelRawson MichaelRawson merged commit 1f706eb into master Nov 2, 2023
1 check passed
@MichaelRawson MichaelRawson deleted the michael-remove-allocator-macros branch November 2, 2023 18:21
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.

2 participants