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

GitHub_18291 shows that we can't delete unreachable blocks. #10

Open
sandreenko opened this issue Feb 26, 2019 · 0 comments
Open

GitHub_18291 shows that we can't delete unreachable blocks. #10

sandreenko opened this issue Feb 26, 2019 · 0 comments

Comments

@sandreenko
Copy link
Owner

We remove unreachable block only in fgRemoveUnreachableBlocks in fgRemoveUnreachableBlocks that we run before assertion propogation and CSE that can change set of dead blocks.

Also, when we create internal block we mark them as:

    newBlk->bbFlags |= BBF_IMPORTED;
    newBlk->bbFlags |= BBF_DONT_REMOVE;

and can't delete when they become dead (and can't say that they are dead because Note that no bbJumpDest points to these blocks..

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

No branches or pull requests

1 participant