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.

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

[FEATURE REQUEST] Execution-stopping statements #154

Closed
lucaneg opened this issue Jan 11, 2022 · 1 comment
Closed

[FEATURE REQUEST] Execution-stopping statements #154

lucaneg opened this issue Jan 11, 2022 · 1 comment
Labels
❗ priority:p3 Priority planning - level 3 🔗 resolution:duplicate This issue or pull request already exists 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🎆 type:feature New feature or request

Comments

@lucaneg
Copy link
Member

lucaneg commented Jan 11, 2022

Description
Statements have a stopsExecution() method that is intended to hint that the execution of the cfg interrupts there, either by returning the control to the caller or by raising an error. There should also be a way of identifying statements that halt the execution of the program, as System.exit() does in Java. These should also be correctly handled by the fixpoint.
@lucaneg lucaneg added 🎆 type:feature New feature or request ❗ priority:p3 Priority planning - level 3 labels Jan 11, 2022
@lucaneg lucaneg added the 🔗 resolution:duplicate This issue or pull request already exists label Jan 21, 2022
@lucaneg
Copy link
Member Author

lucaneg commented Jan 21, 2022

Duplicate of #141

@lucaneg lucaneg marked this as a duplicate of #141 Jan 21, 2022
@lucaneg lucaneg closed this as completed Jan 21, 2022
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Jan 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
❗ priority:p3 Priority planning - level 3 🔗 resolution:duplicate This issue or pull request already exists 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🎆 type:feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lucaneg