Skip to content

A stacky value in the middle of a block may be consumed#1267

Merged
kripken merged 1 commit intomasterfrom
consume-stacky
Nov 13, 2017
Merged

A stacky value in the middle of a block may be consumed#1267
kripken merged 1 commit intomasterfrom
consume-stacky

Conversation

@kripken
Copy link
Copy Markdown
Member

@kripken kripken commented Nov 3, 2017

See #1264. Details in comment in the code. The testcase added should be pretty explanatory, note how there are 3 values on the stack and the store consumes 2, so we need to consume the first to flow out of the block, and we were missing that logic.

@kripken kripken mentioned this pull request Nov 3, 2017
@kripken kripken merged commit 0cc695e into master Nov 13, 2017
@kripken kripken deleted the consume-stacky branch November 13, 2017 23:48
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.

1 participant