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

endsControlFlow: JumpStatements in IterationStatement body are not guaranteed to be executed #33

Closed
ajafff opened this issue Mar 2, 2018 · 0 comments
Closed

endsControlFlow: JumpStatements in IterationStatement body are not guaranteed to be executed #33

ajafff opened this issue Mar 2, 2018 · 0 comments

Comments

@ajafff
Copy link
Owner

ajafff commented Mar 2, 2018

If the loop body isn't executed once due to the condition, there will be no jump.

That's not true for do { jump; } while (condition);
ajafff added a commit that referenced this issue Mar 3, 2018
@ajafff
control-flow: IterationStatement body is not guraranteed to be executed
bb92606 
... unless it's a DoStatement or its condition is always true.
Fixes: #33

Also handle always false condition in ForStatement and WhileStatement.
And handle constant boolean condition in IfStatement.
Fixes: #34
@ajafff ajafff mentioned this issue Mar 3, 2018
Merged
@ajafff ajafff closed this as completed in #35 Mar 3, 2018
ajafff added a commit that referenced this issue Mar 3, 2018
@ajafff
control-flow: IterationStatement body is not guraranteed to be executed
685fa1d 
... unless it's a DoStatement or its condition is always true.
Fixes: #33

Also handle always false condition in ForStatement and WhileStatement.
And handle constant boolean condition in IfStatement.
Fixes: #34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ajafff