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

Fix whileExpr not generating the correct code and causing abort #510

Merged
merged 2 commits into from Dec 7, 2018

Conversation

LER0ever
Copy link
Contributor

@LER0ever LER0ever commented Dec 6, 2018

This PR fixes #494

The implementation of ast's whileOp in this PR is largely based on our current ifOp.
Therefore future changes to ifOp should be synced to whileOp as well.

the current whileOp code is mostly from ifOp since they share mostly the
same high level logic.
We should update whileOp code whenever we make a future change to ifOp
@mxz297
Copy link
Member

mxz297 commented Dec 7, 2018

Add test1_15 as a new test for while expressions and tested it on x86, power, and ARM

@mxz297 mxz297 merged commit da43812 into master Dec 7, 2018
@mxz297 mxz297 deleted the fix/whileExpr branch December 7, 2018 23:18
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.

Mutator 'Aborted' when injecting BPatch_while
2 participants