You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 6, 2023. It is now read-only.
When using e.g. if-statements and interprocedural calls the flow analysis graph isn't build correctly. Setting the successors and predecessors relies on the fact that the IDs correspond to the block numbering. However, since introducing the splitting of blocks, this isn't a valid precondition anymore.
The flow analysis graph creation should not rely on the IDs anymore but be done directly during the graph creation. This should also allow us to omit nodes that do not have any operations which leads to a better performance.
The text was updated successfully, but these errors were encountered:
When using e.g. if-statements and interprocedural calls the flow analysis graph isn't build correctly. Setting the successors and predecessors relies on the fact that the IDs correspond to the block numbering. However, since introducing the splitting of blocks, this isn't a valid precondition anymore.
The flow analysis graph creation should not rely on the IDs anymore but be done directly during the graph creation. This should also allow us to omit nodes that do not have any operations which leads to a better performance.
The text was updated successfully, but these errors were encountered: