This is not a hack btw and we should document it. It's a terrific design: We 
transform a control flow dependency into a data dependency so that all analysis 
algorithms that rely on structured control flow simply continue to work.

Reply via email to