Skip to content

Call closure_exception destructor#79

Merged
neboat merged 1 commit into
OpenCilk:devfrom
VoxSciurorum:jfc/destruct
Jun 1, 2026
Merged

Call closure_exception destructor#79
neboat merged 1 commit into
OpenCilk:devfrom
VoxSciurorum:jfc/destruct

Conversation

@VoxSciurorum

Copy link
Copy Markdown
Contributor

This doesn't matter now. Some day the destructor might do work.

@neboat

neboat commented May 29, 2026

Copy link
Copy Markdown
Contributor

Can this method simply call delete exn_r instead of explicitly calling the destructor followed by free?

@VoxSciurorum

Copy link
Copy Markdown
Contributor Author

Can this method simply call delete exn_r instead of explicitly calling the destructor followed by free?

The memory was allocated by a malloc family function and should not be freed by delete.

@neboat neboat merged commit 50b70b0 into OpenCilk:dev Jun 1, 2026
3 checks passed
@VoxSciurorum VoxSciurorum deleted the jfc/destruct branch June 22, 2026 18:44
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